Career calendar
03
May
2018
03.
05.
2018
05.
2018
26
April
2018
26.
04.
2018
04.
2018
15
March
2018
15.
03.
2018
03.
2018
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