From: dt92@i11s10.ira.uka.de (Deduktionstreffen 92)
Newsgroups: de.sci.ki.announce
Subject: CFPart DT92 (German)
Date: 11 Aug 1992 16:18:08 GMT
Organization: University of Karlsruhe, FRG
Distribution: sub
NNTP-Posting-Host: i11s10.ira.uka.de


Liebe Kollegen, sehr geehrte Damen und Herren,
 
hier ist die zweite Ankuendigung und Einladung zum
 
9. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme"
vom 7.-9.10.92 in Freudenstadt im Schwarzwald
 
 
Anlage:
 
Einladung und zwei Formulare in ASCII, die man 
am besten mit "enscript <dateiname>" ausdruckt.

 
Mit freundlichen Gruessen
 
Wolfgang Reif, KIV-Gruppe, Universitaet Karlsruhe.
 
 
 
--------------------- cut here ----------------------- 


                 Zweite 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. 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.

  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

     Ca. 25 Kurzvortraege, in denen schwerpunktmaessig die Karlsruher und ein
     Teil der Darmstaedter Deduktionsgruppen ihre Arbeit vorstellen. Dies wird
     ergaenzt durch einige Vortraege z.B. aus Saarbruecken und Toulouse.

  3. Moeglichkeit zur Bildung von Arbeitsgruppen am Abend des 7.10.92 (z.B.
     DFG-Schwerpunkt Deduktion)

  4. Moeglichkeit zu einer gemeinsamen Wanderung am Ende des Treffens (am
     Nachmittag des 9.10.92)

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 bis Ende Au-
gust 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    |
   |---------------------|---------------------|

4.3   Anreise mit Bahn und Bustransfer

Falls genuegend Interesse besteht, kann ein Bustransfer von Karlsruhe nach Freu-
denstadt am 7.10.92 und zurueck am 9.10.92 organisiert werden. Kosten ca. DM
25,- pro Person. Bitte geben Sie Ihr Interesse bei der Anmeldung zur Tagung
mit an.

5   Weitere Informationen, Ansprechpartner

Details ueber das wissenschaftliche Programm sowie genauere Anfangszeiten wer-
den, sobald sie vorliegen, gesondert verschickt. 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




                                 3


                         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







----- End of forwarded messages