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

ma 3 nov 2025 12:00 - 13:00
Online infosessie Leergang Digital Design & ArchitectureAlumniLifelong LearningStudiekeuze
di 4 nov 2025 19:30 - 21:00
Van rillen tot zweten – de wetenschap achter lichaamstemperatuurStudium Generale
wo 5 nov 2025
Climate Event 2025Conferentie/symposium
do 6 nov 2025 09:00 - 21:00
Conferentie 'Sturen op Veiligheid'AlumniConferentie/symposiumFestivalsLifelong LearningNetwerk & business
do 6 nov 2025 09:30 - 18:30
The TechMed EventConferentie/symposiumHealthTechinnovatieInternationaalMedTechonderzoekSamenwerkingTechMd Centrum

Evenementenoverzicht