11. Workshop Logische Programmierung an der Technischen Universität Wien von 27. bis 29. Septemberteilzunehmen.
Die logische Programmierung beruht auf der Erkenntnis, daß einer Untermenge der Prädikatenlogik eine prozedurale Interpretation gegeben werden kann. Die Entwicklung der logischen Programmiersprache Prolog, ihrer Erweiterungen und Nachfolger beruht darauf. Die aussergewöhnlichen Eigenschaften der logischen Programmierung machen sie für viele Anwendungen in den Bereichen künstliche Intelligenz, Programmentwicklung, Datenbanken, Verarbeitung von Sprache, CAD, Rechnen mit Constraints usw. besonders attraktiv.
Das Programm des Workshop Logische Programmierung enthält eingeladene Vorträge sowie Präsentationen einer Auswahl der eingereichten Beiträge und Demonstrationen. Die Themen des Workshops umfassen alle Gebiete der Logischen Programmierung wie z.B.
Wir laden Sie ein, Beiträge in Deutsch oder Englisch aus allen Bereichen der logischen Programmierung einzureichen. Es werden nicht nur Originalbeiträge, sondern auch Berichte über laufende und abgeschlossene Projekte gesucht. Alle Beiträge werden begutachtet und - falls akzeptiert - in einem Tagungsband veröffentlicht. Nach der Konferenz werden alle akzeptierten Beiträge über WWW verfügbar gemacht. Bei Bedarf können Demonstrationen arrangiert werden.
Ihr Beitrag sollte als "extended abstract" geschrieben sein und 5 Seiten nicht überschreiten. Der Name, die Adresse und die E-mail Adresse des verantwortlichen Autors sollten aus dem Beitrag eindeutig hervorgehen.
Bitte schicken Sie Ihren Beitrag bis zum 3. Juli in elektronischer Form (ASCII, LaTex oder uuencoded Postscript) an wlp@mips.complang.tuwien.ac.at, dringende Nachrichten an andi@mips.complang.tuwien.ac.at. Ihr Beitrag wird an die Mitglieder des Programmkomitees zur Begutachtung weitergegeben. Bis zum 4. August erfahren Sie, ob er akzeptiert worden ist. Die endgültige Version Ihres Beitrags (LaTex) muß am 1. September zur Verfügung stehen, um in den Tagungsband aufgenommen zu werden.
Einreichen von Beiträgen 3. Juli 1995 Benachrichtigung der Autoren 4. August 1995 Endgültige Versionen 1. September 1995