From: dt92@i11s10.ira.uka.de (Deduktionstreffen 92)
Newsgroups: de.sci.ki.announce
Subject: DT92 Programme (German)
Date: 24 Sep 1992 17:30:33 GMT
Organization: University of Karlsruhe, FRG
Distribution: sub
NNTP-Posting-Host: i11s10.ira.uka.de
Keywords: Deduktionstreffen 92




Liebe Kolleginnen und Kollegen,
 
nur noch wenige Tage bis zum Deduktionstreffen.
Hier sind die vierte Ankuendigung und das  Programm des
 
9. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme"
vom 7.-9.10.92 in Freudenstadt im Schwarzwald
 
 
Anlagen:

Einladung
Anmeldeformular zum Treffen
Anmeldeformular fuers Tagungshotel
Programm (Latex)
Aktuelle Teilnehmerliste, Stand 23.9.92 (Latex)

Ausdruck der ersten 3 Anlagen am besten mit "enscript <dateiname>"
(Seitenvorschub). Die beiden Latex Dokumente sind durch --cut here--
von den ersteren getrennt.

DIE WICHTIGSTEN AENDERUNGEN GEGENUEBER FRUEHERER VERSIONEN DER 
EINLADUNG SIND IN GROSSBUCHSTABEN GESCHRIEBEN.


Mit freundlichen Gruessen
 
Wolfgang Reif, Universitaet Karlsruhe.
 
 


 
 


                 Vierte Ankuendigung und Einladung zum
      
                9. Jahrestreffen der GI-Fachgruppe 1.2.1
                           "Deduktionssysteme"
                     vom 7.-9.10.92 in Freudenstadt

   Das diesjaehrige Deduktionstreffen wird von der Karlsruher KIV-Gruppe ver-
anstaltet und findet im Nordschwarzwald im Steigenberger Hotel Freudenstadt,
ca. 80 km suedlich von Karlsruhe statt. Es bietet allen, die im Bereich der De-
duktionssysteme arbeiten oder sich fuer das Gebiet interessieren, die Gelegen-
heit zum Erfahrungsaustausch, zu Diskussionen und Kontakten. Neben Hoch-
schulangehoerigen werden auch Vertreter aus der Industrie anwesend sein.

1   Programm

Das Programm umfasst:

  1.1 Fachgruppensitzung am Abend des 8.10.92 fuer alle Mitglieder und In-
      teressenten der GI FG 1.2.1 "Deduktionssysteme" mit dem Bericht des
      Sprechers. ALLE TEILNEHMER SIND HERZLICH EINGELADEN, VORSCHLAEGE ZUR
      TAGESORDNUNG DER FACHGRUPPENSITZUNG ZU MACHEN (an dt92@ira.uka.de)

  1.2 Wissenschaftliche Kurzvortraege am 7., 8. und 9.10.92 aus den Bereichen:

       O Logik
       O Formale Methoden zur Entwicklung korrekter Software
       O Automatisches Beweisen
       O Induktionsbeweisen
       O Logisches Programmieren

      DAS PROGRAMM LIEGT BEI. DIE VORTRAEGE DAUERN 30 MIN. (incl. Diskussion)


  1.3 18 Teilnehmer interessieren sich fuer eine kleine
      Wanderung am Ende des Treffens (am Nachmittag des 9.10.92 und bei
      gutem Wetter). Um die Rueckreise problemlos zu ermoeglichen, wird sie
      gegen 17.00 Uhr zu Ende sein (BEGINN CA. 14.00).

2   Anmeldung

Anmeldungen zur Teilnahme durch das beiliegende Formular bitte per Post
oder email (dt92@ira.uka.de) an die Tagungsleitung. DIE TAGUNGSGEBUEHR WIRD
30,- DM BETRAGEN und ist waehrend der Tagung zu entrichten.
Die Anmeldungen fuer Unterkunft und Verpflegung (siehe beiliegendes Formu-
lar) bitten wir, direkt an das Hotel zu richten. Fuer das Tagungshotel stehen
genuegend Zimmer mit einer Kontingentgarantie fuer Buchungen zur Verfuegung.



                                 1

3   Unterbringung und Verpflegung

3.1   Wohnen im Tagungshotel

Mit dem Hotel haben wir eine Seminarpauschale vereinbart, so dass Uebernach-
tung mit Vollpension pro Person und Tag im Einzelzimmer DM 173,-, im Dop-
pelzimmer DM 153,- kosten wird. Der Preis beinhaltet Fruehstuecksbuefett, als
Mittagessen ein Seminarbuefett mit Dessertbuefett und als Abendessen ein Semi-
narmenue mit 2 Hauptgerichten zur Wahl. Ausserdem sind die freie Nutzung von
Hallenbad, Sauna, Dampfbad und Fitnessraum im Preis eingeschlossen.

Anmeldung mithilfe des beiliegenden Formulars direkt bei

    Hotel Steigenberger, Karl-von-Hahn-Strasse, D-W 7290 Freudenstadt,
                        Tel. (0 74 41) 8 10 71.

3.2   Wohnen ausserhalb

Teilnehmer, die nicht im Tagungshotel wohnen wollen, moegen sich bitte selbst
um eine Unterkunft bemuehen. Als Anhaltspunkt geben wir einige (laut Unter-
kunftsverzeichnis der Stadt Freudenstadt) preisguenstige Gasthaeuser an.

   - "Krone",        Tel.: 0 74 41-20 07
   - "Dreikoenig",   Tel.: 0 74 41-60 17
   - "Zur Stadt",    Tel.: 0 74 41-27 19
   - Aelte Kanzlei", Tel.: 0 74 41-52 52

Leider haben wir dort keine Kontingente, und wissen wenig ueber die Qualitaet
der jeweiligen Haeuser. Das Tagungshotel liegt am Stadtrand von Freudenstadt, und
ist in ca. 20 Minuten zu Fuss von der Stadtmitte aus zu erreichen. Die Mahlzei-
ten koennen dennoch gemeinsam mit den anderen Teilnehmern im Steigenberger
Hotel eingenommen werden. Fuer das Mittagessen werden DM 39,- und fuer das
Abendessen DM 35,- pro Person und Tag berechnet. Bitte benutzen Sie auch
dafuer das beiliegende Anmeldeformular.


4   An- und Abreise

DAS TREFFEN BEGINNT AM 7.10.92 UM 14.00 UHR  UND ENDET AM 9.10.92 NACH
DEM MITTAGESSEN (UM 13.00 UHR)


4.1   Anreise mit dem Auto

Freudenstadt liegt am Schnittpunkt mehrerer Bundesstrassen,

   - der B 462 (Schwarzwaldtaelerstrasse) aus Richtung Karlsruhe
     (Autobahn A 5 Karlsruhe - Basel, Ausfahrt Rastatt)
   - der B 294 aus Richtung Pforzheim (Autobahn A 8 Karlsruhe - Stuttgart,
     Ausfahrt Pforzheim West oder Pforzheim Ost)
   - der B 28 aus Richtung Stuttgart (Autobahn A 81 Stuttgart - Bodensee,
     Ausfahrt Herrenberg)
   - der B 500 (Schwarzwaldhochstrasse) aus Richtung Baden-Baden.



                                 2

4.2   Anreise mit der Bahn

Freudenstadt kann man per Bahn auf zwei verschiedenen Strecken erreichen

   - ueber Karlsruhe nach Rastatt durch das Murgtal
   - ueber Stuttgart nach Horb bzw. Eutingen i. Gaeu

Dabei ist zu beachten, dass Freudenstadt zwei Bahnhoefe besitzt: es ist jeweils
Freudenstadt Stadtbahnhof auszusteigen, nicht Freudenstadt Hauptbahnhof.
Fuer Reisende aus Richtung Karlsruhe ist es der erste Freudenstaedter Bahnhof,
fuer Reisende aus Richtung Stuttgart ist es der zweite (ggf. heisst es um-
steigen).

Anbei einige Abfahrtszeiten von Zuegen ab Karlsruhe Hbf. und ab Stuttgart Hbf.

   |---------------------|---------------------|
   | Karlsruhe-Freudenst.|Stuttgart-Freudenst. |
   |---------------------|---------------------|
   |   10.26  - 12.27    |  9.16   -  11.05    |
   |   11.26  - 13.27    | 11.16   -  13.05    |
   |   12.26  - 14.27    | 13.16   -  15.05    |
   |---------------------|---------------------|

Fuer die Rueckreise gilt folgende Tabelle:


   Richtung Frankfurt:
   -------------------

   Umsteigen in Rastatt ist schneller als die direkte Verbindung und bietet
   darueberhinaus verbesserte Anschluesse.

   Freudenstadt/
   Stadtbahnhof..ab..13.05........14.05.......15.05.......16.05...17.05...18.05
                       |            |           |           |       |       |
   Rastatt...an......14.25........15.28.......16.23.......17.23...18.23...19.23
                       |            |           |           |       |       |
   Karlsruhe.an......14.59........15.51.......16.59.......17.50...18.50...19.50
             ab        |          16.36                     |
                       |            |                       |
   Hannover..an......18.39..........|..............21.39---------|
             ab  15.05   18.44      |          22.36---21.44     |
                   |       |        |            |       |       |
                 19.40   19.40    20.44        23.26   22.40   20.37
                Braun-  Bremen   Braun-       Braun-  Bremen   Bonn
                schweig          schweig      schweig


   Richtung Stuttgart/Muenchen:
   ----------------------------

   Ueber Horb-Stuttgart ist die Fahrt um 1.5 Std. kuerzer(!) als ueber
   Karlsruhe.

   Freudenstadt/
   Stadtbahnhof.....ab.....17.52........19.21
			     |            | 
   Horb			     |            | 
			     |            | 
   Stuttgart........an.....19.43........21.43
		    ab     19.59        22.12
			     |            | 
   Muenchen.........an.....22.11........00.17
                                      
                                       3



4.3   Zum Thema Bustransfer

Fuer die Einrichtung eines  Bustransfers Karlsruhe-Freudenstadt (am 7.10) und
zurueck (9.10) haben sich viel zu wenig Interessenten gemeldet (der
Preis von 25,- geht von 40 Mitfahrern aus). DESHALB ENTFAELLT DER BUSTRANSFER.
Die bieherigen Interessenten moegen bitte auf die Bahn
(siehe oben) oder Mitfahrgelegenheiten mit dem Auto ausweichen. Bei der
Organisation von Mitfahrgelegenheiten sind wir waehrend der Tagung gerne
behilflich. Teilnehmer, fuer die sich dadurch besondere Komplikationen ergeben,
moegen sich bitte mit der Tagungsleitung in Verbindung setzen.



5   Weitere Informationen, Ansprechpartner

Bei Fragen oder Komplikationen wenden Sie sich bitte an:

     Tagungsleitung:

         Wolfgang Reif
         Universitaet Karlsruhe
         Institut fuer Logik, Komplexitaet und Deduktionssysteme,
         Postfach 6980
         7500 Karlsruhe 1
         email: reif@ira.uka.de

     Sekretariat:

         Sabine Lueckehe
         Universitaet Karlsruhe
         Institut fuer Logik, Komplexitaet und Deduktionssysteme,
         7500 Karlsruhe 1
         Postfach 6980
         email: lueckehe@ira.uka.de


     Weitere Ansprechpartner

         Kurt Stenzel, Rainer Drexler
         Universitaet Karlsruhe
         Institut fuer Logik, Komplexitaet und Deduktionssysteme,
         Postfach 6980
         7500 Karlsruhe 1
         email: {stenzel, drexler}@ira.uka.de


                                 4



                         Anmeldung zur Teilnahme am

                   9. Jahrestreffen der GI-Fachgruppe 1.2.1
                           "Deduktionssysteme"
                       vom 7.-9.10.92 in Freudenstadt
                      Steigenberger Hotel Freudenstadt



TEILNEHMER:

Name: _______________________________________________________________

Vorname: ____________________________________________________________

Titel: ______________________________________________________________

Organisation: _______________________________________________________

Anschrift: __________________________________________________________

email: ______________________________________________________________



Ich moechte am Deduktionstreffen teilnehmen und habe darueberhinaus Interesse
an:

 O   einem Bustransfer von Karlsruhe zum Tagungsort am 7.10.92 und zurueck
     am 9.10.92

 O   einer Wanderung am Ende der Tagung, nachmittags am 9.10.92


Der Tagungsbeitrag ist waehrend der Tagung zu entrichten.


Unterbringung: (*)

 O   im Tagungshotel
 O   extern mit Mittag- und Abendessen im Tagungshotel
 O   extern mit Mittagessen im Tagungshotel
 O   extern mit Abendessen im Tagungshotel


Hotel: ______________________________________________________________




_______________________________________________
(*)   Diese Angaben dienen nur zur Information.





 Name: _________________________________

 Strasse: ______________________________

 Wohnort: ______________________________

 Telefon: ______________________________


______________________________________________________


 Steigenberger Hotel
 Karl-von-Hahn-Strasse

 D-W 7290 Freudenstadt

______________________________________________________








 Sehr geehrte Damen und Herren,

 ich nehme am 9. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme" vom 
 7. bis 9.10.92 in Ihrem Haus teil.

    - Ich reserviere fuer ______ Person(en) ______ Uebernachtung(en)

      vom ____________________(Anreisetag) bis _________________(Abreisetag) im

       O  Einzelzimmer mit Vollpension DM 173,- (pro Person/Tag)
       O  Doppelzimmer mit Vollpension DM 153,- (pro Person/Tag)

          Ich moechte mit Frau/Herrn __________________________________________
          zusammen wohnen.

    - Ich wohne extern, moechte aber im Rahmen der Tagung wie folgt an den 
      Mahlzeiten im Steigenberger Hotel teilnehmen:

       O  Mittag- und Abendessen (DM 39,- + DM 35,- pro Tag)
       O  Mittagessen (DM 39,- pro Tag)
       O  Abendessen (DM 35,- pro Tag)




 ___________________________                          _________________________
       Ort, Datum                                           Unterschrift


----------------------------cut here---------------------------------------------
\documentstyle[german]{article}

\setlength{\textwidth}{17cm}
\setlength{\oddsidemargin}{-6.5mm}
\setlength{\evensidemargin}{\oddsidemargin}
\setlength{\textheight}{25cm}
\setlength{\topmargin}{-7.5mm}

\setlength{\parindent}{0truecm}
\setlength{\parskip}{5pt plus 2pt minus 1pt}

\begin{document} 

\title{Programm zum} 
\author{\bf 9.\ Jahrestreffen der GI-Fachgruppe 1.2.1 \\         \bf     
``Deduktionssysteme''		\\     \bf   vom 7.-9.10.92 in Freudenstadt} 
\date{\today} 
\maketitle 


{\large{\bf Mittwoch, 7.10.92}}

\bigskip

\begin{tabbing}
14.15 Uhr \hspace{8mm} \= Begr"u"sung \\
\> (W.\ Reif, Universit"at Karlsruhe,  Chr.\ Walther, TH Darmstadt) \\

\medskip\\

\fbox{\sc\bf{Logik}} \hspace{4mm} (Chair: P.\ Schmitt, Universit"at Karlsruhe)
\\

\medskip\\

14.30 - 15.00 \> J"urgen Giesl, TH Darmstadt: \\
\> Die Semantik rationaler Kontraktionsfunktionen\\
\bigskip
15.00 - 15.30 \> Stefan Gerberding, TH Darmstadt: \\
\> Monomorphe Axiomatisierung von Intervallarithmetiken mit mehrwertigen
Logiken\\
\bigskip
15.30 - 16.00 \> Hans J"urgen Ohlbach, MPI Saarbr"ucken:\\
\> Quantorenelimination in der Pr"adikatenlogik zweiter Stufe \\

\medskip\\

16.00 \> Kaffeepause\\

\medskip\\

\fbox{\sc\bf{Automatisches Beweisen I}} \hspace{4mm} (Chair: J.\ Avenhaus, Universit"at Kaiserslautern) \\

\medskip\\

16.30 - 17.00 \> Harald Ganzinger, MPI Saarbr"ucken: \\
\> L"osen von Mengenconstraints mit geordneter Resolution\\
\bigskip
17.00 - 17.30 \> Thomas K"aufl, Universit"at Karlsruhe: \\
\> Der Tableaubeweiser des Verifikationssystems \glqq Tatzelwurm\grqq \\
\bigskip
17.30 - 18.00 \> Reiner H"ahnle, Universit"at Karlsruhe:\\
\> Mehrwertige Logik und (Mixed) Integer Programming \\
18.00 - 18.30 \> Joachim Posegga, Universit"at Karlsruhe:\\
\> Deduktion mit Shannon-Graphen \\

\medskip\\

19.00 \> Abendessen\\

\end{tabbing}



\pagebreak



{\large{\bf Donnerstag, 8.10.92}}

\bigskip

\begin{tabbing}
14.15 Uhr \hspace{8mm} \= Begr"u"sung  \kill \\

\fbox{\sc\bf{Korrekte Software I}} \hspace{4mm} (Chair: H.\ Ganzinger, MPI
Saaarbr"ucken) \\

\medskip\\

\mbox{~~9.00} - \mbox{~~9.30} \> Werner Stephan, Universit"at Karlsruhe: \\
\> Programmlogiken und Taktisches Theorembeweisen\\
\bigskip
\mbox{~~9.30} - 10.00 \> Gerhard Schellhorn, Universit"at Karlsruhe: \\
\> Eine Strategie zur Modulverifikation\\
\bigskip
10.00 - 10.30 \> Rainer Drexler, Universit"at Karlsruhe:\\
\> Programmsynthese im KIV-System \\

\medskip\\

10.30 \> Kaffeepause\\

\medskip\\

\fbox{\sc\bf{Korrekte Software II}} \hspace{4mm} (Chair: K.\ Madlener,
Universit"at Kaiserslautern) \\

\medskip\\

11.00 - 11.30 \> Andreas Wolpers, Universit"at Karlsruhe: \\
\>Spezifikation und Verifikation paralleler Programme\\
\bigskip
11.30 - 12.00 \> Wolfgang Reif, Universit"at Karlsruhe: \\
\> Evolution"are Verifikation durch Wiederverwendung von Beweisen: \\
\> Eine neue Perspektive \\
\bigskip
12.00 - 12.30 \> Kurt Stenzel, Universit"at Karlsruhe:\\
\> Eine Strategie zur Wiederverwendung von Beweisen im KIV-System \\

\medskip\\

12.45 \> Mittagessen\\

\medskip\\

\fbox{\sc\bf{Logisches Programmieren/Induktionsbeweisen I}} \hspace{4mm}
(Chair: B.\ Krieg-Br"uckner, Universit"at Bremen) \\

\medskip\\

14.00 - 14.30 \> Christoph Brzoska, Universit"at Karlsruhe: \\
\> Temporal-logisches Programmieren mit beschr"ankten allquantifizierten
Anfragen\\
\bigskip
14.30 - 15.00 \> Andreas Werner, Universit"at Karlsruhe: \\
\> Ein Ansatz zur Termersetzung mit geordneten Sorten\\
\bigskip
15.00 - 15.30 \> Stefan Br"uning, TH Darmstadt:\\
\> Induktion in der Konnektionsmethode \\

\medskip\\

15.30 \> Kaffeepause\\

\medskip\\

\fbox{\sc\bf{Induktionsbeweisen II}} \hspace{4mm} (Chair: W.\ Stephan,
Universit"at Karlsruhe) \\

\medskip\\

16.00 - 16.30 \> Christoph Walther, TH Darmstadt: \\
\> Berechnung von Induktionsaxiomen \\
\bigskip
16.30 - 17.00 \> Dieter Hutter, DFKI, Saarbr"ucken: \\
\> Synthese von Induktionsaxiomen f"ur Existenzbeweise \\
\bigskip
17.00 - 17.30 \> Martin Protzen, TH Darmstadt:\\
\> Widerlegung von Behauptungen \\

\medskip\\

18.30 \> Abendessen\\

\medskip\\

\fbox{\sc\bf{Fachgruppensitzung}} \\

\medskip\\

20.00 \> Bericht des Sprechers, Deduktionstreffen 93 etc. \\

\end{tabbing}



\pagebreak



{\large{\bf Freitag, 9.10.92}}

\bigskip

\begin{tabbing}
14.15 Uhr \hspace{8mm} \= Begr"u"sung  \kill \\

\fbox{\sc\bf{Korrekte Software III}} \hspace{4mm} (Chair: Chr.\ Walther,
TH Darmstadt) \\

\medskip\\

\mbox{~~9.00} - \mbox{~~9.30} \> Bernd Krieg-Br"uckner, Universit"at Bremen: \\
\> Programmentwicklung als Transformations-- bzw.\ Deduktionsproze"s\\
\bigskip
\mbox{~~9.30} - 10.00 \> Markus Rinderspacher, Universit"at Karlsruhe: \\
\> Verifikation von SDL-Systemen mit Hilfe eines automatischen Beweisers\\
\bigskip
10.00 - 10.30 \> Armin Zundel, Universit"at Karlsruhe:\\
\> Verifikation mit Mazuriewicz-Spuren \\

\medskip\\

10.30 \> Kaffeepause\\

\medskip\\

\fbox{\sc\bf{Hardwareverifikation/Automatisches Beweisen II}} \hspace{4mm}
(Chair: H.-J.\ Ohlbach, MPI Saarbr"ucken) \\

\medskip\\

11.00 - 11.30 \> Klaus Schneider, Universit"at Karlsruhe: \\
\>Hardware--Verifikation mit Logik h"oherer Ordnung \\
\bigskip
11.30 - 12.00 \> Manfred Kerber, Universit"at Saarbr"ucken: \\
\> Ein Zwischenbericht "uber die Beweisentwicklungsumgebung $\Omega$--MKRP \\
\bigskip
12.00 - 12.30 \> Andreas Herzig, Toulouse:\\
\> Reasoning about Change \\

\medskip\\

13.00 \> Mittagessen\\

\medskip\\

14.00 - 17.00 \> Wanderung
\end{tabbing}

\end{document}


---------------------------------cut here-------------------------------------
\documentstyle[german]{article}

\setlength{\textwidth}{17cm}
\setlength{\oddsidemargin}{-6.5mm}
\setlength{\evensidemargin}{\oddsidemargin}
\setlength{\textheight}{25cm}
\setlength{\topmargin}{-7.5mm}

\setlength{\parindent}{0truecm}
\setlength{\parskip}{5pt plus 2pt minus 1pt}


\begin{document} 

\title{Teilnehmerliste zum} 
\author{\bf 9.\ Jahrestreffen der GI-Fachgruppe 1.2.1 \\         \bf     
``Deduktionssysteme''		\\     \bf   vom 7.-9.10.92 in Freudenstadt} 
\date{\today} 
\maketitle 

	\begin{quote}               Avenhaus, Prof.\ Dr.\ J"urgen				\\ 
Universit"at Kaiserslautern		\\                             
FB Informatik			\\
Postfach 30 49 \\
6750 Kaiserslautern \\               
email: avenhaus@informatik.uni-kl.de 	\end{quote}  

	\begin{quote}               Baumann, cand.\ inform.\ Alexandra				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: baumann@ira.uka.de 	\end{quote}  

	\begin{quote}               Baumgartner, Dipl.-Inform.\ Peter				\\ 
Universit"at Koblenz-Landau		\\                             
Institut f"ur Informatik			\\               
Rheinau 3 -- 4			\\
5400 Koblenz \\               
email: peter@infko.uni-koblenz.de 	\end{quote}  

	\begin{quote}               Bayerl, Dr.\ Stephan				\\ 
IBM Deutschland	GmbH	\\                             
Wissenschaftliches Zentrum Stuttgart/Heidelberg			\\
Institut f"ur wissensbasierte Systeme \\               
Schlo"sstra"se 70				\\
7000 Stuttgart \\               
email: bayerl@ds0lilog 	\end{quote}  

	\begin{quote}               Br"uning, Dipl.-Inform.\ Stefan				\\ 
TH Darmstadt		\\                             
FB Informatik			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: stebr@intellektik.informatik.th-darmstadt.de 	\end{quote}  

	\begin{quote}               Brzoska, Dipl.-Inform.\ Christoph				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: brzoska@ira.uka.de 	\end{quote}  

	\begin{quote}               B"undgen, Dr.\ Reinhard				\\ 
Universit"at T"ubingen		\\                             
Wilhelm-Schickard-Institut			\\               
Sand 13		\\
7400 T"ubingen \\               
email: buendgen@informatik.uni-tuebingen.de 	\end{quote}  

	\begin{quote}               Burandt, Dipl.-Inform.\ Axel				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: burandt@ira.uka.de 	\end{quote}  

	\begin{quote}               Cap, Dr.\ Clemens			\\ 
Universit"at Z"urich		\\                             
Institut f"ur Informatik		\\
Winterthurerstra"se 190
CH-8051 Z"urich, Schweiz \\               
email: CAP@IFI.UNIZH.CH 	\end{quote}  

	\begin{quote}               Cleve, Dr.\ J"urgen			\\ 
Universit"at des Saarlandes		\\                             
DFKI		\\
Stuhlsatzenhausweg 3
6600 Saarbr"ucken 11 \\               
email: cleve@cs.uni-sb.de 	\end{quote}  

	\begin{quote}               Denzinger, Dipl.-Inform.\ J"org				\\ 
Universit"at Kaiserslautern		\\                             
FB Informatik\\
Postfach 30 49				\\
6750 Kaiserslautern \\               
email: denzinger@informatik.uni-kl.de 	\end{quote}  

	\begin{quote}               Drexler, Dipl.-Inform.\ Rainer				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: drexler@ira.uka.de 	\end{quote}  

	\begin{quote}               Fischer,  Bernd			\\ 
TU Braunschweig		\\                             
Gau"sstra"se 17			\\
3300 Braunschweig \\               
email: fisch@ips.cs.tu-bs.de
 	\end{quote}  

	\begin{quote}               Fuchs, Dipl.-Inform.\ Matthias				\\ 
Universit"at Kaiserslautern		\\                             
FB Informatik			\\
Postfach 30 49 \\
6750 Kaiserslautern \\               
email: fuchs@uni-kl.de 	\end{quote}  

	\begin{quote}               Ganzinger, Prof.\ Dr.\ Harald			\\ 
Max-Planck-Institut f"ur Informatik	\\                             
Im Stadtwald \\
6600 Saarbr"ucken 11 \\               
email: hg@mpi-sb.mpg.de 	\end{quote}  

	\begin{quote}               Gehrke, cand.\ inform.\ Angela				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: gehrke@ira.uka.de 	\end{quote}  

	\begin{quote}               Gerberding, Dipl.-Inform.\ Stefan				\\ 
TH Darmstadt		\\                             
FB Informatik			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: gerberding@inferenzsysteme.informatik.th-darmstadt.de 	\end{quote}  

	\begin{quote}               Geser, Dr.\ Alfons				\\ 
Universit"at Ulm		\\                             
Abt. KI			\\               
Oberer Eselsberg			\\
7900 Ulm               
email: geser@informatik.uni-ulm.de 	\end{quote}  

	\begin{quote}               Giesl, Dipl.-Inform.\ J"urgen				\\ 
TH Darmstadt		\\                             
FB Informatik			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: giesl@inferenzsysteme.informatik.th-darmstadt.de 	\end{quote}  

	\begin{quote}               Goller, Dipl.-Inform.\ Christoph			\\ 
TU M"unchen		\\                             
Institut f"ur Informatik		\\
Augustenstra"se 46 RGB \\
8000 M"unchen 2 \\               
email: goller@informatik.tu-muenchen.de 	\end{quote}  

	\begin{quote}               H"ahnle, Dr.\ Reiner				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: haehnle@ira.uka.de 	\end{quote}  

	\begin{quote}               Herzig, Andreas				\\ 
Toulouse \\               
email:  	\end{quote}  

	\begin{quote}               Horn, Prof.\ Dr.\ Christian			\\ 
FH Furtwangen		\\                             
Gerwigstra"se 11 \\
7743 Furtwangen \\               
email: c-horn@zrz.fh-furtwangen.dbp.de 	\end{quote}  

	\begin{quote}               Hutter, Dr.\ Dieter			\\ 
Universit"at des Saarlandes		\\                             
DFKI		\\
Stuhlsatzenhausweg 3 \\
6600 Saarbr"ucken 11 \\               
email: hutter@cs.uni-sb.de 	\end{quote} 

	\begin{quote}               Hutzelmeyer, Dr.\ Hannes			\\ 
PAI Partner f"ur angewandte Informatik GmbH		\\                             
Bahnhofstra"se 7 \\
8033 Planegg  \\               
email:  	\end{quote}  
 

	\begin{quote}               K"aufl, Dr.\ Thomas				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: kaeufl@ira.uka.de 	\end{quote}  


	\begin{quote}               Kerber, Manfred			\\ 
Universit"at des Saarlandes		\\                             
FB 14			\\               
Im Stadtwald		\\
6600 Saarbr"ucken \\               
email: kerber@cs.uni-sb.de 	\end{quote}  

	\begin{quote}               Kievernagel, Dipl.-Inform.\ Matthias			\\ 
TU Braunschweig		\\                             
Gau"sstra"se 17			\\
3300 Braunschweig \\               
email: mkiever@ips.cs.tu-bs.de 	\end{quote}  

	\begin{quote}               Klingenbeck, Dipl.-Inform.\ Stefan				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: klingenbeck@ira.uka.de 	\end{quote}  

	\begin{quote}               Koch, Robert				\\ 
Gielgenstra"se 67				\\
5300 Bonn 3 \\               
email: ~~ 	\end{quote}  

	\begin{quote}               Kolbe, Dipl.-Inform.\ Thomas				\\ 
TH Darmstadt		\\                             
FB Informatik			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: kolbe@inferenzsysteme.informatik.th-darmstadt.de 	\end{quote}  

	\begin{quote}               Krieg-Br"uckner, Prof.\ Dr.\ Bernd				\\ 
Universit"at Bremen		\\                             
FB3 -- Programmiersprachen und "Ubersetzerbau			\\               
Bibliothekstra"se			\\
2800 Bremen 33 \\               
email: bkl@informatik.uni-bremen.de 	\end{quote}  

	\begin{quote}               Lingenfelder, Dr.\ Christoph	\\ 
IBM Deutschland GmbH	\\                             
IWBS			\\               
Postfach 10 30 68	\\
6900 Heidelberg    \\           
email: Lingenf@DHDIBM1.bitnet 	\end{quote}  

	\begin{quote}               Lud"ascher, cand.\ inform.\ Bertram			\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: ludaesch@ira.uka.de 	\end{quote}  

	\begin{quote}               Madlener, Prof.\ Dr.\ Klaus			\\ 
Universit"at Kaiserslautern		\\                             
FB Informatik			\\
Postfach 30 49 \\
6750 Kaiserslautern \\               
email: madlener@informatik.uni-kl.de 	\end{quote}  

	\begin{quote}               Messing, Dipl.-Math.\ Barbara			\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Angewandte Informatik			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: MESSING@aifb.uni-KARLSRUHE.DE 	\end{quote}  

	\begin{quote}               Neugebauer, Dipl.-Math.\ Gerd				\\ 
TH Darmstadt		\\                             
FB Informatik, FG Intellektik			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: gerd@intellektik.informatik.th-darmstadt.de 	\end{quote}  

	\begin{quote}               Ohlbach, Dr.\ Hans J"urgen				\\ 
Max-Planck-Institut f"ur Informatik		\\                             
Im Stadtwald		\\               
6600 Saarbr"ucken 11				\\
email: ohlbach@mpi-sb.mpg.de 	\end{quote}  

	\begin{quote}               Pal, cand.\ inform.\ Michael				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email:    ~~      	\end{quote}  

	\begin{quote}               Panitz, Dipl.\ inform.\ Sven Eric				\\ 
Johann-Wolfgang-von-Goethe-Universit"at Frankfurt		\\                          
Fb. Informatik			\\               
Postfach 11 19 32				\\
6000 Frankfurt/M. 1 \\               
email:    panitz@informatik.uni-frankfurt.de     	\end{quote}  

	\begin{quote}               Petermann, Dr.\ Uwe				\\ 
TH Darmstadt		\\                             
FB Informatik			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: peterman@intellektik.informatik.th-darmstadt.de 	\end{quote}  
\pagebreak

	\begin{quote}               Posegga, Dipl.-Inform.\ Joachim				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: posegga@ira.uka.de 	\end{quote}  
	\begin{quote}               Prehofer, Dipl.-Inform.\ Christian				\\ 
Tu M"unchen		\\                             
Institut f"ur Informatik			\\               
Postfach 20 24 20				\\
8000 M"unchen \\               
email: prehofer@informatik.tu-muenchen.de 	\end{quote}  

	\begin{quote}               Protzen, Dipl.-Inform.\ Martin				\\ 
TH Darmstadt		\\                             
FB Informatik			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: protzen@inferenzsysteme.informatik.th-darmstadt.de 	\end{quote}  

	\begin{quote}               Rath, Dipl.-Inform.\ Thomas				\\ 
TH Darmstadt		\\                             
FB Informatik, FG Inferenzsysteme			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: gerd@inferenzsysteme.informatik.th-darmstadt.de 	\end{quote}  

	\begin{quote}               Reif, Dr.\ Wolfgang				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: reif@ira.uka.de 	\end{quote}  

	\begin{quote}               Rinderspacher, Dipl.-Inform.\ Markus				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: rindersp@ira.uka.de 	\end{quote}  

	\begin{quote}               Schellhorn, Dipl.-Inform.\ Gerhard				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: schellhorn@ira.uka.de 	\end{quote}  

	\begin{quote}               Schmitt, Prof.\ Dr.\ Peter H.\ 				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: pschmitt@ira.uka.de 	\end{quote}  
\pagebreak
\begin{quote}               Schneider, cand.\ inform.\ J"org				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: schneid@ira.uka.de 	\end{quote}

	\begin{quote}               Schneider, Dipl.-Inform.\ Klaus				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Rechnerentwurf und Fehlertoleranz			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: schneide@ira.uka.de 	\end{quote}  

	\begin{quote}               Sch"opke, Dr.\ rer.\ nat. Gisela				\\ 
ALLDATA Unternehmensberatung GmbH		\\                             
Prinzregentenplatz 7			\\
8000 M"unchen 80 \\               
email: ~~ 	\end{quote}  

	\begin{quote}               Schumann, Dr.\ Johann			\\ 
TU M"unchen		\\                             
Institut f"ur Informatik		\\
Augustenstra"se 46 RGB \\
8000 M"unchen 2 \\               
email: schumann@informatik.tu-muenchen.de 	\end{quote}  

	\begin{quote}               Sengler, Dipl.-Inform.\ Claus			\\ 
Universit"at des Saarlandes		\\                             
DFKI		\\
Stuhlsatzenhausweg 3 \\
6600 Saarbr"ucken 11 \\               
email: sengler@cs.uni-sb.de 	\end{quote}  

	\begin{quote}               Stenzel, Dipl.-Inform.\ Kurt				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: stenzel@ira.uka.de 	\end{quote}  

	\begin{quote}               Stephan, Priv.-Doz. Dr.\ habil.\ Werner				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: stephan@ira.uka.de 	\end{quote}  

	\begin{quote}               Stroetmann, Dr.\ Karl				\\ 
SIEMENS AG		\\                             
ZFE BT SE 11			\\
Otto-Hahn-Ring 6 \\
8000 M"unchen 83 \\               
email: karl@inf21.zfe.siemens.de 	\end{quote}  

\begin{quote}
Waldmann, Dipl.-Inf.\ Uwe			\\ 
Max-Planck-Institut f"ur Informatik		\\                             
Im Stadtwald				\\
6600 Saarbr"ucken 11 \\              
email: uwe@mpi-sb.mpg.de
\end{quote}  

\begin{quote} 
Walther, Prof.\ Dr.\ Christoph			\\ 
TH Darmstadt		\\                             
FB Informatik			\\               
Alexanderstra"se 10			\\
6100 Darmstadt\\               
email: walther@inferenzsysteme.informatik.th-darmstadt.de
\end{quote}  

\begin{quote}
Weidenbach, Dipl.-Inform.\ Christoph			\\ 
Max-Planck-Institut f"ur Informatik		\\                             
Im Stadtwald				\\
6600 Saarbr"ucken 11 \\               
email: weidenb@mpi-sb.mpg.de
\end{quote}  

\begin{quote}
Werner, Dipl.-Inform.\ Andreas				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: werner@ira.uka.de
\end{quote}  

	\begin{quote}               Wolff, Werner Th.				\\ 
Universit"at M"unchen		\\                             
Mathematisches Institut			\\               
Theresienstra"se 39				\\
8000 M"unchen 2 \\               
email: Werner.Wolff@informatik.uni-muenchen.dbp.de 	\end{quote}  

	\begin{quote}               Wolpers, Dipl.-Inform.\ Andreas				\\ 
Universit"at Karlsruhe		\\                           
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: wolpers@ira.uka.de 	\end{quote}  

	\begin{quote}               Zundel, Dipl.-Inform.\ Armin				\\ 
Universit"at Karlsruhe		\\                             
Institut f"ur Logik, Komplexit"at und Deduktionssysteme			\\               
Postfach 69 80				\\
7500 Karlsruhe 1 \\               
email: zundel@ira.uka.de 	\end{quote}  

  \end{document} 








































Newsgroups: de.sci.ki.announce