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
do 12 mrt 2026 14:30 - 15:30Promotie Bruno Virgilio Portela | Evaluating multi-resolution remote sensing data - A knowledge-driven approach to geological remote sensing in a high-sulphidation epithermal system
di 17 mrt 2026 14:30 - 15:30Promotie Siqi Shi | Interaction between phenology and climate based on multi-source remote sensing observations
ma 23 mrt 2026 12:30 - 13:30Promotie Mame Getaneh | Food Insecurity and The Role of Drought and Soil Erosion: A Case Study, North West Ethiopia | Food Insecurity
ma 23 mrt 2026 14:30 - 15:30Promotie Riccardo Tambone | Dynamic effects in silicon power MOSFETs
di 24 mrt 2026 14:30 - 15:30Promotie Mario Boot | Evaluating Experiences with Smart Cycling Technologies | Sensor-based Evaluations of Outdoor Cycling Experiences with Smart Cycling Technologies