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

Olaf Beyersdorff olaf.beyersdorff at uni-jena.de
Thu Apr 7 16:34:06 CEST 2022


A reminder for the workshop on logic and deduction tomorrow (Friday): https://kwarc.info/events/GILogicWorkshops/index.html

Zoom link: https://fau.zoom.us/j/63889416032

All are welcome (you don’t need to be a member of the GI or LogInf).

Best wishes
Olaf Beyersdorff




—
Professor Olaf Beyersdorff
Institute of Computer Science
University of Jena
Ernst-Abbe-Platz 2, 07743 Jena, Germany
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

Begin forwarded message:

From: Olaf Beyersdorff <olaf.beyersdorff at uni-jena.de<mailto:olaf.beyersdorff at uni-jena.de>>
Subject: Jahrestreffen LogInf diesen Freitag, 8. April, online
Date: 4. April 2022 at 12:10:40 CEST
To: loginf at lists.tcs.ifi.lmu.de<mailto:loginf at lists.tcs.ifi.lmu.de>

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/20220407/8d71de9d/attachment.html>


More information about the loginf mailing list