Joint Logic Workshop: Gemeinsames Jahrestreffen der FG Deduktionssysteme und FG Logik in der Informatik
The annual Deduktionstreffen (Jahrestreffen der FG DedSys) is organized this year as as a Joint Logic Workshop together with the GI Interest Group on Logic in Computer Science (FG LogInf).
Details will follow soon
Joint Logic Workshop: Logic in Computer Science and Deduction Systems
26. Jahrestagung FG LogInf und 33. Jahrestreffen FG DedSys (Deduktionstreffen)
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.
A special focus of the workshop is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects.
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.
We welcome contributions on all theoretical, experimental and applied aspects of formal logic, reasoning and deduction. Accepted contributions are presented in a talk of approx. 15-30 minutes (depending on the overall number of accepted contributions), including discussion. The implementation of a digital poster session is planned.
The Joint Logic Workshop will also host the annual general assemblies (Mitgliederversammlungen) of both special interest groups.
The Joint Logic Workshop is kindly hosted by the KWARC group at University of Erlangen-Nürnberg (FAU) and organized by Sergey Goncharov and Florian Rabe.
Submission is open to everybody interested in logic and/or deduction systems.
Please submit an extended abstract (max. one page) of your contribution to both Olaf Beyersdorff <email@example.com> and Alexander Steen <firstname.lastname@example.org>.
Submissions will be weakly reviewed to ensure topical fit.
Submission deadline: March 05, 2021
Notification: March 12, 2021
Olaf Beyersdorff, University of Jena
Thomas Schneider, University of Bremen
Claudia Schon, University of Koblenz
Alexander Steen, University of Luxembourg