* [Caml-list] Call for Participation: Deduktionstreffen
@ 2013-07-15 8:56 Matthias Horbach
0 siblings, 0 replies; only message in thread
From: Matthias Horbach @ 2013-07-15 8:56 UTC (permalink / raw)
To: 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-07-15 8:56 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-07-15 8:56 [Caml-list] Call for Participation: Deduktionstreffen Matthias Horbach
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).