<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<pre style="word-wrap: break-word; white-space: pre-wrap;" class="">Liebe Mitglieder in der Fachgruppe Logik in der Informatik,</pre>
<pre style="word-wrap: break-word; white-space: pre-wrap;" class="">die nächste Jahrestagung der Fachgruppe findet virtuell am 26. März statt. Es wird ein gemeinsames Treffen mit der Fachgruppe Deduktionssysteme. </pre>
<pre style="word-wrap: break-word; white-space: pre-wrap;" class="">Sie sind herzlich eingeladen. Details unten.</pre>
<pre style="word-wrap: break-word; white-space: pre-wrap;" class="">Freundliche Grüße</pre>
<pre style="word-wrap: break-word; white-space: pre-wrap;" class="">Olaf Beyersdorff </pre>
<pre style="word-wrap: break-word; white-space: pre-wrap;" class=""><br class=""></pre>
<pre style="word-wrap: break-word; white-space: pre-wrap;" class="">Joint Logic Workshop: Logic in Computer Science and Deduction Systems
“ 26. Jahrestagung FG LogInf und 33. Jahrestreffen FG DedSys (Deduktionstreffen)“
<a href="https://kwarc.info/events/GI2020/index.html" class="">https://kwarc.info/events/GI2020/index.html</a>

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

==========================
= CALL FOR PARTICIPATION =
==========================

== 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 <a href="https://kwarc.info/events/GI2020/index.html" class="">https://kwarc.info/events/GI2020/index.html</a>

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 <a href="https://docs.google.com/forms/d/1hF5TgGreilNI6YYEI7b1PbMYNnmxqIgnSKWN6JMOJko" class="">https://docs.google.com/forms/d/1hF5TgGreilNI6YYEI7b1PbMYNnmxqIgnSKWN6JMOJko</a>

== 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.</pre>
<div class=""><br class="">
</div>
<div class="">
<div>—<br class="">
Prof. Dr. Olaf Beyersdorff<br class="">
Lehrstuhl für Theoretische Informatik I<br class="">
Institut für Informatik<br class="">
Friedrich-Schiller-Universität Jena<br class="">
Ernst-Abbe-Platz 2, 07743 Jena<br class="">
Phone: +49 (0)3641 946321<br class="">
<a href="mailto:olaf.beyersdorff@uni-jena.de" class="">Email: olaf.beyersdorff@uni-jena.de</a><br class="">
https://www.fmi.uni-jena.de/Beyersdorff.html</div>
<div class=""><br class="">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="">
</body>
</html>