Deduktionstreffen 2019
Veranstaltungsort
Universität KasselArnold-Bode-Straße 2
Raum 0402
34127 Kassel, Deutschland
Beschreibung
The informal proceedings of Deduktionstreffen 2019 are online. Please click on this link to download them. |
Overview
The annual meeting Deduktionstreffen is the prime activity of the Special Interest Group on Deduction Systems (FG DedSys) of the AI Section of the German Society for Informatics (GI-FBKI). It is a meeting with a familiar, friendly atmosphere, where everyone interested in deduction can report on their work in an informal setting.
A special focus of the Deduktionstreffen 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.
Organization
Deduktionstreffen 2019 is associated with the German KI 2019, which brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys.
We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in an approx. 15 minute teaser talk and then discussed next to a poster (maximal size: A0 portrait). The exact maximal time per talk will be adjusted on short notice depending on the overall number of submissions.
Submission
Submission is open to everybody interested in deduction systems.
Please submit an extended abstract (max. two pages) of your contribution via EasyChair:
https://easychair.org/conferences/?conf=dt2019
Early bird submission: July 5 (Notification: July 15)
Standard submission: August 5 (Notification: August 15)
Early bird submission is meant to allow planning reliability to interested students and researchers, e.g. if they would like to apply for travel grants. In particular, there are KI 2019 student travel grants available (see KI 2019 Student Travel Grants) and further travel support is funded by the AI chapter of the German Gesellschaft für Informatik (for members, see here).
Program Overview
Venue: University of Kassel (Arnold-Bode-Straße 2, Kassel, Germany)
Approx. 2-3 minutes walking distance from the KI 2019 main venue, see also this route description.
Room 0402
See also the detailed program at the program tab ("Programm") at the top of this page.
Time | Program |
11:00 - 12:30 | Session 1 Welcome address |
12:30 - 14:00 | Lunch break* |
14:00 - 15:30 | Session 2 Contributed Talks 3-11 |
15:30 - 16:00 | Coffee break and poster session |
16:00 - 17:30 | Session 3 Business meeting (Mitgliederversammlung) |
*: Please set-up your posters during the lunch break at the latest.
The informal proceedings of the Deduktionstreffen are available here.
Invited Speakers
- Konstantin Korovin (U Manchester)
Program Committee
- Serge Autexier
- Bernhard Beckert
- Christoph Benzmüller
- Jasmin Blanchette
- Jürgen Giesl
- Manfred Kerber
- Jens Otten
- Florian Rabe
- Claudia Schon (co-chair)
- Stephan Schulz
- Viorica Sofronie-Stokkermans
- Alexander Steen (co-chair)
- Uwe Waldmann
Organizers
- Alexander Steen (University of Luxembourg)
- Claudia Schon (University Koblenz-Landau)
Programm
Detailed Program (tentative)
Venue: University of Kassel (Arnold-Bode-Straße 2, Kassel, Germany)
Room 0402
Co-located with KI 2019, see also KI 2019 program. Approx. 2-3 minutes walking distance from the KI 2019 main venue, see also this route description.
Please note that the program is tentative and may still change!
Session 1 (11:00 - 12:25)
Time | Program |
11:00 - 11:05 | Alexander Steen and Claudia Schon Welcome Address |
11:05 - 12:05 | Invited Talk by Konstantin Korovin (U Manchester) Title: Solving non-linear constraints in the CDCL style |
12:05 - 12:15 | Jürgen Giesl, Peter Giesl and Marcel Hark Computing Expected Runtimes for Constant Probability Programs |
12:15 - 12:25 | Jil Tietjen A Parallel SAT Solver |
Session 2 (14:00 - 15:30)
Time | Program |
14:00 - 14:10 | Marko Kleine Büning Automatic Modularization of Large Programs for Bounded Model Checking |
14:10 - 14:20 | Safa Omri Automated Machine Learning Based Software Quality Assurance |
14:20 - 14:30 | Markus Iser Systematic Analysis of Experiments in Solving Boolean Satisfiability Problems |
14:30 - 14:40 | Marco Träger A Generic Scheduler for Large Theories presented in Batches (LTB) |
14:40 - 14:50 | Tobias Gleißner Automation of Higher-Order Modal Logic via Semantic Embedding |
14:50 - 15:00 | David Fuenmayor and Christoph Benzmüller Automated Reasoning With Complex Ethical Theories - A Case Study Towards Responsible AI |
15:00 - 15:10 | Gavin Goerke Computer-Assisted Reasoning about Norms and Obligations |
15:10 - 15:20 | Ali Farjami Experiments in Deontic Logics using Isabelle/HOL |
15:20 - 15:30 | Lucca Tiemens Computer-supported Exploration of a Categorical Axiomatization of Miroslav Benda's Modeloids |
Poster session (15:30 - 16:00)
The poster session will take place during the coffee break. We kindly ask you to proceed to your posters during the coffee break.
Session 3 (16:00 - 17:30)
Time | Program |
16:00 - 17:30 | Business meeting (Mitgliederversammlung FG DedSys) |