Career calendar
28
May
2024
28.
05.
2024
05.
2024
15
April
2024
15.
04.
2024
04.
2024
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