Number of cases campus Koblenz: 1 (warning level Gelb until 02.12.2020) Action plan

Call for Presentations

Deduktionstreffen 2013

16./17. September 2013
Univ. Koblenz-Landau
Campus Koblenz

http://userp.uni-koblenz.de/~agvss/deduktionstreffen13

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 Jahresmitgliederversammlung der Fachgruppe 1.2.1 Deduktionssysteme statt.

Bitte reichen Sie Titel und Abstract Ihres Vortrags bis zum 7. Juni über das Konferenz-Management-Tool der INFORMATIK2013 ein.
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.

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

Organisation:

  • Viorica Sofronie-Stokkermans

Lokale Organisation:

  • Markus Bender
  • Matthias Horbach
  • Viorica Sofronie-Stokkermans

Kontakt