dinsdag 17 oktober 2023 14:30 - 15:30
Exploring Annotations for Deductive Verification
Voor meer informatie zie de Engelse website.
Meer events
zo 6 15:00 - vr 11 jul 2025 18:00European Membrane Society Summer School
ma 7 - vr 11 jul 20254TU-HERITAGE-consortium organiseert de 12e Internationale Conferentie over Stedelijk Klimaat (ICUC12)
do 10 jul 2025 10:30 - 11:30Promotie Matteo Brunetti | Smart Logistics Nodes | Connect Automated Transport for Future-Proof Ports and Business Parks
do 10 jul 2025 12:00 - 13:00Online informatiebijeenkomst Deeltijd Master Risicomanagement
vr 11 jul 2025 10:30 - 11:30Promotie Castro Johnbosco | Hierarchical engineering of modular tissues