Deduktionstreffen 2010

Call for Presentations

       [Aufruf zur Einreichung von Beiträgen und zur Teilnahme]

                           DEDUKTIONSTREFFEN 2010
       20. - 21. September 2010, Karlsruher Institut für Technologie
               https://formal.iti.kit.edu/deduktionstreffen10

  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, über  ihre Arbeit  in informellem
  Rahmen  berichten  können. Wie  in  den  letzten  Jahren werden  die
  einzelnen Sessions  eine Mischung  aus Kurzvorträgen (max  10min als
  "Teaser")  und anschließender Postersession  sein. Dazu gibt es zwei
  eingeladene Vorträge:
       
       * Matthias Baaz: tba
       * Gregor Snelting: Quis Custodiet Ipsos Custodes? 

  Im Rahmen  des Deduktionstreffens findet  auch die Jahresmitglieder-
  versammlung der Fachgruppe DedSys (Deduktionssysteme) statt.
  Gleichzeitig  zum Deduktionstreffen  wird auch die KI 2010 am Karls-
  ruher Institut für Technologie vom 21.-24. September abgehalten.

  Bitte melden Sie sich bis  zum 05.09. verbindlich an. Weitere Details
  zur Anmeldung und Organisation finden Sie auf obiger WWW Seite.

  Komitee:

   * Wolfgang Ahrendt
   * Serge Autexier
   * Bernhard Beckert
   * Ulrich Furbach
   * Jürgen Giesl
   * Dieter Hutter
   * Manfred Kerber
   * Christoph Kreitz
   * Tobias Nipkow
   * Hans Jürgen Ohlbach
   * Andrey Rybalchenko
   * Renate Schmidt
   * Peter H. Schmitt
   * Carsten Schürmann
   * Stephan Schulz
   * Gert Smolka
   * Viorica Sofronie-Stokkermans
   * Christoph Weidenbach

  Kontakt:
   * Bernhard Beckert <beckert@kit.edu>
   * Thorsten Bormer <bormer@kit.edu>