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 ==