[Caml-list] Call for Participation: Deduktionstreffen

[Caml-list] Call for Participation: Deduktionstreffen

[Matthias Horbach]

=========================================================================
                           CALL FOR PARTICIPATION

                           DEDUKTIONSTREFFEN 2013

     16./17. September 2013, University Koblenz-Landau, Campus Koblenz
           http://userp.uni-koblenz.de/~agvss/deduktionstreffen13
=========================================================================

   Anmeldung:

   Die Registrierung für das Deduktionstreffen erfolgt online über das
   Konferenz-Management-Tool der Konferenz INFORMATIK2013
   (https://www.conftool.pro/informatik2013/). Die Registrierung ist
   bis zum 6. September geöffnet. Die vergünstigte Frühregistrierung für
   Treffen und Konferenz ist bis zum 15. Juli möglich. Weitere Details
   zur Anmeldung und Organisation finden Sie auf der Homepage des
   Deduktionstreffens.


   Zur Konferenz:

   Das jährlich stattfindende Deduktionstreffen ist die wichtigste
   Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys).
   Es ist ein familiäres Treffen mit langer Tradition, auf dem alle,
   die an der Deduktion interessiert sind, in informellem Rahmen über
   ihre Arbeit berichten können. Das Deduktionstreffen findet dieses Jahr
   im Rahmen der Konferenz INFORMATIK2013 statt.

   Wie in den letzten Jahren werden die einzelnen Sessions eine Mischung
   aus Kurzvorträgen (maximal 10 Minuten als "Teaser") und anschließender
   Postersession sein. Die Kosten sind insbesondere für Studenten
   vergleichsweise gering (http://informatik2013.de/attendance_de.html).

   Im Rahmen des Deduktionstreffens findet auch die Jahresmitglieder-
   versammlung der Fachgruppe 1.2.1 Deduktionssysteme statt.


   Komitee:

    * Serge Autexier
    * Franz Baader
    * Peter Baumgartner
    * Bernhard Beckert
    * Chris Benzmüller
    * Ulrich Furbach
    * Jürgen Giesl
    * Reiner Hähnle
    * Renate Schmidt
    * Gert Smolka
    * Viorica Sofronie-Stokkermans
    * Christoph Weidenbach

    Lokale Organisation:

    * Markus Bender
    * Matthias Horbach
    * Viorica Sofronie-Stokkermans

    Kontakt:
     horbach@uni-koblenz.de
     sofronie@uni-koblenz.de