Name: Promotie Sophie Lathouwers | Exploring Annotations for Deductive Verification
Start: 2023-10-17T14:30:00+02:00
End: 2023-10-17T15:30:00+02:00
Location: Waaier, 4

Vorig event Volgend event

dinsdag 17 oktober 2023 14:30 - 15:30

Exploring Annotations for Deductive Verification

Voor meer informatie zie de Engelse website.

Waaier, 4

Voeg aan kalender toe

Tags: Promoties & Oraties

Meer events

do 18 sep 2025 20:00 - 22:00
Eigen bomen eerst?Studium Generale
di 23 sep 2025 19:30 - 21:00
Samenwerken met defensie?Studium Generale
di 30 sep 2025 19:30 - 21:00
Het geheim van succesvolle veranderingStudium Generale
vr 3 okt 2025 15:00 - 19:00
Alumni Talks 2025Alumni
ma 6 - vr 10 okt 2025
Sustainability Week 2025AlumniBuiten de UTConferentie/symposiumCultuurExtracurriculairLezing/workshopLifelong LearningNetwerk & business

Evenementenoverzicht