Name: Promotie Bob Rubbens | Bridging the Implementation Gap: Advances in Model-Based Concurrent Program Verification
Start: 2025-10-15T12:30:00+02:00
End: 2025-10-15T13:30:00+02:00
Location: Waaier, 4

Vorig event Volgend event

woensdag 15 oktober 2025 12:30 - 13:30

Bridging the Implementation Gap: Advances in Model-Based Concurrent Program Verification

Voor meer informatie zie de Engelse website.

Waaier, 4

Voeg aan kalender toe

Tags: Promoties & Oraties

Meer events

di 14 okt 2025 12:30 - 14:30
Promotie Filipi Miranda Soares | A Semantic Interoperability Framework for Data-Centric Applications in AgriculturePromoties & Oraties
di 14 okt 2025 14:30 - 15:30
Promotie Sven Christ | Towards an understanding of wildfire risk at the wildland urban interface as a socio-ecological systemPromoties & Oraties
di 14 okt 2025 16:30 - 17:30
Promotie Ruben Keijzer | Advanced Diagnostics of Rutherford Cable Performance in Accelerator Magnets | Current redistribution & Quench developmentPromoties & 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
wo 15 okt 2025 14:30 - 15:30
Promotie Edmund Schaefer | Energy Storage In Flexible MicrogridsPromoties & Oraties

Evenementenoverzicht