[loginf] Jahrestreffen LogInf diesen Freitag, 8. April, online

Olaf Beyersdorff olaf.beyersdorff at uni-jena.de
Mon Apr 4 12:10:40 CEST 2022


Liebe Mitglieder der Fachgruppe Logik in der Informatik (LogInf),

der nächste Workshop und Fachgruppentreffen LogInf findet diesen Freitag, den 08.04.2022, ab 10 Uhr online statt.

Das Programm findet sich unter https://kwarc.info/events/GILogicWorkshops/index.html

Zugang: https://fau.zoom.us/j/63889416032
Eine Registrierung ist nicht nötig.

Herzliche Einladung zu dem Workshop und auch der anschließenden Mitgliederversammlung.

Wir freuen uns auf zahlreiche Teilnahme.

Freundliche Grüße
Olaf Beyersdorff



—
Prof. Dr. Olaf Beyersdorff
Lehrstuhl für Theoretische Informatik I
Institut für Informatik
Friedrich-Schiller-Universität Jena
Ernst-Abbe-Platz 2, 07743 Jena
Phone: +49 (0)3641 946321
Email: olaf.beyersdorff at uni-jena.de<mailto:olaf.beyersdorff at uni-jena.de>
https://www.ti1.uni-jena.de




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20220404/a8b6ceff/attachment.html>


More information about the loginf mailing list