Thread View: de.sci.ki.announce
1 messages
1 total messages
Started by Deduktionstreffen 92
Fri, 11 Sep 1992 16:48
DT92-Programme (German)
Author: Deduktionstreffen 92
Date: Fri, 11 Sep 1992 16:48
Date: Fri, 11 Sep 1992 16:48
889 lines
25028 bytes
25028 bytes
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
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