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 2 sep 18:00 - di 21 okt 2025 20:00
Expanding PerspectivesLezing/workshop
do 2 okt 2025 12:30 - 13:30
Promotie Leoni Winschermann | Energy Flows | An algorithmic scheduling approach to electric vehicle chargingPromoties & Oraties
ma 6 okt 2025 14:30 - 15:30
Promotie Aswin Vadavathi | Fair Voltage Regulation and Energy Management in Smart Distribution GridsPromoties & Oraties
di 14 okt 2025 12:30 - 14:30
Promotie Filipi Miranda Soares | A Semantic Interoperability Framework for Data-Centric Applications in AgriculturePromoties & Oraties
wo 15 okt 2025 10:30 - 11:30
Promotie Syeda Sohail | Privacy-Utility Trade-Off In Healthcare Metadata Sharing And Beyond: A Normative and Empirical Evaluation at Inter and Intra Organizational LevelsPromoties & Oraties

Evenementenoverzicht