From: mod-ki@Germany.EU.net (Hans-Werner Hein)
Newsgroups: de.sci.ki.mod-ki
Subject: v1992i133: <mod-ki 0957> WLP'92
Keywords: Workshop, Logische Programmierung, GI-FA 1.1, GI-FA 1.2
Date: 20 Aug 92 10:08:17 GMT
Reply-To: Steffen Hoelldobler <steffen@intellektik.informatik.th-darmstadt.de>
Organization: GI-FB 1 KI und Univ.Dortmund

Submitted-by: mod-ki@Germany.EU.net
Posting-number: Volume 1992, Issue 133
Archive-name: 08/mes0957

mod-ki message 0957 (Volume 1992, Month 08, Issue 133)
***************************************************************************
Die Gesellschaft fuer logisches Programmieren in Deutschland e.V.  (ALP/G),
sowie die  Fachauschuesse  1.2  "Inferenzsysteme"  und  1.1  "Methoden  und
Werkzeuge der KI" der Gesellschaft fuer Informatik e.V.  (GI)  veranstalten
den 
              8. Workshop Logische Programmierung 
                vom 12.10. bis zum 14.10.1992 

im Darmstaedter Schloss, Hoersaal 46/36 der TH Darmstadt.

Der Workshop soll ein Forum fuer die Wissenschaftler, Studenten, Entwickler
und Anwender im deutschsprachigen Raum sein, die auf dem Gebiet der
logischen Programmierung taetig sind. Die logische Programmierung ist ein
wichtiger Ansatz zur deklarativen Programmierung. Sie bildet die
theoretische Grundlage der Programmiersprache Prolog und aller darauf
basierenden Erweiterungen und Weiterentwicklugen. Die logische
Programmierung ist darueberhinaus eine grundlegende Technik in der
Kuenstlichen Intelligenz, die in vielen Bereichen, wie etwa dem
automatischen Schliessen oder den deduktiven Datenbanken, eingesetzt wird.

Organisationskomitee:

H. Boley, DFKI Kaiserslautern          U. Furbach, Univ. Koblenz 
T. Fruehwirth, ECRC Muenchen           U. Geske, GMD-FIRST Berlin 
N. E. Fuchs, Univ. Zuerich             S. Hoelldobler, TH Darmstadt

Tagungsleitung:

Steffen Hoelldobler
Intellektik, Informatik, TH Darmstadt
Alexanderstr. 10
D-6100 Darmstadt
Tel.: (06151) 16-5469
Fax:  (06151) 16-5326
E-mail: steffen@intellektik.informatik.th-darmstadt.de

Programm: 
    
Montag, 12.10.92

14:00 Begruessung
14:15 Begriffsschrift and Logic Programming - Foundations of Logic
      Programming from an Historical Perspective
      F. Bry (ECRC Muenchen)
15:00 TaxLog: Taxonomische Wissensrepraesentation und logisches
      Programmieren
      A. Abecker (DFKI Kaiserslautern)
15:45 Pause
16:15 Praktikable E-Unifikation fuer funktionale logische Programmiersprachen
      H-J. Goltz (GMD-FIRST Berlin)
17:00 Tensed Production Rules and their Model in Environment Relationship Nets
      R. Valdez (TU Dresden)
17:45 Pause
18:00 Mitgliedsversammlung ALP/G
20:00 Gemeinsames Abendessen

Dienstag, 13.10.92

 8:45 Universelle Termdarstellung in der WAM
      C. Kemper (GMD Karlsruhe), H.C.R. Lock (IBM/WZH/IWBS Heidelberg)
 9:30 FIDO: Finite Domain Consistency Techniques in a Compiler Based 
      Environment
      M. Meyer (DFKI Kaiserslautern), H-G. Hein, W. Stein (U Kaiserslautern)
10:15 Pause
10:45 An Abstract Interpretation Algorithm for Residuating Logic Programs
      M. Hanus (MPI Saarbruecken)
11:30 CLP(PB) - A Meta-Interpreter in CLP(R)
      P. Barth (MPI Saarbruecken)
12:15 Space Benchmarks for Validation of Prolog Systems
      K. Bothe (Humboldt U Berlin)
13:00 Mittagessen
14:15 PACT: Eine Applikation in einer logischen, parallelen Programmiersprache
      G. Goy (U Freiburg, Schweiz)
15:00 Modularitaet und Verifikation fuer logische Programmer
      G. Antoniou (U Osnabrueck)
15:45 Pause
16:15 Induction in Connection Calculi
      S. Bruening (TH Darmstadt)
17:00 Handling of Mutual Recursion in Automatic Termination Proofs for 
      Logic Programs
      G. Groeger, L. Pluemer (U Bonn)
17:45 Automatic Verification of GHC-Programs: Termination
      L. Pluemer (U Bonn)
19:00 Gemeinsames Abendessen

Mittwoch, 14.10.92

 9:00 Ueber idempotente und nicht idempotente Disjunktion in der 
      Linearen Logischen Programmierung
      U. Sigmund (TH Darmstadt)
 9:45 AC1-Unifikation in der Linearen Logischen Programmierung
      M. Thielscher (TH Darmstadt)
10:30 Pause
11:00 Realisierung von objektorientierten Methoden in Prolog
      J. Busse, U. Geske (GMD-FIRST Berlin)
11:45 Objects in Oz
      M. Henz, G. Smolka, J. Wuertz (DFKI Saarbruecken)
12:30 Ende

Teilnahmegebuehr:  

Mitglieder der ALP/G    DM 40
Mitglieder der GI       DM 60
Studenten und Schueler  DM  0 (bei Vorlage einer entspechenden Bescheinigung) 
Sonst                   DM 80

In den Tagungsgebuehren sind die Tagungsunterlagen (Kurzfassungen der
Vortraege), sowie Erfrischungen in den Vormittags- und Nachmittagspausen
enthalten. Sie enthalten nicht Mittag- und Abendessen.

Am 12. und 13.10.92 werden wir jeweils ein gemeinsames Abendessen
organisieren. Der Preis fuer das Abendessen ist nicht in den
Tagungsgebuehren enthalten, sondern alle Teilnehmer bestellen und bezahlen
vor Ort.

Das Schloss befindet sich am Karolinenplatz im Zentrum von Darmstadt und
ist von allen Hotels in der Innenstadt von Darmstadt aus bequem zu Fuss zu
erreichen.  Fuer Hotelreservierungen wenden Sie sich bitte an das
Verkehrsamt der Stadt Darmstadt, Luisenplatz 5, 6100 Darmstadt, Telefon:
(06151) 132070.

Anmeldung: 

Bitte melden Sie sich auf dem beigefuegten Formular bis 30.9.92
(vorzugsweise elektronisch) bei der Tagungsleitung an und ueberweisen
gleichzeitig die Teilnahmegebuehr (Name nicht vergessen) auf das Konto der
Gesellschaft fuer Logisches Programmieren in Deutschland e.V. (ALP/G) -
Stichwort WLP'92 - Konto Nr. 1211 86-602, Postgiroamt Frankfurt, BLZ
50010060. Studenten und Schueler senden bitte eine Bescheinigung, dass Sie
zum Zeitpunkt des Workshops Student bzw. Schueler sind. Sie erhalten dann
eine Bestaetigung/Rechnung und weitere Informationen.

------------------------------------------------------------------------
------------------------------------------------------------------------
        
                           Anmeldung

Hiermit melde ich mich zum 8. Workshop Logische Programmierung an

Name:

Anschrift:

Telefon:

Fax:

Email:

( ) Die Tagungsgebuehr in Hoehe von 

          ( ) 40 DM  Mitglieder ALP/G
          ( ) 60 DM  Mitglieder GI
          ( ) 80 DM  Sonst 

     habe ich auf das Konto Nr. 1211 86-602, Postgiroamt Frankfurt (BLZ
     50010060) der Gesellschaft fuer Logisches Programmieren in Deutschland
     e.V. (ALP/G), Stichwort WLP'92, ueberwiesen. 

( ) Eine Bescheinigung, dass ich zum Zeitpunkt des Workshops Schueler
    bzw. Student bin, habe ich an die Tagungsleitung geschickt.

------------------------------------------------------------------------
------------------------------------------------------------------------

             Informationen ueber die ALP/G

Die Gesellschaft fuer Logisches Programmieren in Deutschland e.V. (ALP/G)
wurde im Herbst 1991 in Gosen gegruendet und bezweckt die F\"orderung der
Logischen Programmierung und Inferenz in Forschung, Wissenschaft und
Bildung und will als eine nationale Gesellschaft im Sinne der
internationalen Association for Logic Programming (ALP) wirken. Eine
Assimilation in die Gesellschaft fuer Informatik e.V.  (GI) wird
angestrebt.

Dieser Zweck soll erreicht werden insbesondere durch

- Foerderung des Erkenntnisgewinns auf dem Gebiet der Logischen
  Programmierung und Inferenz, 
- Kooperatiom mit anderen Forschungsvereinigungen und
  wissenschaftlichen Instituten, 
- Foerderung der Verbreitung der Ergebnisse der Forschung auf dem
  Gebiet der Logischen Programmierung und Inferenz, 
- Konzipierung und Organisation wissenschaftlicher Veranstaltungen, 
- Foerderung bzw.  Durch\"uhrung von Aus- und Weiterbildungsmassnahmen,
- Gewinnung, Sammlung und Verteilung von Fachinformationen, 
- Unterrichtung der Oeffentlichkeit ueber die Rolle, Bedeutung und
  Anwendung der Forschung auf dem Fachgebiet, 
- Vertretung des Fachgebietes in nationalen und internationalen Gremien.  

1. Vorsitzender: Dr. Steffen Hoelldobler
                 Intellektik, Informatik, TH Darmstadt
                 Alexanderstr. 10
                 D-6100 Darmstadt
                 Tel.: (06151) 16-5469
                 Fax:  (06151) 16-5326
                 E-mail: steffen@intellektik.informatik.th-darmstadt.de

2. Vorsitzender: Prof. Dr. Ulrich Geske
                 GMD-FIRST
                 Rudower Chaussee 5
                 O-1199 Berlin
                 Tel: (030) 6704 3555
                 Fax: (030) 6704 5088
                 E-mail: geske@gmdfirst.wtza-berlin.de

3. Vorsitzender: Dr. Thom Fruehwirth
                 ECRC
                 Arabellastr. 17
                 8000 Muenchen 81
                 Tel: (089) 92699 - 140
                 Email: Thom.Fruehwirth@ecrc.de

Mitglied kann werden, wer den Gedanken der Weiterentwicklung und
Verbreitung und Anwendung der Logischen Programmierung und von
Inferenzsystemen unterstuetzt.  Der jaehrliche Mitgliedsbeitrag von DM
40.- fuer ordentliche Mitglieder (DM 20.- fuer Studenten) schliesst den
Bezug des Informations- und Mitteilungsblattes der ALP ein (etwa vier
Ausgaben im Jahr).  Weitere materielle Vorteile der Mitgliedschaft sind
reduzierte Teilnahmegebuehren an von der ALP unterstuetzten Konferenzen
(wie ICLP, ILPS oder PDK'91) und Moeglichkeit des Bezugs von ``The Journal
of Logic Programming'' fuer 79% des Preises. Voraussetzung fuer diese
Vorteile ist die Anerkennung der ALP/G als nationale Gesellschaft der ALP.
Die Verhandlungen mit der ALP darueber stehen kurz vor dem Abschluss.

Weitere Informationen erhalten Sie bei Ulrich Geske, Thom Fruehwirth und
Steffen Hoelldobler. Insbesondere schicken wir Ihnen gerne die Satzung und
die Beitragsordnung zu. 

------------------------------------------------------------------------
------------------------------------------------------------------------

                   Antrag auf Mitgliedschaft

Hiermit beantrage ich die persoenliche Mitgliedschaft in der Gesellschaft
fuer Logisches Programmieren/Deutschland e.V. (ALP/G).

Name: 		

Vorname: 	

Anschrift: 	
		
Telefon:	

Fax:		

E-mail:		

Der Jahresbeitrag in Hoehe von

            ( )  DM 40  Privatpersonen
            ( )  DM 20  Schueler und Studenten
            ( )  DM 500 Firmen

wird durch 

( ) Ueberweisung auf das Konto der ALP/G Nr. 121186-602 beim
    Postgiroamt Frankfurt am Main (BLZ 500 100 60)

( ) Einzugserm\"achtigung 

entrichtet.

Mit der Unterzeichnung erkenne ich die Satzung und die Beitragsordnung
der ALP/G an und bin damit einverstanden, dass alle Datenn unter
Einhaltung der Vorschriften des Bundesdatenschutzgesetzes
ausschlie\ss{}lich zur Verwirklichung der Zwecke der ALP/G mittels EDV
verarbeitet und gespeichert werden. 

Ort:               Datum:              Unterschrift: 

------------------------------------------------------------------------
------------------------------------------------------------------------

                     Einzugsermaechtigung

Hiermit wird Einverstaendnis erklaert, dass bis auf Widerruf dieser
Ermaechtigung der Jahresbeitrag fuer die Mitgliedschaft in der ALP/G 
zu Lasten folgender Bankverbindung mit Lastschrift eingezogen wird.

Name und Sitz des Kreditinstituts:

Kontonummer: 

Bankleitzahl:

Ort:               Datum:              Unterschrift: 

***************************************************************************