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

vr 8 dec 2023 13:00 - 15:00
Informatiebijeenkomst post-master Digital Design & ArchitectureStudiekeuze
di 12 dec 2023 12:30 - 13:30
Promotie Hengameh Noshahri | Dramatic voids and how to find them - In-pipe condition assessment of sewer pipesPromoties & Oraties
vr 15 dec 2023 10:30 - 11:30
Promotie Amina Bassit | Fast and Accurate Biometric Search under EncryptionPromoties & Oraties
vr 19 jan 2024 14:30 - 15:30
Promotie Kira Oberschmidt | Who,When,How-Guiding the active involvement of stakeholders in ehealth action researchPromoties & Oraties
do 7 nov 2024
Risk & Resilience FestivalCongressen & SymposiaFestivalsLezingen

Evenementenoverzicht