Thread View: de.sci.ki.announce
1 messages
1 total messages
Started by Deduktionstreffen 92
Thu, 24 Sep 1992 17:30
DT92 Programme (German)
Author: Deduktionstreffen 92
Date: Thu, 24 Sep 1992 17:30
Date: Thu, 24 Sep 1992 17:30
1081 lines
36619 bytes
36619 bytes
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}
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads