[loginf] Jahrestagung der GI Fachgruppe "Logik in der Informatik" in Jena am 21./22. Oktober

[Olaf Beyersdorff]

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>