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, get to know USI in half a day
Open Day on 25 May 2024
USI Graduation Ceremony