dinsdag 17 oktober 2023 14:30 - 15:30
Exploring Annotations for Deductive Verification
Voor meer informatie zie de Engelse website.
Meer events
do 16 jan 2025 12:30 - 13:30Promotie Shirin Azadi Kenari | Towards a gas independent thermal flow meter
vr 17 jan 2025 12:30 - 13:30Promotie Qihui Yu | Micro Coriolis Mass Flow Sensor with Large Channel Diameter by Wet Etching of Silicon
vr 17 jan 2025 14:30 - 15:30Promotie Lotte Weedage | Resilience of cellular networks - An analysis of multi-connectivity, beamforming and infrastructure sharing
wo 22 jan 2025 12:30 - 13:30Promotie Jesse van Rhijn | Rigorous Analysis of Local Search Heuristics
wo 22 jan 2025 14:30 - 15:30Promotie Riccardo Bardin | On adaptive and flexible numerical methods for the approximation of radiative transfer problems