CTL* Verification and Synthesis using Existential Horn Clauses
Interaction Substitution for Mobile Games Accessibility and Exergaming
Business Ideas 2024
Workshop of the International Center for Advanced Computing in Medicine (ICAM)
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, un'occasione per conoscere l'USI
Porte aperte il 25 maggio 2024
Cerimonia dei diplomi USI
Archivio eventi
Satellite workshop to International Society for Bayesian Analysis (ISBA) world meeting