From: dt92@i11s10.ira.uka.de (Deduktionstreffen 92)
Newsgroups: de.sci.ki.announce
Subject: DT92-Programme (German)
Date: 11 Sep 1992 16:48:26 GMT
Organization: University of Karlsruhe, FRG
Distribution: world
NNTP-Posting-Host: i11s10.ira.uka.de
Keywords: GI Deduktionstreffen 92




Liebe Kolleginnen und Kollegen,
 
hier sind die dritte Ankuendigung und das vorlaeufige 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
Vorlaeufiges Programm
Aktuelle Teilnehmerliste, Stand 11.9.92

Ausdruck am besten mit "enscript <dateiname>" (Seitenvorschub).



 
Mit freundlichen Gruessen
 
Wolfgang Reif, Universitaet Karlsruhe.
 
 


 
 


                 Dritte 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 erwartet.

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.

  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

      Die vorlaeufige Vortragsliste liegt bei. Die Vortraeg dauern jeweils
      etwa 25 min (incl. Diskussion)


  1.3 18 Teilnehmer interessieren sich bis jetzt 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.

2   Anmeldung

Anmeldungen zur Teilnahme durch das beiliegende Formular bitte per Post
oder email (dt92@ira.uka.de) an die Tagungsleitung. Die Tagungsgebuehr wird
voraussichtlich DM 30,- 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 gegen 14.00 Uhr und endet am 9.10.92 gegen
14.00 Uhr (vorlaeufige, aber realistische Zeiten).

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 bis jetzt viel zu wenig Interessenten gemeldet (der
Preis von 25,- geht von 40 Mitfahrern aus). Deshalb sieht es so aus, als entfiele
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

Die genauen Anfangszeiten sowie der Zeitplan fuer die Vortraege wer-
den, sobald sie vorliegen, gesondert verschickt. Teilnehmer, die uns
spezielle Zeitconstraints genannt haben, koennen davon ausgehen, dass wir
diese bei der Zeitplanung beruecksichtigen.  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



		   Vorlaeufige  Vortragsliste  zum
				    
	       9. Jahrestreffen der GI-Fachgruppe 1.2.1
				   
			 "Deduktionssysteme"
				   
		    vom 7.-9.10.92 in Freudenstadt
				   
				   
			  11. September 1992

o  Logik

      - Stefan Gerberding, Technische Hochschule Darmstadt
        Monomorphe Axiomatisierung von Intervallarithmetiken mit mehr-
        wertigen Logiken

      - Juergen Giesl, Technische Hochschule Darmstadt
        Die Semantik rationaler Kontraktionsfunktionen

      - Hans Juergen Ohlbach, Max-Planck-Institut fuer Informatik, Saarbruecken
        Quantorenelimination in der Praedikatenlogik zweiter Stufe

o  Korrekte Software

      - Rainer Drexler, Universitaet Karlsruhe
        Programmsynthese im KIV-System

      - Bernd Krieg-Brueckner, Universitaet Bremen
        Programmentwicklung als Transformations- bzw. Deduktionsprozess

      - Wolfgang Reif, Universitaet Karlsruhe
        Evolutionaere Verifikation durch Wiederverwendung von Beweisen:
        Eine neue Perspektive

      - Markus Rinderspacher, Universitaet Karlsruhe
        Verifikation von SDL-Systemen mit Hilfe eines automatischen Bewei-
        sers

      - Gerhard Schellhorn, Universitaet Karlsruhe
        Eine Strategie zur Modulverifikation

      - Klaus Schneider, Universitaet Karlsruhe
        Hardware-Verifikation mit Logik hoeherer Ordnung

      - Kurt Stenzel, Universitaet Karlsruhe
        Eine Strategie zur Wiederverwendung von Beweisen im KIV-System

      - Werner Stephan, Universitaet Karlsruhe
        Programmlogiken und Taktisches Theorembeweisen

      - Andreas Wolpers, Universitaet Karlsruhe
        Spezifikation und Verifikation paralleler Programme

      - Armin Zundel, Universitaet Karlsruhe
        Verifikation mit Mazuriewicz-Spuren


                                      1


o  Automatisches Beweisen

      - Harald Ganzinger, Max-Planck-Institut fuer Informatik, Saarbruecken
        Loesen von Mengenconstraints mit geordneter Resolution

      - Reiner Haehnle, Universitaet Karlsruhe
        Mehrwertige Logik und (Mixed) Integer Programming

      - Thomas Kaeufl, Universitaet Karlsruhe
        Der Tableaubeweiser des Verifikationssystems "Tatzelwurm"

      - Manfred Kerber, Universitaet Saarbruecken
        Ein Zwischenbericht ueber die Beweisentwicklungsumgebung  Omega-MKRP

      - Joachim Posegga, Universitaet Karlsruhe
        Deduktion mit Shannon-Graphen

o  Induktionsbeweise

      - Stefan Bruening, Technische Hochschule Darmstadt
        Induktion in der Konnektionsmethode

      - Dieter Hutter, DFKI, Saarbruecken
        Synthese von Induktionsaxiomen fuer Existenzbeweise

      - Martin Protzen, Technische Hochschule Darmstadt
        Widerlegung von Behauptungen

      - Christoph Walther, Technische Hochschule Darmstadt
        Berechnung von Induktionsaxiomen

o  Logisches Programmieren

      - Christoph Brzoska, Universitaet Karlsruhe
        Temporal-logisches Programmieren mit beschraenkten allquantifizier-
        ten Aussagen

      - Andreas Werner, Universitaet Karlsruhe
        Ein Ansatz zur Termersetzung mit geordneten Sorten


                                        2



				   

			 Teilnehmerliste  zum
				   
	       9. Jahrestreffen der GI-Fachgruppe 1.2.1
			 "Deduktionssysteme"
		    vom 7.-9.10.92 in Freudenstadt
				   
			  11. September 1992

         Falls Ihr Eintrag nicht korrekt ist, lassen Sie es uns wissen         


Avenhaus, Prof. Dr. Juergen
Universitaet Kaiserslautern
FB Informatik
Postfach 30 49
6750 Kaiserslautern
email: avenhaus@informatik.uni-kl.de

Baumann, cand. inform. Alexandra
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: baumann@ira.uka.de

Baumgartner, Dipl.-Inform. Peter
Universitaet Koblenz-Landau
Institut fuer Informatik
Rheinau 3 - 4
5400 Koblenz
email: peter@infko.uni-koblenz.de

Bayerl, Dr. Stephan
IBM Deutschland GmbH
Wissenschaftliches Zentrum Stuttgart/Heidelberg
Institut fuer wissensbasierte Systeme
Schlossstrasse 70
7000 Stuttgart
email: bayerl@ds0lilog

Bruening, Dipl.-Inform. Stefan
TH Darmstadt
FB Informatik
Alexanderstrasse 10
6100 Darmstadt
email: stebr@intellektik.informatik.th-darmstadt.de

Brzoska, Dipl.-Inform. Christoph
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: brzoska@ira.uka.de

                                   3

Burandt, Dipl.-Inform. Axel
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: burandt@ira.uka.de

Cleve, Dr. Juergen
Universitaet des Saarlandes
DFKI
Stuhlsatzenhausweg 3 6600 Saarbruecken 11
email: cleve@cs.uni-sb.de

Denzinger, Dipl.-Inform. Joerg
Universitaet Kaiserslautern
FB Informatik
Postfach 30 49
6750 Kaiserslautern
email: denzinger@informatik.uni-kl.de

Drexler, Dipl.-Inform. Rainer
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: drexler@ira.uka.de

Fischer, Bernd
TU Braunschweig
Gaussstrasse 17
3300 Braunschweig
email: F1SCH@IPS.CS.TU-BS.DE

Fuchs, Dipl.-Inform. Matthias
Universitaet Kaiserslautern
FB Informatik
Postfach 30 49
6750 Kaiserslautern
email: fuchs@uni-kl.de

Ganzinger, Prof. Dr. Harald
Max-Planck-Institut fuer Informatik
Im Stadtwald
6600 Saarbruecken 11
email: hg@mpi-sb.mpg.de

Gehrke, cand. inform. Angela
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: gehrke@ira.uka.de


                                   4

Gerberding, Dipl.-Inform. Stefan
TH Darmstadt
FB Informatik
Alexanderstrasse 10
6100 Darmstadt
email: gerberding@inferenzsysteme.informatik.th-darmstadt.de

Giesl, Dipl.-Inform. Juergen
TH Darmstadt
FB Informatik
Alexanderstrasse 10
6100 Darmstadt
email: giesl@inferenzsysteme.informatik.th-darmstadt.de

Haehnle, Dr. Reiner
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: haehnle@ira.uka.de

Horn, Prof. Dr. Christian
FH Furtwangen
Gerwigstrasse 11
7743 Furtwangen
email: c-horn@zrz.fh-furtwangen.dbp.de

Hutter, Dr. Dieter
Universitaet des Saarlandes
DFKI
Stuhlsatzenhausweg 3
6600 Saarbruecken 11
email: hutter@cs.uni-sb.de

Kaeufl, Dr. Thomas
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: kaeufl@ira.uka.de

Kerber, Manfred
Universitaet des Saarlandes
FB 14
Im Stadtwald
6600 Saarbruecken
email: kerber@cs.uni-sb.de

Kievernagel, Dipl.-Inform. Matthias
TU Braunschweig
Gaussstrasse 17
3300 Braunschweig
email: mkiever@ips.cs.tu-bs.de

Klingenbeck, Dipl.-Inform. Stefan
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: klingenbeck@ira.uka.de

                                   5

Koch, Robert
Gielgenstrasse 67
5300 Bonn 3
email:

Kolbe, Dipl.-Inform. Thomas
TH Darmstadt
FB Informatik
Alexanderstrasse 10
6100 Darmstadt
email: kolbe@inferenzsysteme.informatik.th-darmstadt.de

Krieg-Brueckner, Prof. Dr. Bernd
Universitaet Bremen
FB3 - Programmiersprachen und Uebersetzerbau
Bibliothekstrasse
2800 Bremen 33
email: bkl@informatik.uni-bremen.de

Lingenfelder, Dr. Christoph
IBM Deutschland GmbH
IWBS
Postfach 10 30 68
6900 Heidelberg
email: Lingenf@DHDIBM1.bitnet

Ludaescher, Dipl.-Inform. Bertram
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: ludaesch@ira.uka.de

Madlener, Prof. Dr. Klaus
Universitaet Kaiserslautern
FB Informatik
Postfach 30 49
6750 Kaiserslautern
email: madlener@informatik.uni-kl.de

Messing, Dipl.-Math. Barbara
Universitaet Karlsruhe
Institut fuer Angewandte Informatik
Postfach 69 80
7500 Karlsruhe 1
email: MESSING@aifb.uni-KARLSRUHE.DE

Neugebauer, Dipl.-Math. Gerd
TH Darmstadt
FB Informatik, FG Intellektik
Alexanderstrasse 10
6100 Darmstadt
email: thomas@intellektik.informatik.th-darmstadt.de


                                   6

Ohlbach, Dr. Hans Juergen
Max-Planck-Institut fuer Informatik
Im Stadtwald
6600 Saarbruecken 11
email: ohlbach@mpi-sb.mpg.de

Pal, cand. inform. Michael
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email:

Petermann, Dr. Uwe
TH Darmstadt
FB Informatik
Alexanderstrasse 10
6100 Darmstadt
email: peterman@intellektik.informatik.th-darmstadt.de

Posegga, Dipl.-Inform. Joachim
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: posegga@ira.uka.de

Protzen, Dipl.-Inform. Martin
TH Darmstadt
FB Informatik
Alexanderstrasse 10
6100 Darmstadt
email: protzen@inferenzsysteme.informatik.th-darmstadt.de

Rath, Dipl.-Inform. Thomas
TH Darmstadt
FB Informatik, FG Inferenzsysteme
Alexanderstrasse 10
6100 Darmstadt
email: gerd@inferenzsysteme.informatik.th-darmstadt.de

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

Rinderspacher, Dipl.-Inform. Markus
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: rindersp@ira.uka.de


                                   7

Schellhorn, Dipl.-Inform. Gerhard
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: schellhorn@ira.uka.de

Schmitt, Prof. Dr. Peter H.
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: pschmitt@ira.uka.de

Schneider, cand. inform. Joerg
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: schneid@ira.uka.de

Schneider, Dipl.-Inform. Klaus
Universitaet Karlsruhe
Institut fuer Rechnerentwurf und Fehlertoleranz
Postfach 69 80
7500 Karlsruhe 1
email: schneide@ira.uka.de

Schoepke, Dr. rer. nat. Gisela
ALLDATA Unternehmensberatung GmbH
Prinzregentenplatz 7
8000 Muenchen 80
email:

Sengler, Dipl.-Inform. Claus
Universitaet des Saarlandes
DFKI
Stuhlsatzenhausweg 3
6600 Saarbruecken 11
email: sengler@cs.uni-sb.de

Stenzel, Dipl.-Inform. Kurt
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: stenzel@ira.uka.de

Stephan, Priv.-Doz. Dr. habil. Werner
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: stephan@ira.uka.de


                                   8

Stroetmann, Dr. Karl
SIEMENS AG
ZFE BT SE 11
Otto-Hahn-Ring 6
8000 Muenchen 83
email: karl@inf21.zfe.siemens.de

Waldmann, Dipl.-Inf. Uwe
Max-Planck-Institut fuer Informatik
Im Stadtwald
6600 Saarbruecken 11
email: uwe@mpi-sb.mpg.de

Walther, Prof. Dr. Christoph
TH Darmstadt
FB Informatik
Alexanderstrasse 10
6100 Darmstadt
email: walther@inferenzsysteme.informatik.th-darmstadt.de

Weidenbach, Dipl.-Inform. Christoph
Max-Planck-Institut fuer Informatik
Im Stadtwald
6600 Saarbruecken 11
email: weidenb@mpi-sb.mpg.de

Werner, Dipl.-Inform. Andreas
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: werner@ira.uka.de

Wolff, Werner Th.
Universitaet Muenchen
Mathematisches Institut
Theresienstrasse 39
8000 Muenchen 2
email: Werner.Wolff@informatik.uni-muenchen.dbp.de

Wolpers, Dipl.-Inform. Andreas
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: wolpers@ira.uka.de

Zundel, Dipl.-Inform. Armin
Universitaet Karlsruhe
Institut fuer Logik, Komplexitaet und Deduktionssysteme
Postfach 69 80
7500 Karlsruhe 1
email: zundel@ira.uka.de

                                   9



Newsgroups: de.sci.medizin,de.soc.politik