Home | Impressum | Sitemap | KIT
Termine

  • bis 09. Okt. 2011

    Einreichung von Vorträgen

  • 20. Okt. 2011

    Anmeldung: ab 11:30 Uhr

    Beginn: 12:45 Uhr

  • 21. Okt. 2011

    Ende: 18 Uhr

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>