26 March 2021, Joint Jahrestagung FG LogInf & Deduktionstreffen, Virtual

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.