vrijdag 7 november 2025 14:30 - 15:30
DMC Model Checker - Delta-Driven Variable-Length Next-State Generation via Recursive Compression
Voor meer informatie zie de Engelse website.
Meer events
- vr 14 aug 2026 10:30 - 11:30Promotie Mark Witteveen | Shedding Light on Colorectal Cancer: Advanced Imaging Technology To Guide Surgeons During Keyhole Surgery
vr 14 aug 2026 12:30 - 14:00Promotie Thomas Hackett | Microanemometry: Mo(o)re or Less
vr 21 aug 2026 12:30 - 14:00Promotie Janek Betting | Catalytic Nitrate and Nitrite Hydrogenation Across Scales | From Active Site Design to Pilot-Scale Demonstration
wo 26 aug 2026 10:30 - 12:00Promotie Yaolei Shen | Aerial Manipulation for Deformable Objects: Modeling, Control and Motion Planning
wo 26 aug 2026 12:30 - 14:00Promotie Ridvan Aba | Zoning and Monitoring Methods for EMI Risk Mitigation in Reverberant Environments
wo 26 aug 2026 14:30 - 16:00Promotie Hans Schipper | Pleasantly Disturbed | Improving Electromagnetic Shielding (Measurements) by Thinking Outside the (Reverberant) Box