Ahead of the new programme (open to MAI/MFT/MMI students) launching in January 2027, USI is hosting 3 information and networking sessions open to students interested in entrepreneurship on 21 October, 11 November and 2 December. | |
|---|
|
|---|
|
|
| | IDSIA Seminar "Sound and Complete Invariant-Based Heap Encodings"
Prof. Philipp Rümmer, Uppsala University and University of Regensburg
Room C1.03 9:30 |
|---|
| |
|---|
|
|
| | IDSIA Seminar "Building a Verifier with AI: Trust, but Verify"
Prof. Dr. Arie Gurfinkel, University of Waterloo
Room D0.10 10:30 |
|---|
| |
|---|
|
|
| | SI Seminar "Static Semantic Checks Make Sense Even for Python, Teachers Say"
Joey Bevilacqua, LuCE group @ SI
Room D1.13 17:00 |
|---|
| |
|---|
|
|
| | IRSOL - SAT "The Harmony of the Spheres, the Whisper of Chaos"
Prof. Antonio Giorgilli, Università degli Studi di Milano
Auditorium (West Campus) 18:00 |
|---|
| |
|---|
|
|
| | Launchpad - Joining USI Research Community Welcome event for newly joined PhD students and postdoctoral researchers - discover the University's main services, learn more about the support available to researchers, and meet fellow PhD students, postdoctoral researchers, and colleagues across the institution.
Aula Magna (West Campus) |
|---|
| |
|---|
|
|
| | Konstantin Britikov "Structure-aware Abstraction Techniques for efficient Software Verification"
Room D0.10 13:00 |
|---|
| |
|---|
|
|
| | Andrea Bussolan "From Physiological Sensing to Adaptive Behavior: Personalized Human-Robot Collaboration in Industrial Settings"
Room D2.19 10:30 |
|---|
| |
|---|
|
|
|
|
