Research support events
25
Maggio
2023
25.
05.
2023
05.
2023
CTL* Verification and Synthesis using Existential Horn Clauses
Facoltà di scienze informaticheIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Facoltà di scienze economicheInteraction Substitution for Mobile Games Accessibility and Exergaming
Facoltà di scienze informatiche