vrijdag 12 juni 2026 14:30 - 16:00
Deductive Verification Techniques for Embedded Systems
Voor meer informatie zie de Engelse website.
Meer events
wo 22 jul 2026 10:30 - 12:00Promotie Giorgio Micali | Ordinal patterns based time series analysis and applications in privacy
do 30 jul 2026 12:30 - 14:00Promotie Yannik Wotte | Geometric methods for dynamics optimization and model order reduction
vr 14 aug 2026 12:30 - 14:00Promotie Thomas Hackett | Microanemometry: Mo(o)re or Less
ma 14 - wo 16 sep 2026AM-SMART-conferentie 2026
di 15 09:00 - vr 18 sep 2026 17:00Hidden Layers (Research Meets Practice): Enterprise Risk, AI Forensics, and Image Security — EDOC/CBI Workshop