Jahrestreffen der GI-Fachgruppe Deduktionssysteme (DedSys)
Das Deduktionstreffen ist in eine Reihe weiterer Konferenzen eingebettet, die auch in Koblenz stattfinden und von der Arbeitsgruppe KI organisiert werden:
Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Es wird abwechselnd von den einzelnen Arbeitsgruppen in Deutschland in Form eines Workshops organisiert und inhaltlich ausgestaltet. Im Rahmen des Deduktionstreffens findet auch die Jahresmitgliederversammlung der Fachgruppe statt.
Es werden aktuelle Forschungsarbeiten im Gebiet der automatischen Deduktion sowie Anwendungen und Systeme mit Deduktionstechnologie vorgestellt. Das Treffen ist auch eine Gelegenheit für den Nachwuchs, sich über Aktivitäten in diesen Bereichen zu informieren sowie eigene Ideen einem breiteren Fachpublikum zu präsentieren.
Als Workshop der KI 2005 kann das Deduktionstreffen natürlich auch mit einer Workshop-Registrierung ohne die Hauptkonferenz besucht werden. Wir empfehlen aber, noch ein paar Tage dazubleiben: Auf der KI 2005 ist zum Beispiel Ian Horrocks mit einem Vortrag "Description Logics in Ontology Applications" eingeladen und mehrere Tagungsbeiträge haben direkten Bezug zur Deduktion. Im Anschluss findet dann vom 14.-17. September, auch in Koblenz, die TABLEAUX 2005 mit der FTP 2005 statt.
Organisation:
Christoph Wernhard <wernhard@uni-koblenz.de>