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.
Meer events
wo 9 sep 2026 16:30 - 18:00Promotie Anne-Jet Jansen | From hospital-based to digital health: engaging patients and optimizing hospital resources
vr 11 sep 2026 12:30 - 14:00Promotie Duarte Ferreira Gonçalves Da Rocha | Marangoni flows in evaporating droplets and gradient fields
vr 11 sep 2026 14:30 - 16:00Promotie Karin Olthof | Image-guided navigation in liver surgery
ma 14 sep 2026 10:30 - 12:00Promotie Maaike Slot | Digital Twinning for Decision-Making | A structured approach for manufacturing SMEs
di 15 sep 2026 14:30 - 16:00Promotie Anusha Moses | Treat-to-Target in Gout: Clinical Outcomes, Patient-Reported Outcomes and Cost-Effectiveness
wo 16 sep 2026 12:30 - 14:00Promotie Ana Cordon Avila | Robotic compensation of respiratory motion and dynamic image generation