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

di 13 mei 2025 16:30 - 17:30
Promotie Marcio Lima de Oliveira | Applications of Neural Networks for FMCW Automotive Radars | Techniques for Improving Detection and DoA EstimationPromoties & Oraties
wo 14 mei 2025 14:30 - 15:30
Promotie Ghazanfar Ali | Embedded Test Instrument for Aging aAware Multi-Processor System-on-ChipsPromoties & Oraties
wo 14 mei 2025 15:30 - 17:30
Kick-off Meeting - CARE-FLOW ProjectConferentie/symposium
vr 16 mei 2025 10:30 - 11:30
Promotie Martin van den Broek | Monodisperse Microbubble Production and Characterization for Medical ApplicationsPromoties & Oraties
do 22 mei 2025 13:00 - 14:45
TechMed Centre ExperienceOPEN HUISPromoties & Oraties

Evenementenoverzicht