Beschreibung
Joint Logic Workshop: Logic in Computer Science and Deduction Systems
– 26. Jahrestagung FG LogInf und Workshop der FG DedSys –
Submission deadline extension to March 30, 2022! Details see below.
The annual Workshop on Logic in Computer Science (Jahrestagung) is the prime activity of the Interest Group on Logic in Computer Science (FG LogInf) of the German Society of Informatics (Gesellschaft für Informatik, GI). Together with the Interest Group on Deduction Systems (FG DedSys) of the AI chapter of GI the Joint Logic Workshop fosters mutual exchange and aims at exploring synergies between both groups.
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 Logic Workshop is organized as an online event. Organizational details are published on the event's website.
Invited speakers
Martin Suda (Czech Institute of Informatics, Robotics, and Cybernetics), Title: TBA
Marijn Heule (Carnegie Mellon University), Title: Short Proofs in Strong Proof System
Organization
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 Joint Logic Workshop will also host the annual general assembly (Mitgliederversammlung) of FG LogInf.
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.
Submission
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 <olaf.beyersdorff@uni-jena.de> and Alexander Steen <alexander.steen@uni-greifswald.de>.
Submissions will be weakly reviewed to ensure topical fit.
Submission deadline passed.
Scientific Committee
Olaf Beyersdorff, University of Jena
Thomas Schneider, University of Bremen
Claudia Schon, University of Koblenz
Alexander Steen, University of Greifswald
Programm
The program will consist of multiple sessions of zoom talks in the zoom room fau.zoom.us/j/63889416032. The tentative program is as follows:
- Session 1: 10:00 - 11:00 (chair: Claudia Schon)
- Break 1: 11:00 - 11:30: free discussion in zoom
- Session 2: 11:30 - 13:00 (chair: Florian Rabe)
- 11:30: Florian Wörz, Number of Variables for Graph Differentiation and the Resolution of GI Formulas slides (if any)
- 12:00: Martin Lange, The Calculus of Influence - Formal Modelling of Biological Experiments slides (if any)
- 12:30: Florian Bruse, A Decidable Expressive Modal Logic, slides (if any)
- Lunch break: 13:00 - 14:00
- Session 3: 14:00 - 15:30 (chair: Sergey Goncharov)
- 14:00: Colin Rothgang, Theorem Proving in Dependently Typed Higher-Order Logic slides (if any)
- 14:30: Jean Christoph Jung and Frank Wolter, Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable
- 15:00: Hendrik Leidinger, SCL for First-Order Logic with Equality, slides (if any)
- Break 2: 15:30 - 16:00: free discussion in zoom
- Session 4: 16:00 - 17:00 (chair: Olaf Beyersdorff)
- Session 5: 17:15 - 18:00: Mitgliederversammlung Fachgruppe LogInf