Liebe D-CON-Gemeinschaft, wie in der letzten Mail angekündigt, findet die D-CON 2023 als Workshop der FM in Lübeck statt. Unsere Seite https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/#dcon befindet sich leider noch im Aufbau, aber die Registrierung steht schon bereit:   https://fm2023.isp.uni-luebeck.de/index.php/registration/ Mit 160€ fällt die Teilnahmegebühr zu Zeiten der Energieknappheit nicht so niedrig aus, wie wir es uns gewünscht haben. Dennoch bitten wir Euch um zahlreiche Registrierungen, damit es nach der langen Zeit ein lebhaftes Wiedersehen gibt. Wir wünschen Euch allen ein frohes Weihnachtsfest und einen guten Start in ein gesundes und erfolgreiches Jahr 2023! Kirstin und Roland -- Prof. Dr. Roland Meyer TU Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 23, 346 38106 Braunschweig Phone: +49 (0)531 391 9524 Fax: +49 (0)531 391 9529 Web: http://www.tcs.cs.tu-bs.de