21-22 Oct 2019
Jena, Germany
A workshop
Logic in Computer Science
https://fg-loginf.gi.de/logik-in-der-informatik/
will take place at the University of Jena, Germany, on 21 and 22 October 2019.
Invited speakers:
Christoph Berkholz (Humoldt-Universität zu Berlin)
Thomas Schwentick (TU Dortmund)
The workshop will serve as the annual meeting of the GI group Logic in Computer Science.
Everyone interested is welcome to attend and contribute a talk. Details
for registration can be found at
https://fg-loginf.gi.de/logik-in-der-informatik/
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@uni-jena.de<mailto:olaf.beyersdorff@uni-jena.de>
https://www.fmi.uni-jena.de/Beyersdorff.html
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam