Career calendar
18
November
2022
18.
11.
2022
11.
2022
20
October
2022
20.
10.
2022
10.
2022
04
October
2022
04.
10.
2022
10.
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