Lectura Dantis V - Personaggi
Institute of Italian Studies
Start date: 5 October 2016
End date: 6 October 2016
Institute of Italian Studies
Start date: 5 October 2016
End date: 6 October 2016
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