From: mod-ki@Germany.EU.net (Hans-Werner Hein)
Newsgroups: de.sci.ki.mod-ki
Subject: v1992i131: <mod-ki 0955> DT 92 ASCII
Keywords: Workshops, GI-FG 1.2.1, Deduktionssysteme
Date: 20 Aug 92 10:06:40 GMT
Reply-To: "dt92 - W. Reif " <dt92@ira.uka.de>
Organization: GI-FB 1 KI und Univ.Dortmund

Submitted-by: mod-ki@Germany.EU.net
Posting-number: Volume 1992, Issue 131
Archive-name: 08/mes0955

mod-ki message 0955 (Volume 1992, Month 08, Issue 131)
***************************************************************************
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

Anlagen:
   Einladung und zwei Formulare in ASCII, die man 
   am besten mit "enscript <dateiname>" ausdruckt.

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

---------------------------------------------------------------------------
                 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
veranstaltet und findet im Nordschwarzwald im Steigenberger Hotel
Freudenstadt, ca. 80 km suedlich von Karlsruhe statt. Es bietet allen, die
im Bereich der Deduktionssysteme arbeiten oder sich fuer das Gebiet
interessieren, die Gelegenheit zum Erfahrungsaustausch, zu Diskussionen
und Kontakten. Neben Hochschulangehoerigen werden auch Vertreter aus der Industrie erwartet.

1   Programm

Das Programm umfasst:

  1. Fachgruppensitzung am Abend des 8.10.92 fuer alle Mitglieder und
     Interessenten 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.9.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
Formular) bitten wir, direkt an das Hotel zu richten. Fuer das Tagungshotel
stehen genuegend Zimmer mit einer Kontingentgarantie fuer Buchungen bis
Ende August zur Verfuegung.

3   Unterbringung und Verpflegung

3.1   Wohnen im Tagungshotel

Mit dem Hotel haben wir eine Seminarpauschale vereinbart, so dass
Uebernachtung mit Vollpension pro Person und Tag im Einzelzimmer DM 173,-,
im Doppelzimmer DM 153,- kosten wird. Der Preis beinhaltet
Fruehstuecksbuefett, als Mittagessen ein Seminarbuefett mit Dessertbuefett
und als Abendessen ein Seminarmenue 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
Unterkunftsverzeichnis 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 Mahlzeiten 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.

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 umsteigen).

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
Freudenstadt 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
werden, 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

---------------------------------------------------------------------------
                         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.9.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: ( Diese Angaben dienen nur zur Information )

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

Hotel: ______________________________________________________________



---------------------------------------------------------------------------

 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

***************************************************************************