Events archive
05.
2024
CTL* Verification and Synthesis using Existential Horn Clauses
Faculty of InformaticsInteraction Substitution for Mobile Games Accessibility and Exergaming
Faculty of Informatics05.
2024
05.
2024
Hazard Detection for Robotic Applications as Visual Anomaly Detection
Faculty of InformaticsBridging the Gap between Science and Technology for Chemical Analysis Methods
Faculty of Biomedical Sciences05.
2024
04.
2024
Castelgrande Lecture - Leucemia pediatrica: una storia di successo. Modello per altri tumori?
Faculty of Biomedical Sciences04.
2024
04.
2024
04.
2024
Switzerland in Europe: Relations with our neighbours in times of crisis
Faculty of Communication, Culture and Society, Faculty of Economics