[Proof Complexity] Workshop 'Logic in Computer Science' in Jena 21-22 October

[Olaf Beyersdorff]

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.

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/

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