Deduktionstreffen 2011
Call for Presentations
[Aufruf zur Einreichung von Beiträgen und zur Teilnahme]
DEDUKTIONSTREFFEN 2011
20. - 21. Oktober 2011, Karlsruher Institut für Technologie
http://baldur.iti.kit.edu/deduktionstreffen11
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 drei
eingeladene Vorträge:
* Ulrich Furbach: First-order Tableaux in Open Domain Question
Answering
* Thomas Sturm: Effective Quantifier Elimination - Implemen-
mentations, Applications, Perspectives
* Christof Teuscher: A Modern Perspective on Turing's Unorganized
Machines
Im Rahmen des Deduktionstreffens findet auch die Jahresmitglieder-
versammlung der Fachgruppe DedSys (Deduktionssysteme) statt.
Gleichzeitig zum Deduktionstreffen wird auch das 'Symposium on 75
Years of Turing Machine and Lambda-Calculus' (COMPUTING 2011), an-
lässlich des bevorstehenden Alan-Turing-Jahrs 2012, am Karlsruher
Institut für Technologie vom 20.-21. Oktober abgehalten.
Details zu diesem Symposium finden Sie unter:
http://baldur.iti.kit.edu/Computing2011/
Bitte melden Sie sich bis zum 09.10. verbindlich an. Weitere Details
zur Anmeldung und Organisation finden Sie auf obiger WWW Seite.
Komitee:
* Wolfgang Ahrendt
* Serge Autexier
* Bernhard Beckert
* Stephan Falke
* Ulrich Furbach
* Jürgen Giesl
* Dieter Hutter
* Manfred Kerber
* Peter H. Schmitt
* Carsten Schürmann
* Stephan Schulz
* Carsten Sinz
* Gert Smolka
* Viorica Sofronie-Stokkermans
* Christoph Weidenbach
Kontakt:
* Carsten Sinz <carsten.sinz@kit.edu>
* Florian Merz <florian.merz@kit.edu>
* Thorsten Bormer <bormer@kit.edu>
