Career calendar
06
September
2022
06.
09.
2022
09.
2022
23
May
2022
23.
05.
2022
05.
2022
18
May
2022
18.
05.
2022
05.
2022
CTL* Verification and Synthesis using Existential Horn Clauses
Faculty of InformaticsIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Faculty of EconomicsInteraction Substitution for Mobile Games Accessibility and Exergaming
Faculty of Informatics