14. WLP - Workshop Logische Programmierung

Workshop der Gesellschaft für Logische Programmierung e.V. (GLP)
gemeinsam mit der FG 1.1.1 "Deklarative Sprachen" der Gesellschaft für Informatik e.V. (GI)

Julius-Maximilians-Universität Würzburg

26. - 28. Januar 2000

Aktuelle Informationen

.

Logische Programmierung ist eine besonders weitgehende Art, Probleme deklarativ zu spezifizieren. In der Form von Prolog geschieht das durch den Einsatz eines Fragments der Logik. Weitergehende Konzepte integrieren in dieses ursprünglich rein relationale Konzept auch Funktionen und Constraints. In den vergangenen Jahren hat dieses Paradigma eine hohe Attraktivität erworben, u.a. in den Bereichen Datenbanken und Verarbeitung von natürlicher Sprache und bei der Modellierung und Bearbeitung komplexer kombinatorischer Probleme. Die Logikprogrammierung ist somit ein aktives Gebiet geblieben, das sich zunehmend auch den schwierigen Thematiken der Integration in die übrige Softwarelandschaft, der Behandlung von Dynamik und des Umgangs mit Kommunikation stellt.

Themen

Das Programm des Workshops logische Programmierung enthält eingeladene Vorträge sowie Präsentationen einer Auswahl der eingereichten Fachbeiträge, studentische Arbeiten und Demonstrationen. Die Themen des Workshops umfassen alle Gebiete der logischen Programmierung, u.a.:

Beiträge

Es können Fachbeiträge (F) in Deutsch oder Englisch aus allen Bereichen der logischen Programmierung eingereicht werden. Um eine hohe Aktualität zu gewährleisten, werden auch Berichte über interessante laufende und abgeschlossene Projekte (P) und fortgeschrittene Arbeiten, an denen ausschließlich Studenten beteiligt sind (S), gesucht. Vorschläge für Demonstrationen (D) sollten zusammen mit einer kurzen Beschreibung des Systems (max. 2 Seiten) eingereicht werden. Posterwände und ein Projektor mit Anschluß für einen Rechner stehen zur Verfügung

Die Beiträge (F, S) sollten als "extended abstract" geschrieben sein und etwa 8 - 10 Seiten (11pt) ohne Referenzen nicht überschreiten. Die erste Seite jedes Beitrags sollte den Namen, die Institution, die Adreße und die Email-Adresse des/der verantwortlichen Autors/Autorin enthalten. Es ist Sache der Autoren sicherzustellen, daß die Beiträge mit Standarddruckersoftware ausgedruckt werden können.

Bei der Einreichung ist die Klassifikation (F, P, S, D) anzugeben. Alle Beiträge werden von mindestens zwei Gutachtern geprüft.

Workshopbeiträge sollen per Email - ausschließlich im Format: uuencoded, gzipped Postscript - bis zum 2. November 1999 an folgende Adresse geschickt werden.

wlp99@informatik.uni-wuerzburg.de

Die akzeptierten Beiträge müssen mit LaTeX formatiert sein und sowohl als Quelldatei als auch als Postscriptdatei bis zum 3. Januar 2000 eingereicht werden.

Der Proceedings-Band mit den akzeptierten Beiträgen erscheint in einer Report-Serie mit ISSN-Nr.

Programmkommittee

Organisation

Termine

Einreichung der Beiträge: 25. November 1999
Vorschläge für Demonstrationen: 25. November 1999
Benachrichtigung der Autoren: 19. Dezember 1999
Final Version: 13. Januar 2000
Workshop: 26. - 28. Januar 2000

Kontaktadressen