Die Gesellschaft für logisches  Programmieren (GLP) - Untergruppe der
Association for Logic Programming (ALP) - und die Fachausschüsse  1.1
und 1.2 der Gesellschaft für Informatik (GI) laden Sie ein, am
<p>
<br>

<center>
         <h2>12. Workshop logische Programmierung - WLP'97</h2>
</center>
<center>
            <h3>Ludwig-Maximilians-Universit&auml;t M&uuml;nchen</h3>
</center>
<center>
                    <h3>17. - 19. September 1997</h3>
</center>
<br>

teilzunehmen.
<p>

Die  Logikprogrammierung ist der Einsatz eines Fragments der Logik als
Programmiersprache.  In den  vergangenen  Jahren hat dieses  Paradigma
eine hohe Attraktivit&auml;t erworben, u.a.  in den Bereichen Datenbanken,
Verarbeitung  von  nat&uuml;rlicher  Sprache  und  Verarbeitung  von  
Constraints.  Die  Logikprogrammierung  ist ein aktives Gebiet geblieben,
das sich zunehmend auch der  schwierigen  Thematik der  Integration in
die &uuml;brige  Softwarelandschaft und der Behandlung von Dynamik stellt.


<h3>Themen</h3>

Das  Programm   des   Workshops   logische   Programmierung   enth&auml;lt
eingeladene   Vortr&auml;ge  sowie   Pr&auml;sentationen   einer  Auswahl  der
eingereichten Beitr&auml;ge und Demonstrationen.  Die Themen des Workshops
umfassen alle Gebiete der logischen Programmierung, u.a.:

<ul> 
<em>
   <li> Grundlagen
   <li> Nichtmonotones Schliessen
   <li> Deduktive Datenbanken
   <li> Constraint-Programmierung
   <li> Updates und State
   <li> Programmanalyse, -transformation, -verifikation
   <li> Metaprogrammierung
   <li> Parallelit&auml;t
   <li> Integration mit anderen Paradigmen
      (z.B. Funktionen, Objekte, Transaktionen)
   <li> Softwaretechnik 
      (z.B. Abstraktion und Modularit&auml;t)
   <li> Anwendungen 
      (z.B. in Produktion, Umweltschutz, Lehre, Internet)
</em>
</ul>



<h3>Beitr&auml;ge</h3>

Es k&ouml;nnen  Beitr&auml;ge in Deutsch oder Englisch aus allen Bereichen der
logischen Programmierung eingereicht werden.  Um eine hohe Aktualit&auml;t
zu gew&auml;hrleisten,  werden auch Berichte &uuml;ber  interessante  laufende
und abgeschlossene Projekte gesucht.
<p>

Alle Beitr&auml;ge  werden von mindestens zwei  Gutachtern  gepr&uuml;ft.  Die
akzeptierten Beitr&auml;ge werden in einem Tagungsband ver&ouml;ffentlicht und
zus&auml;tzlich im Anschluss an den Workshop im WWW verf&uuml;gbar gemacht.
<p>

Die Beitr&auml;ge sollten als "extended  abstract"  geschrieben sein und 8
Seiten (11pt) ohne Referenzen nicht  &uuml;berschreiten.  Die erste Seite
jedes Beitrags sollte den Namen, die  Institution, die Adresse und die
elektronische   Adresse   des/der   verantwortlichen    Autors/Autorin
enthalten. Es ist Sache der Autoren sicherzustellen, dass die 
Beitr&auml;ge mit Standarddruckersoftware ausgedruckt werden k&ouml;nnen.



<h3>Demonstrationen</h3>

Demonstrationen von Prototypen k&ouml;nnen arrangiert werden.  Vorschl&auml;ge
sollten  zusammen mit einer kurzen  Beschreibung  des Systems (max.  2
Seiten) eingereicht werden.



<h3>Adresse f&uuml;r Workshopbeitr&auml;ge</h3>

Workshopbeitr&auml;ge  sollen  per  email  -  ausschliesslich  im  Format:
uuencoded,  gzipped  Postscript  files - bis  zum   22.  Juni 1997  an
folgende Adresse geschickt werden.
<p>
<center>
    wlp97@informatik.uni-muenchen.de
</center>
<p>

Die  akzeptierten  Beitr&auml;ge  m&uuml;ssen  mit LaTeX  formatiert  sein und
sowohl  als  Quelldatei  als auch  als  Postscript  Datei  bis zum 24.
August 1997 eingereicht werden.



<h3>Adresse f&uuml;r Vorschl&auml;ge von Demonstrationen</h3>

Vorschl&auml;ge von  Demonstrationen  zusammen mit einer  Aufstellung  der
ben&ouml;tigten  Resourcen sollen per e-mail - ausschliesslich  im Format:
uuencoded,  gzipped  Postscript  files -  bis  zum  22.  Juni 1997  an
folgende Adresse geschickt werden.
<p>
<center>
    wlp97@informatik.uni-muenchen.de
</center>
<p>

Es wird  erwartet,  dass  eine  Kurzbeschreibung  der zur  Vorf&uuml;hrung
akzeptierten  Systeme - mit LaTeX formatiert und sowohl als Quelldatei
als auch als Postscript  Datei - bis zum 24.  August 1997  eingereicht
wird.


<h3>Programmkommittee</h3>

<ul>
<em>
   <li> Clemens Beckstein       (Uni. Jena) 
   <li> Christoph Beierle       (Fern-Uni. Hagen) 
   <li> Stefan Brass            (Uni. Hannover) 
   <li> Francois Bry            (LMU M&uuml;nchen) 
   <li> Thomas Eiter            (Uni. Giessen) 
   <li> Burkhard Freitag        (Uni. Passau) 
   <li> Norbert Fuchs           (Uni. Z&uuml;rich) 
   <li> Ulrich Furbach          (Uni. Koblenz)
   <li> Ulrich Geske            (GMD Berlin)    
   <li> Michael Hanus           (RWTH Aachen) 
   <li> Steffen H&ouml;lldobler     (Uni. Dresden) 
   <li> Ulrich Neumerkel        (TU Wien)
   <li> Lutz Pl&uuml;mer        (Uni. Bonn) 
   <li> Dietmar Seipel          (Uni. W&uuml;rzburg) 
</em>
</ul>


<h3>Organisation</h3>

<ul>
<em>
   <li> <A HREF="http://www.pms.informatik.uni-muenchen.de/">
        Francois Bry            (LMU M&uuml;nchen)</A>
   <li> <A HREF="http://www.uni-passau.de/~freitag">
        Burkhard Freitag        (Uni. Passau)</A> 
   <li> <A HREF="http://www-info1.informatik.uni-wuerzburg.de/databases">
        Dietmar Seipel          (Uni. W&uuml;rzburg)</A> 
</em>
</ul>


<h3>Termine</h3>

<table>
   <tr> <td>Einreichung der Beitr&auml;ge:</td>
        <td>22.  Juni 1997</td> </tr>
   <tr> <td>Vorschl&auml;ge f&uuml;r Demonstrationen:</td>
        <td>22.  Juni 1997</td> </tr>
   <tr> <td>Benachrichtigung der Autoren:</td>
        <td>21. Juli 1997</td> </tr>
   <tr> <td>Final Version:</td>
        <td>24. August 1997</td> </tr>
   <tr> <td>Workshop:</td>          
        <td>17. - 19. September 1997</td> </tr>
</table>


<h3>Aktuelle Information</h3>

<p>
<center>
   <A HREF="http://www-info1.informatik.uni-wuerzburg.de/database/WLP/wlp97">
   http://www-info1.informatik.uni-wuerzburg.de/database/WLP/wlp97</A>
</center>