donderdag 12 februari 2026 10:30 - 11:30
Verified & Fast Probabilistic Verification - Stepwise Refinement of Probabilistic Model Checking into an IEEE 754 Floating-Point Implementation
Voor meer informatie zie de Engelse website.
Meer events
di 13 okt 2026 12:30 - 14:00Promotie Lianne Feenstra | Towards Minimal Invasive Breast Cancer Treatment | Combining Diffuse Reflectance Spectroscopy With Biopsy and Excision Procedures
di 13 okt 2026 16:30 - 18:00Promotie Yiting Liu | Graph-Based Modeling for Credit Risk Assessment in Peer-to-Peer Lending
wo 14 okt 2026 14:30 - 16:00Promotie Weihua Wu | Ellipsometric Detection of Hydrogen Permeation Through Ultrathin Al2O3 and Y2O3 Layers
vr 16 okt 2026 10:30 - 12:00Promotie Niels Kant | Optimizing hospital discharge through telemonitoring
vr 16 okt 2026 12:30 - 14:00Promotie Dennis Klaassen | Engineering novel quantum phases with germanene
vr 16 okt 2026 14:30 - 16:00Promotie Giulia Allegri | Between Polyelectrolyte Complex and Solution: From Polymer and Ion Distributions to Molecular Information Processing