[isabelle] DT 2019: Deduktionstreffen, Kassel (Germany), 23-24 Sep 2019

Deduktionstreffen 2019
co-located with KI 2019 and INFORMATIK 2019
September 23-24, 2019, University of Kassel, Kassel, Germany

First Call for Abstracts


The annual meeting Deduktionstreffen is the prime activity of the Interest
Group for Deduction Systems (FGDedSys) of the AI Chapter (FB KI) of the
German Society of Informatics (Gesellschaft für Informatik).
It is a meeting with a familiar, friendly atmosphere, where everyone (not
only the German community) 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.


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.
As a bonus, this year's registration fees for students are quite attractive:
Participation at KI 2019 (whole conference, including Deduktionstreffen and all other workshops/tutorials) only costs EUR 40 for students (30 EUR for student
GI members). 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 (at least 15min) will be adjusted on short notice depending on the overall number of submissions.




Submission is open to everybody interested in deduction systems.
Please submit an extended abstract (1-2 pages) of your
contribution via EasyChair:

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 https://www.ki2019.de/grants/) and further travel support is funded by
the AI chapter of the German Gesellschaft für Informatik
(for members, see https://fb-ki.gi.de/reisestipendien/).


Serge Autexier (DFKI Bremen)
Bernhard Beckert (Karlsruhe Institute of Technology)
Christoph Benzmüller (Freie Universität Berlin)
Jasmin Blanchette (Vrije Universiteit Amsterdam)
Jürgen Giesl (RWTH Aachen)
Manfred Kerber (University of Birmingham)
Jens Otten (University of Oslo)
Florian Rabe (LRI, Université Paris-Sud)
Claudia Schon (Universität Koblenz-Landau, co-chair)
Stephan Schulz (Duale Hochschule Baden-Württemberg)
Viorica Sofronie-Stokkermans (Universität Koblenz-Landau)
Alexander Steen (University of Luxembourg, co-chair)
Uwe Waldmann (MPI Saarbrücken)


Alexander Steen
Claudia Schon

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.