🚀 go-pugleaf

From: Uwe Waldmann <uwe@unidoi5.ls5.informatik.uni-dortmund.de>
To: mod-ki@unido.uucp
Date: Tue, 31 Oct 89 18:19:23 +0100
Subject: Workshop Termersetzung (Call for Papers)
Keywords: Tagungen

mod-ki message 0324
************************************************************************
                    Aufruf zur aktiven Teilnahme am
 
                                WORKSHOP
                TERMERSETZUNG - GRUNDLAGEN UND ANWENDUNG
 
Zeit:          19. - 21. Maerz 1990
Ort:           Universitaet Dortmund
 
Veranstalter:  FG 1.2.1 Deduktionssysteme
               FG 2.1.3 Implementierung von Programmiersprachen
               der Gesellschaft fuer Informatik (GI)


Dieses Treffen  versteht  sich  als  eine  Weiterfuehrung  des  1989  in
Kaiserslautern stattgefundenen Workshops.  Auch  dieses  Mal  liegt  das
Hauptgewicht  auf  dem   Austausch   neuerer   Ideen,   in   Entwicklung
befindlicher    Methoden    und    Ergebnisse    in    den     Bereichen
Termersetzungssysteme,                   Vervollstaendigungsalgorithmen,
Narrowing-Verfahren, Theorembeweiser auf Termersetzungsbasis, etc.   Der
Workshop will Wissenschaftler, die auf diesen Gebieten in  Theorie  oder
Anwendung arbeiten, zusammenbringen und einen Ueberblick ueber den Stand
der Aktivitaeten im deutschsprachigen Raum geben.

Nach  Moeglichkeit  sollte  jeder  Teilnehmer   einen   etwa   20-   bis
30-minuetigen Vortrag zum Thema einbringen.  Da sowohl  die  Platz-  als
auch die  Zeitkapazitaet  beschraenkt  ist,  bitten  wir  die  folgenden
Termine einzuhalten:

   1. Februar 1990   Anmeldeschluss und Abgabetermin  einer  einseitigen
                     Beitragskurzfassung
  15. Februar 1990   Benachrichtigung ueber die Teilnahme

Ferner sind eine Postersektion zur Vorstellung  der  Arbeitsgruppen  und
Vorfuehrungen von Systemen geplant.

Tagungsleitung:   Prof. Dr. J. Avenhaus  (Universitaet Kaiserslautern)
                  Prof. Dr. H. Ganzinger (Universitaet Dortmund)
                  Prof. Dr. K. Madlener  (Universitaet Kaiserslautern)

Organisation:     A. Baumgart * U. Waldmann * U. Wertz
                  Universitaet Dortmund
                  FB Informatik, Lehrstuhl V
                  Postfach 50 05 00
                  4600 Dortmund 50
                  Tel.: (0231) 755-4850/1
                  E-Mail: astrid@unidoi5.ls5.informatik.uni-dortmund.de

------------------------------------------------------------------------
 
Name: __________________________________________________________________
 
Institution: ___________________________________________________________
 
Adresse: _______________________________________________________________
 
Tel./E-Mail: ___________________________________________________________
 
Ich bin am Workshop Termersetzung interessiert und

[] nehme daran teil.
[] plane einen Beitrag mit dem Thema ___________________________________
[] plane, die Postersektion mitzugestalten.
[] moechte das System ______________________________________ vorstellen.

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