posted by user: c_benzmueller || 3755 views || tracked by 3 users: [display]

DT 2017 : Deduktionstreffen 2017

FacebookTwitterLinkedInGoogle

Link: http://fg-dedsys.gi.de/dt2017
 
When Sep 25, 2017 - Sep 26, 2017
Where TU Dortmund, Germany
Submission Deadline Jul 15, 2017
Notification Due Jul 25, 2017
Categories    deduction systems   theorem proving   automated reasoning   artificial intelligence
 

Call For Papers

Call for Abstracts:

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


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 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

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

Related Resources

Bled - DT of the Public Sector 2024   37th Bled eConference - Digital Transformation of the Public Sector
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
ECAI 2024   27th European Conference on Artificial Intelligence
JCICE 2024   2024 International Joint Conference on Information and Communication Engineering(JCICE 2024)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
IEEE ICA 2022   The 6th IEEE International Conference on Agents
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)