The Coq mailing list

[geoff AT cs.miami.edu (Geoff Sutcliffe)]

Deduktionstreffen 2017, September 25-26, 2017, TU Dortmund, Germany
http://fg-dedsys.gi.de/dt2017

Call for Abstracts:

OVERVIEW

The annual meeting Deduktionstreffen is the prime activity of the Interest
Group for Deduction Systems (FGDedSys) of the German Informatics Society.
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 particular 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

We welcome contributions on all theoretical, experimental and application
aspects of deduction. Accepted abstracts are first presented in a five
minute teaser talk and then discussed next to a poster (maximal size: A0
portrait).

The Deduktionstreffen will also host the annual general meeting of the
members of FGDedSys.

Deduktionstreffen 2017 is associated with KI 2017.

SUBMISSION

Submission is open to everybody interested in deduction systems.

Please submit a one-page abstract of your contribution on easychair:
https://easychair.org/my/conference.cgi?conf=deduktionstreffen20170;
welcome=1;a=12759188

Early bird submission: July 15 (Notification: July 25)
Standard submission: August 15 (Notification: August 25)

Early bird submission is meant to grant planning reliability to interested
students and researchers, e.g. if they would like to apply for travel
grants.

PROGRAM COMMITTEE

Serge Autexier
Bernhard Beckert
Christoph Benzmüller (co-chair)
Jasmin Blanchette
Jürgen Giesl
Matthias Horbach (co-chair)
Dieter Hutter
Manfred Kerber
Christoph Kreitz
Jens Otten
Florian Rabe
Stephan Schulz
Viorica Sofronie-Stokkermans
Volker Sorge
Christoph Weidenbach

ORGANIZERS

Christoph Benzmüller
Matthias Horbach