[loginf] Jahrestagung FG LogInf virtuell am 26. März

Olaf Beyersdorff olaf.beyersdorff at uni-jena.de
Tue Mar 16 12:56:19 CET 2021

Liebe Mitglieder in der Fachgruppe Logik in der Informatik,

die nächste Jahrestagung der Fachgruppe findet virtuell am 26. März statt. Es wird ein gemeinsames Treffen mit der Fachgruppe Deduktionssysteme.

Sie sind herzlich eingeladen. Details unten.

Freundliche Grüße

Olaf Beyersdorff

Joint Logic Workshop: Logic in Computer Science and Deduction Systems
“ 26. Jahrestagung FG LogInf und 33. Jahrestreffen FG DedSys (Deduktionstreffen)“

Online Workshop hosted by FAU University Erlangen-Nürnberg
Friday, March 26, 2021, whole day event


== Overview ==

The annual Workshop on Logic in Computer Science (Jahrestagung)
and the annual meeting Deduktionstreffen are the prime activities of the
Interest Group on Logic in Computer Science (FG LogInf) and the
Interest Group on Deduction Systems (FG DedSys) of the
German Society of Informatics (Gesellschaft für Informatik), respectively.
This year, the activities will be organized as a Joint Logic Workshop in order
to foster mutual exchange and to explore potential synergies.

The Joint Logic Workshop is a meeting with an informal and friendly atmosphere,
where everyone (not only the German community) interested in the relevant topics
can report on their work in an accessible setting.

Because of the ongoing pandemic situation the Joint Loic Workshop had to be cancelled
in 2020 and is now organized as an online event.
Organizational details are published on the event's website.

== Program ==

The workshop will feature invited talks by Ana Sokolova and Dov Gabbay and 11 contributed talks.

The detailed program is available at https://kwarc.info/events/GI2020/index.html

The Joint Logic Workshop will also host the annual general assemblies
(Mitgliederversammlungen) of both special interest groups.

== Registration ==

Participation is free, but an informal registration is necessary at https://docs.google.com/forms/d/1hF5TgGreilNI6YYEI7b1PbMYNnmxqIgnSKWN6JMOJko

== Scientific Committee ==

Olaf Beyersdorff, University of Jena
Thomas Schneider, University of Bremen
Claudia Schon, University of Koblenz
Alexander Steen, University of Luxembourg

The Joint Logic Workshop is kindly hosted by the Theoretical Computer Science
and Knowledge Representation groups at University of Erlangen-Nürnberg (FAU)
and organized by Sergey Goncharov and Florian Rabe.

Prof. Dr. Olaf Beyersdorff
Lehrstuhl für Theoretische Informatik I
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>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20210316/ebd63ee4/attachment.html>

More information about the loginf mailing list