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

Olaf Beyersdorff olaf.beyersdorff at uni-jena.de
Fri Sep 20 14:58:11 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" stattfinden.

Wie immer ist jeder Interessierte herzlich willkommen, einen Vortrag zu halten.

Als eingeladene Sprechen haben zugesagt:

Christoph Berkholz (Humoldt-Universität zu Berlin) und
Thomas Schwentick (TU Dortmund)

Nähere Informationen finden sich unter https://fg-loginf.gi.de/logik-in-der-informatik/. Ein Zimmerkontingent im Hotel "Schwarzer Bär" haben wir reserviert. Die Anmeldung hierfür ist jetzt noch bis 7. Oktober möglich.

Ein Flyer mit den Details ist beigefügt, bitte hängen Sie diesen nach Möglichkeit aus und leiten Sie die Information an potentielle Teilnehmer weiter.

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.

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. The workshop will be held in English.

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



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20190920/302c244c/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Poster-LogInf-Workshop-Jena.pdf
Type: application/pdf
Size: 2169470 bytes
Desc: Poster-LogInf-Workshop-Jena.pdf
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20190920/302c244c/attachment.pdf>


More information about the loginf mailing list