[loginf] CfP: DEDUKTIONSTREFFEN 2016

Markus Lohrey lohrey at eti.uni-siegen.de
Wed Aug 17 12:04:35 CEST 2016


=========================================================================
                CALL FOR PRESENTATIONS - EXTENDED DEADLINE

                          DEDUKTIONSTREFFEN 2016

                            September 26, 2016
                Alpen Adria University, Klagenfurt, Austria
                    https://fg-dedsys.gi.de/dt2016.html
=========================================================================

  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 all
  members and friends of the German deduction community are invited to
  present, discuss and share their latest research results and ideas
  in an informal setting.
  This year's meating will be hosted by KI 2016.

  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 stimulate networking effects and to foster collaborative
  research projects.

  We welcome contributions on all theoretical, experimental and
  application aspects of deduction. Accepted abstracts will be
  presented as 5min teaser talks followed by a poster presentation.

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

  
  SUBMISSION

  Please submit a one-page abstract of your contribution on
  https://easychair.org/conferences/?conf=dt2016.

   * extended deadline: August 28 (Notification: August 31)


  INVITED SPEAKERS

   * Armin Biere, Johannes Kepler University in Linz
   * Cezary Kaliszyk, University of Innsbruck


  PROGRAM COMMITTEE

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


  ORGANIZATION

   * Matthias Horbach (horbach at uni-koblenz.de)
   * Christoph Benzmüller (c.benzmueller at fu-berlin.de)



More information about the loginf mailing list