
Dear all, as agreed upon at the last meeting in Augsburg, we will host the D-CON 2026 on March 26-27 (Thu-Fri) at TU Berlin. As tradition suggests, we will organize a get-together dinner on the evening of March 25. Likewise, we plan to finish around lunch time on March 27. As also mentioned in Augsburg, we will set up a workshop/meeting on March 25 (Wed) just before D-CON around the topic of the usage of interactive proof asisstants for teaching purposes (with a focus on German-speaking university curricula). Enjoy the summer (if you can)! == Uwe == Prof. Dr. Uwe Nestmann [er/ihm/sein – he/him/his] Fachgebietsleiter "Modelle und Theorie Verteilter Systeme” (MTV) +49 30 314-73501 Technische Universität Berlin Sekr. EN 24, E-N 639, Einsteinufer 17, 10587 Berlin https://www.tu.berlin/mtv/team/leitung/prof-dr-ing-uwe-nestmann
participants (1)
-
Uwe Nestmann