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

Olaf Beyersdorff O.Beyersdorff at leeds.ac.uk
Tue Sep 17 11:54:28 CEST 2019

A workshop on

  Logic in Computer Science

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>

More information about the Proof-Complexity mailing list