[loginf] Jahrestagung der GI Fachgruppe "Logik in der Informatik" in Jena am 21./22. Oktober
Olaf Beyersdorff
olaf.beyersdorff at uni-jena.de
Mon Oct 14 16:53:31 CEST 2019
GI Workshop 'Logic in Computer Science' - English version below
Liebe Kollegen,
am 21. und 22. Oktober 2019 wird in Jena die 25. Jahrestagung der GI Fachgruppe "Logik in der Informatik" (https://fg-loginf.gi.de/logik-in-der-informatik/) stattfinden.
Das vorläufige Programm ist unten beigefügt. Anmeldungen sind noch möglich, evtl. können auch noch kurzfristige Vortragswünsche berücksichtigt werden.
Wir freuen uns auf rege Teilnahme.
Freundliche Grüße
Olaf Beyersdorff
------------------------
Workshop 'Logic in Computer Science' in Jena 21-22 October
A workshop on
Logic in Computer Science
https://fg-loginf.gi.de/logik-in-der-informatik/
will take place at the University of Jena on 21 and 22 October 2019.
Preliminary programme details are below. Registration is still possible.
Contact: Olaf Beyersdorff (olaf.beyersdorff at uni-jena.de<mailto:olaf.beyersdorff at uni-jena.de>)
—
Prof. Dr. Olaf Beyersdorff
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.fmi.uni-jena.de/Beyersdorff.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20191014/d40eb4cc/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: LogInf-Programme.pdf
Type: application/pdf
Size: 85697 bytes
Desc: LogInf-Programme.pdf
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20191014/d40eb4cc/attachment.pdf>
More information about the loginf
mailing list