KGC'97 - CALL FOR PARTICIPATION


Subject: KGC'97 - CALL FOR PARTICIPATION
From: Kurt Goedel Colloquium 97 (kgc97@logic.at)
Date: Sat Aug 02 1997 - 18:42:11 MET DST


[This is the CALL FOR PARTICIPATION for the 5th Kurt Goedel Colloquium:
Computational Logic and Proof Theory. Please post and distribute widely.
A version in LATEX-Format as enclosed is also available soon at
http://www.dbai.tuwien.ac.at/kgs/kgc97.html ]

                                      KGC'97
                         Fifth Kurt Goedel Colloquium
                      Computational Logic and Proof Theory
                      August 25-29, 1997 Vienna, Austria

                                  CALL FOR PARTICIPATION

......................................................................
 
Program Committee:

 M. Baaz, Vienna
 G. Gottlob, Vienna
 J. Krajicek, Prague
 A. Leitsch (chair), Vienna
 D. Mundici, Milan
 D. Plaisted, Chapel Hill
 P. Pudlak, Prague
 P. Schmitt, Karlsruhe
 A. Voronkov, Uppsala

Organizing Committee:

 M. Eibegger, Vienna
 Ch. Fermueller, Vienna
 F. Gusel, Vienna
 K. Hoerwein, Vienna (chair)
 G. Moser, Vienna
 K. Seyr, Vienna
 H. Veith, Vienna (co-chair)
 R. Zach, Berkeley

The conference is sponsored by:

 Austrian Federal Ministry of Science and Transport
 Vienna Town Planning Department
 Vienna Convention Bureau
 CA, Creditanstalt-Bankverein

....................................................................

 The Kurt Goedel Society will hold its fifth
 Kurt Goedel Colloquium from Monday, August 25, to
 Friday, August 29, 1997, in Vienna, Austria, where
 Kurt Goedel published his famous incompleteness
 results.
 KGC'97 is the fifth in a series of biennial colloquia
 on logic, theoretical computer science, and philosophy
 of mathematics. The first four colloquia took place in
 Salzburg, Austria (1989), in Kirchberg am Wechsel, Austria (1991),
 in Brno, Czech Republic (1993), and in Florence, Italy (1995).

....................................................................

1. General Information
        1.1 The Town of Vienna
        1.2 The Technische Universit\"at Wien
        1.3 The Viennese Coffee House
        1.4 Restaurants (close to the conference site)
        1.5 Public Transport and Vienna Airport Service
        1.6 Banks
2. Scientific Program
3. Social and Other Events
        3.1 Welcome Reception
        3.2 Annual General Assembly of the Kurt G\"odel Society
        3.3 Vienna Sight-Seeing Tour
        3.4 Conference Dinner
        3.5 Excursion to the ``Wachau''
4. Registration and Fees
5. Payment of Registration Fees (Only)
6. Accomodation
7. Payment for Accomodation (Only)
Registration Form
Accomodation-Booking Form

........................................................................
#########################################################################
-------------------------------------------------------------------------

1. General Information

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

1.1 The Town of Vienna

 Vienna was the residence of the Habsburg Dynasty---today it is a modern
 metropolis at the heart of Europe. It is the capital of Austria with a
 population of 1.596.700 and an area of 160 square miles.
 It houses a permanent seat of the United Nations and can be truly
 called one of the most sought-after conference venues anywhere.

 The Austrian capital belongs to the five most popular destinations in
 European city tourism---and with good reason. Vienna's historical
 architecture, concentrated in the inner city and along the Ringstrasse,
 has been largely preserved and skillfully restored. Even the remains of
 a former Roman military camp dating back to the first century A.D. have
 been rediscovered. Some churches, monasteries and historic buildings go
 back to the time of the Babenberg dynasty. As the capital of the Habsburg
 empire, Vienna saw its heyday under the reigns of Maria Theresia and
 Francis Joseph I. Baroque palaces, the Hofburg, Sch\"onbrunn and
 Belvedere palaces, the manificent houses of the bourgeoisie and
 aristocracy give ample evidence of the splendor of these epochs.

 From the turn of the century onwards life in this metropolis was
 determined by an immensely rich and diverse culure: G\"odel, Freud,
 Hofmannsthal, Werfel, Schnitzler, Kraus, Hoffmann, Loos, Olbrich, Wagner,
 Klimt, Kokoschka, and Schiele are just a few renowned names from that
 time. As a center of musical life, Vienna had already won worldwide
 recognition and fame due to the works of Mozart, Haydn, Beethoven,
 Brahms, Schubert, Strauss father and son, Lanner, the Viennese waltz, and
 the golden era of the operetta. Today visits to the State Opera, or to
 one of Vienna's traditional music halls, the Musikverein, or the
 Konzerthaus, belong to the standard program of any music enthusiast.
 Vienna offers excellent evening entertainment; the two most popular forms
 are the pubs and bars of the so-called Bermuda Triangle (one hip pub next
 to another) on the one hand, and the Heurigen, wine taverns at the
 foot-hills of the Vienna Woods which offer the famous Viennese wines, on
 the other hand.

 When staying in Vienna, one should not forget to drop by the Prater
 amusement park, and take a ride on the Giant Ferris Wheel. For cyclists
 and water sports enthusiasts the Danube island offers all possibilities
 one can imagine. For relaxing and experiencing true Austrian hospitality
 the Vienna Woods are the right place. Since the opening of the East,
 Vienna has more than ever before become an important European hub.
 Numerous international organisations have their headquaters here, which is
 best expressed by the UN-center on the left bank of the Danube.

 In case one just associates Vienna with the Spanish Riding School, the
 Viennas Boy's choir, and St. Stephen's, one will be surprised by the
 wealth of museums and galeries, the numerous events in the course of the
 Vienna Festival, the balls like the Opera Ball, and the year round buzz in
 the Viennese cafes, pubs, restaurants and clubs. The Viennese always find
 a reason to celebrate, and sometimes the whole city is involved in these
 activities.

 In addition to the above mentioned sights, there are still a lot of
 others. Here is a brief selection: the Imperial Treasury, the Imperial
 Burial Vaults, the Ephesos museum, the Hundertwasserhaus, the Secession,
 the National Libary, the Naschmarkt (with flea market every Saturday
 morning), Jugendstil (Art Nouveau) houses, the Lainz game park, and many
 more.

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

1.2 The Technische Universit\"at Wien

 The Technische Universit\"at Wien dates back to the beginning of the last
 century. For some historical data see

        http://info.tuwien.ac.at/tuwien/historye.htm

 It is situated right in the center of Vienna at the Karlsplatz, with
 additional buildings nearby.

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

1.3 The Viennese Coffee House

 The Viennese coffee house is synonymous with easy-going cosiness the world
 over. It is a place in which to exchange ideas and meet people. This is
 the perfect spot in which to relax, chat, ponder, read newspapers
 (traditional Viennese cafes carry international newspapers) or to enjoy
 the gentle Viennese way of life over a piece of apple strudel or
 Sachertorte. We suggest you visit some of them:

        Cafe Havelka (with student atmosphere)
        Cafe Central (expensive, but with tradition), Herrengasse
        Cafe Griensteidl (old style, but new), Michaelerplatz
        Cafe Museum (meeting place of the Vienna Circle, close to
                the conference site), Operngasse
        Cafe Schwarzenberg, Schwarzenbergplatz
        Cafe Diglas, Wollzeile

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

1.4 Restaurants (close to the conference site)

 We can advice the following restaurants for lunch breaks:

        Restaurant Smutny, Elisabethstra\ss e 8, 1010 Vienna
                (Viennese dishes, very good quality, expensive but
                special prices for lunch menus)
        Pizzeria Il Mondo, Paniglgasse 11, 1040 Vienna
                (Italian dishes, good quality, medium prices)
        Land des L\"achelns, Paniglgasse 15, 1040 Vienna
                (Chinese dishes, good quality, medium prices)
        Restaurant Ran, Favoritenstra\ss e 8, 1040 Vienna
                (Japanese dishes, very good quality, medium prices)
        Canteen of the Technische Universit\"at Wien, Wiedner
                Hauptstra\ss e 8-10, 1040 Vienna
                (medium quality, cheap prices)

 But your best choice might be a visit to the

        Naschmarkt, two blocks from the Technische Universit\"at Wien,
                which is Vienna's most famous market offering lunch
                snacks and dishes from all over the world for very
                good prices.

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

1.5 Public Transport and Vienna Airport Service

For information on the Public Transport System of Vienna please see

        http://www.atnet.co.at:80/toursys/daten/bundesl/wien/
                                        useful-info/publtran.htm

 The Austrian Railroads operate a bus shuttle service from the Airport to
 the City Air Terminal (approx. every half hour) and the main train
 stations (approx. every hour). The City Air Terminal and the train
 stations are all connected to the subway system.

 A transfer by taxi from the Vienna Airport to some location in the center
 of Vienna will be approx. ATS 300.

 Participants will be mailed folders informing about the Public Transport
 and Vienna Airport Service by mid of August.

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

1.6 Banks

 Viennese banks are open on Mon, Tue, Wed and Fri 8am--12.30pm,
 1.30pm--3.00pm and Thu 8am--12.30pm, 1.30pm--5.30pm.
 Foreign currency can also be exchanged at many travel agencies and on any
 day at the bureau de change at Westbahnhof (7am--10pm) and S\"udbahnhof
 (6:30am--10pm) railway station (with a bad rate) and at the Central Post
 Office (24 hours). There are automatic change machines at Schottenring 1,
 Operngasse 8 and Schwedenplatz.

........................................................................
#########################################################################
-------------------------------------------------------------------------

2. Scientific Program

 The colloquium is intended for logicians and computer scientists
 interested in the proof-theoretic and algorithmic aspects of logic.
 The scientific program will consist of 7 invited lectures and
 20 contributed talks, which were selected from 38 submissions.
 The proceedings volume will be published by Springer-Verlag in the
 Lecture Notes in Computer Science series. The proceedings
 will be available at the conference.

 All the talks will take place at the Technische Universit\"at Wien,
 A-1040 Vienna, Karlsplatz 13, in the Prechtlsaal lecture hall.

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

SUNDAY, August 24

 18.00-22.00 Registration and Welcome Reception
                at the Technische Universitaet Wien
                A-1040 Vienna, Karlsplatz 13, Festsaal

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

MONDAY, August 25

 9.00-9.30 Opening Address
                Petr Hajek (Czech Academy of Sciences)
                   President of the Kurt Goedel Society
                Alexander Leitsch (Technische Universitaet Wien)
                   Programm Committee Chairman

 9.30-10.30 Session 1: Invited Lecture
                J.A.Robinson (USA)
                   Informal Rigor and Mathematical Understanding

 10.30-11.00 Coffee Break

 11.00-12.00 Session 2: Contributed Paper
                N. Preining (Technische Universitaet Wien)
                   Sketch-as-Proof
                L. Beklemishev (Steklov Institute of Mathematics, Moscow)
                   Parameter Free Induction and Reflection

 12.00-14.00 Lunch

 14.00-15.00 Session 3: Invited Lecture
                W. Buchholz (Universitaet Muenchen)
                   Explaining Gentzen-Takeuti Style Consistency Proofs
                   within Infinitary Proof Theory

 15.00-15.30 Coffee Break

 15.30-17.00 Session 4: Contributed Paper
                A. Setzer (Universitaet München)
                   Translating Set Theoretical Proofs into Type
                   Theoretical Programs
                R. Pliuskevicius (Institute of Mathematics and Informatics,
                   Lithiuania)
                   On Completeness and Decidability of a Restricted First
                   Order Linear Temporal Logic
                D. Basin, S. Matthews, L. Vigano (Max-Planck Institut fuer
                   Informatik, Saarbrücken)
                   A New Method for Bounding the Complexity of Modal
                   Logics

 17.15 Kurt Gdel Society General Assembly

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

TUESDAY, August 26

 9.00-10.00 Session 5: Invited Lecture
                W. Carnielli (Campinas)
                   Ultrafilter Logic and Generic Reasoning

 10.00-10.30 Coffee Break

 10.30-12.00 Session 6: Contributed Paper
                U. Egly (Technische Universitaet Wien), K. Genther
                   (Medizinische Universitaet zu Luebeck)
                   Structuring of Computer-Generated Proofs by Cut
                   Introduction
                Ch. Pape, R. Haehnle (Universitaet Karlsruhe)
                   Restart Tableaux with Selection Function
                R. Matzinger (Technische Universitaet Wien)
                   Comparing Computational Representations of Herbrand
                   Models

 12.00-14.00 Lunch Break

 14.00 Vienna sight-seeing tour

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

WEDNESDAY, August 27

 9.00-10.00 Session 7: Invited Lecture
                L. Bachmair (Stony Brook, New York)
                   Paramodulation and Superposition - Basic Techniques
                   for Equational Theorem Proving

 10.00-10.30 Coffee Break

 10.30-12.00 Session 8: Contributed Paper
                P.C. Gilmore (University of British Columbia, Vancouver)
                   Consistency and Completeness of NaDSyl
                M. Veanes (Uppsala University)
                   The Undecidability of Simultaneous Rigid E-Unification
                   with Two Variables
                D.E. Willard (SUNY Albany)
                   The Tangibility Reflection Principle for Self-Verifying
                   Axiom Systems

 12.00-14.00 Lunch Break

 14.00-15.00 Session 9: Invited Lecture
                 T. Tammet (University of Goeteborg)
                   Resolution, Inverse Method and the Sequent Calculus

 15.00-15.30 Coffee Break

 15.30-17.00 Session 10: Contributed Paper
                 V.E. Plisko (Moscow State University)
                   Two Semantics and Logics Based on the Goedel
                   Interpretation
                T. Polacik (University of Silesia, Katowice)
                   Propsitional Quantification in Intuitionistic Logic
                 V. Khakhanian (Moscow State University)
                          Markov's Rule is Admissible in the Set Theory with
                   Intuitionistic Logic

 18.30 Conference Dinner

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

THURSDAY, August 28

 9.00-10.00 Session 11: Invited Lecture
                 J. Tiuryn (University of Warsaw)
                         Subtyping over a Lattice

 10.00-10.30 Coffee Break

 10.30-12.00 Session 12: Contributed Paper
                  Hongwei Xi (Carnegie Mellon University, Pittsburgh)
                   Upper Bounds for Standardizations and an Application
                 L. Tortora de Falco (Universit\'e Paris~VII)
                        Denotational Semantics for Polarized (but
                   Non-Constrained) LK by means of the Additives
                  A. Ciabattoni (Universit\`a di Milano), D. Luchi
                   (Universit\`a di Siena)
                          Two Connections between Linear Logic and Lukasiewicz
                   Logic

 12.00-13.00 Lunch Break

 13.00 Excursion to the Wachau

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

FRIDAY, August 29

 9.00-10.00 Session 13: Invited Lecture
                  S. Buss (Univ. of California, San Diego)
                   title to be announced

 10.00-10.30 Coffee Break

 10.30-12.00 Session 14: Contributed Paper
                  J.A.Makowsky, E. Rosen (Technion-Israel Institute of
                   Technology, Haifa)
                          Invariant Definability
                A.P.Lisitsa, V.Yu.Sazonov (Program Systems Institute,
                   Russian Acad. of Sci., Pereslavl-Zalesski, Russia)
                   From World-Wide Web to Bounded Hyperset Theory
                B. Borchert, F. Stephan (Universitaet Heidelberg)
                   Looking for an Analogoue of Rice's Theorem in Circuit
                   Complexity Theory

 12.00-12.15 Closing Address

........................................................................
#########################################################################
-------------------------------------------------------------------------

3. Social and Other Events

 In addition to the scientific program, the following activities will
 take place during the meeting:

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

3.1 Welcome Reception

 On Sunday evening, August 24, a welcome reception with be held at the
 Festsaal of the Technische Universit\"at Wien, A-1040 Vienna,
 Karlsplatz 13. Refreshments will be served.

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

3.2 Annual General Assembly of the Kurt G\"odel Society

 The general assembly of the Kurt G\"odel Society will take place at the
 close of the Monday session.

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

3.3 Vienna Sight-Seeing Tour

 On Tuesday afternoon August 26, participants have the opportunity of a
 guided sight-seeing tour through Vienna including a visit to the
 Sch\"onbrunn Castle, which used to be the summer residence of the royal
 family.

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

3.4 Conference Dinner

 The conference dinner on Wednesday evening, August 27, will take the
 participants to one of the most famous Viennese institutions:
 the ``Heurigen''. These small restaurants typically situated in the
 outskirts of Vienna, where grapes are grown, offer wine and a range of
 Viennese hot and cold dishes.

 The {\em Weinbau-Heuriger Sirbu} is situated on the slopes of the
 {\em Kahlenberg} and offers marvelous views of the winegardens in the
 {\em Wienerwald} (woods covering the western part of Vienna) on to the
 Danube.

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

3.5 Excursion to the ``Wachau''

 The Thursday afternoon-excursion will take the participants to a very
 famous Austrian region some 60 miles west of Vienna: the Wachau. Apart
 from the wine growing, the Wachau is also known for being the most
 scenic part of the Danube valley.

 The excursion will include a visit to the convent of Melk founded in the
 11th century. The convent is said to be the epitome of Austrian baroque
 convents and its impressive library contains about 1.200 medieval
 manuscripts.

 In the evening participants will have the possibility to take their meal
 in one of the cosy and genuine taverns of D\"urnstein. This town is well
 known for the its former fortress whose ruins 150 meters above the town
 can still be visited. The legend tells that Richard the Lionhearted was
 imprisoned there for 12 years during the 12th century.

 The fee for the excurion to the Wachau is ATS 540 and is not included in
 the conference registration fee.

........................................................................
#########################################################################
-------------------------------------------------------------------------

4. Registration and Fees

 Registration will take place on Sunday evening, August 24,
 at the Technische Universitaet Wien. The registration fee rates for
 the meeting are as follows:

  ------------------------------------------------------
  Fee for registration | By June 20 | after June 20
  ------------------------------------------------------
  Nonmembers | ATS 3.000,- | ATS 4.000,-
  Members | ATS 2.500,- | ATS 3.500,-
  Student-Nonmembers
  (max. 24 years of age)| ATS 900,- | ATS 1.200,-
  Student-Members
  (max. 24 years of age)| ATS 700,- | ATS 1.000,-
  Accompanying persons | ATS 900,- | ATS 1.200,-
  ------------------------------------------------------

The fee includes:

  1. The social events (welcome reception, Vienna sight-seeing tour,
        conference dinner) except the excursion.
  2. Refreshments at the breaks between talks.
  3. A copy of the Proceedings of the meeting, which will appear
        as a volume in the LNCS. The Proceedings will be available
        at the conference. The registration fee for students does
        not include a copy of the Proceedings.

To register for the meeting, fill out the registration form and mail it to:

                 KGC'97
                 Technische Universitaet Wien
                 Institut fuer Computersprachen
                 Resselgasse 3/ e$ 185.2$
                 A-1040 Vienna, Austria

                Phone: +43 (1) 58801-4088
                Fax: +43 (1) 504 15 89
                email: kgc97@logic.tuwien.ac.at

  As an alternative, registration can be effected by sending notice to
  the email address

                       kgc97@logic.tuwien.ac.at

 In the event of cancellation, payment will be refunded, less a cancellation
 fee of ATS 500,-, provided the cancellation is received in writing at the
 conference office by August 15.

........................................................................
#########################################################################
-------------------------------------------------------------------------

5. Payment of Registration Fees (Only)

 Payment of fees must accompany the registration form except for participants
 from Eastern Europe whose payment will be accepted also directly at the
 conference. We offer the following forms of payment:

  1. The Kurt Goedel Society can accept
       
          * Mastercard,
                 * EuroCard, and
                 * Visa credit cards
        
        Please make sure that your payment carries your name and a reference
        to the KGC'97. We have frequently received payment without such
        information, and it required a significant effort to trace the payer.

  2. You can send payment by bank transfer to our KGC'97-account:

                                 KGC 97,
                         account no. 0964-61777/00
             at the Creditanstalt Bankverein, Bank code 11000.

  3. In case you cannot take advantage of the above options you can send
     payment to
        
                Kurt-Goedel-Gesellschaft,
                Technische Universitaet Wien,
                Institut fuer Computersprachen E185.2,
                Resselgasse 3/1,A-1040 Vienna, Austria

 Note that all payments must be in ATS. Please make sure that your
 payment carries your name and a reference to the KGC'97.

........................................................................
#########################################################################
-------------------------------------------------------------------------

6. Accomodation

 The Organizing Committee has entrusted the travel agency Pegasus Incoming
 with the booking of hotel rooms.
 Pegasus Incoming offers the following hotels:
 
   ------------------------------------------------------------
   Hotel | Single a | Double a
   ------------------------------------------------------------
   Hotel Rathauspark * * * *
         (centrally located) | ATS 1.200,- | ATS 1.600,-
   Hotel Austrotel * * * * | ATS 830,- | ATS 1.080,-
   Hotel Artis * * * (*) | ATS 775,- | ATS 950,-
   Hotel Academia * * | ATS 600,- | ATS 800,-
   ------------------------------------------------------------

 To make a reservation, fill out the accomodation booking form and mail it
 to:

         Pegasus Incoming
         Haydngasse 21
         A-1060 Vienna, Austria
        
        Phone: +43 (1) 59933-206
        Fax: +43 (1) 59933-48
        email: pegasvie@ping.at

 Booking is possible for the period from 24th till 29th of August 1997.
 Any other date is on request.

 Deadline for the hotel reservation: July 14th,1997, afterwards individual
 solutions will be sought

........................................................................
#########################################################################
-------------------------------------------------------------------------
7. Payment for Accomodation (Only)

 Payment for Accomodation must accompany the accomodation booking form. Pegasus
 Incoming offers the following forms of payment:

  1. You can send payment by bank transfer free of charge to the account:

                        Pegasus Incoming,
                     account no. 052 - 07797
        Die Erste Oesterreichische Sparcasse, Bank code 20111.

  2. Pegasus Incoming can accept

                 * Diners,
                 * Visa,
                 * Mastercard/Eurocard, and
                 * American Express credit cards

 Note that all payments must be in ATS. Please make sure that your
 payment carries your name and a reference to the KGC'97.
        
 The terms of business of Pegasus Incoming are:

                 * The Hotel reservation is valid only if we have received full
            pre-payment within the above mentioned date on our account.
            As soon as we have received the payment we will send the hotel
            voucher and original invoice.
                 * Change of reservation: after sending original invoice and
            voucher we will charge for each modification and each booking
            ATS 150,- manipulation fee.
                 * Cancellation conditions: in case of cancellation we kindly
            ask to return the hotel voucher to Pegasus Incoming.
                 * Cancellation fee:
        
                         - For cancellation until July 14th, 1997:
                        ATS 300,- handling fee,
                        rest payment will be returned.
                         - For cancellation after July 14th, 1997:
                        50% of the total amount will be charged.
                         - For cancellation after July 28th, 1997:
                        75% of the total amount will be charged.
        
                 * The organizer acts only as agent and cannot be held responsable
            for any losses or damages on persons or subjects whatever the
            reasons may be. The last version of the Austrian law shall be
            applied in all cases. (ARB 92)
          * COURT OF VIENNA
.........................................................................
#########################################################################
-------------------------------------------------------------------------

                                       KGC'97
                                   REGISTRATION FORM

 First Name: ....................................................
 Last Name: ....................................................
 Affiliation: ....................................................
 Mailing Address: ....................................................
 Phone(s): ....................................................
 Fax: ....................................................
 E-mail: ....................................................
 Number of accompanying persons: ............

 RATES: Fees indicated below are in Austrian Schillings. Please indicate
         the applicable rate by circling it on the table, and also writing
         it in.

        ------------------------------------------------------
        Fee for registration | By June 20 | After June 20
        ------------------------------------------------------
        Nonmembers | ATS 3.000,- | ATS 4.000,-
        Members | ATS 2.500,- | ATS 3.500,-
        Student-Nonmembers
        (max. 24 years of age) | ATS 900,- | ATS 1.200,-
        Student-Members
        (max. 24 years of age) | ATS 700,- | ATS 1.000,-
        Accompanying persons | ATS 900,- | ATS 1.200,-
        ------------------------------------------------------

 Amount total: ....................

 NOTE: Student registration must be accompanied by proof of birth date such
       as a copy of your passport.
 
 Please charge my: ( ) Visa account ( ) MasterCard/EuroCard account
 Card Number: ....................... Expiration date: .................

 If you choose to pay your registration fee by VISA/Mastercard/EuroCard
 please print this form, fill it in and mail it for security reasons
 (email is generally unsafe) via physical mail to
                     KGC'97
                 Technische Universitaet Wien
                Institut fuer Computersprachen
                  Resselgasse 3/e185.2
                A-1040 Vienna, Austria.

 Date: ....................... Signature:...............................

........................................................................
#########################################################################
-------------------------------------------------------------------------

        To: PEGASUS INCOMING, Haydngasse 21, A-1060 Vienna.
        Tel: +43/1/59933-206, Fax: +43/1/59933-48, Email: pegasvie@ping.at

                                       KGC'97
                         ACCOMODATION - BOOKING FORM

 First Name: ...........................................
 Last Name: ...........................................
 Street: ...............................................................
 Zip Code: ........ City: ................. Country: .....................
 Phone(s): .............................. Fax: ...........................
 E-mail: ...........................................
 Names of accompanying persons: ............................................
                                ............................................
                                ............................................

 HOTEL RESERVATION: Prices indicated below are in Austrian Schillings.
        Please indicate the applicable price by circling it on the table, and
        also writing it in. You may choose between the following hotels in
        different categories. Booking is possible for the period from 24th
        till 29th of August 1997. Any other date is on request.

 ___________________________________________________________________________
 ---------------------------------------------------------------------------
                                HOTEL RESERVATION
 ___________________________________________________________________________
 ---------------------------------------------------------------------------
 Hotel | Single | Double nights ATS
 ---------------------------------------------------------------------------
 Hotel Rathauspark * * * * | ATS 1.200,- | ATS 1.600,- * =
 Hotel Austrotel * * * * | ATS 830,- | ATS 1.080,- * =
 Hotel Artis * * * (*) | ATS 775,- | ATS 950,- * =
 Hotel Academia * * | ATS 600,- | ATS 800,- * =
 ---------------------------------------------------------------------------
 Arrival: | Departure:
 ---------------------------------------------------------------------------
 Deadline for the hotel reservation: July 14th,1997
 ___________________________________________________________________________
 ---------------------------------------------------------------------------
 ___________________________________________________________________________
 ---------------------------------------------------------------------------
                       OFFICIAL AND OPTIONAL SOCIAL PROGRAM
 ___________________________________________________________________________
 ---------------------------------------------------------------------------
 Social Events | | Price Persons ATS
 ---------------------------------------------------------------------------
 Welcome Reception, Sun, Aug 24th | o | * =
 City tour, Tue, Aug 26th | o | * =
 Conference dinner, Wed, Aug 27th | o | * =
 Danube Valley, Thu, Aug 28th | o | ATS 540,- * =
 ___________________________________________________________________________
 ---------------------------------------------------------------------------
                                                 Total Sum | =
 ___________________________________________________________________________
 ---------------------------------------------------------------------------

 PAYMENT:
          o Banktransfer free of charge to our
                account no. 052 - 07797,
                  Bank code: 20111 DIE ERSTE ÖSTERREICHISCHE SPARCASSE,
                Graben 21, 1010 Vienna.

        o Payment by credit card: Please give us the following details:

          o Diners o Visa o Mastercard/Eurocard o American Express
          Card Owner: .....................................
          Expiration date: .................................
          Card Number: .....................................

          The credit card owner gives authorization for payment from his
          account by signing this contract.
          
          Date: ............... Signature: ...............................

================================================================
                LATEX VERSION
================================================================
%% KGC'97 - CALL FOR PARTICIPATION

\documentclass[12pt]{article}
\setlength{\textwidth}{15cm}
\setlength{\textheight}{23cm}
\setlength{\topmargin}{0cm}
\setlength{\oddsidemargin}{.6cm}
\setlength{\evensidemargin}{.3cm}
\setlength{\parindent}{0cm}

\newlength{\lz}
\settowidth{\lz}{15}
\newcommand{\tb}[1]{\ttb#1\ttend}
\def\ttb#1.#2-#3.#4\ttend{\makebox[\lz][r]{#1}.\makebox[\lz][l]{#2} -- %
                         \makebox[\lz][r]{#3}.\makebox[\lz][l]{#4}}
\newcommand{\ta}[1]{\tta#1\ttend}
\def\tta#1.#2\ttend{\makebox[\lz][r]{#1}.\makebox[\lz][l]{#2}}

\newlength{\talkwidth}
\setlength{\talkwidth}{11.7cm} %*** Hier wird die Breite der Vortragsspalte
                            %*** eingestellt
\newlength{\abovetalk}
\setlength{\abovetalk}{3ex} %*** Das ist der Abstand zwischen der Grundlinie
                            %*** der ersten Zeile und der horizontalen Linie
                            %*** oberhalb der Vortragsankuendigung
\newlength{\belowtalk}
\setlength{\belowtalk}{1.4ex} %*** Das ist der Abstand zwischen der Grundlinie
                            %*** der letzten Zeile und der horizontalen Linie
                            %*** unterhalb der Vortragsankuendigung
\newlength{\betweentalk}
\setlength{\betweentalk}{.5ex} %*** Das ist der Extraabstand zwischen dem Autor
                            %*** und dem Vortragstitel
\newcommand{\talk}[2]%
   {\parbox[t]{\talkwidth}{\rule{0ex}{\abovetalk}#1\\[\betweentalk]%
                           {\em #2}%
                           \rule[-\belowtalk]{0mm}{-\belowtalk}}%
   }

\newlength{\abovetalkfriday}
\setlength{\abovetalkfriday}{2.45ex} %*** Das ist der Abstand zwischen der Grundlinie
                            %*** der ersten Zeile und der horizontalen Linie
                            %*** oberhalb der Vortragsankuendigung
\newlength{\belowtalkfriday}
\setlength{\belowtalkfriday}{1ex} %*** Das ist der Abstand zwischen der Grundlinie
                            %*** der letzten Zeile und der horizontalen Linie
                            %*** unterhalb der Vortragsankuendigung
\newlength{\betweentalkfriday}
\setlength{\betweentalkfriday}{.25ex} %*** Das ist der Extraabstand zwischen dem Autor
                            %*** und dem Vortragstitel
\newcommand{\talkfriday}[2]%
   {\parbox[t]{\talkwidth}{\rule{0ex}{\abovetalkfriday}#1\\[\betweentalkfriday]%
                           {\em #2}%
                           \rule[-\belowtalkfriday]{0mm}{-\belowtalkfriday}}%
   }

\begin{document}

\pagestyle{empty}

\begin{center}
\vspace*{4cm}
        {\Huge\bf KGC'97}\\
\vspace*{1.5cm}
        {\huge\bf Fifth Kurt G\"odel Colloquium\\
\vspace*{0.7cm}
        Computational Logic and\\[2ex]
        Proof Theory}\\[4ex]
\vspace*{0.1cm}
        {\Large\bf August 25--29, 1997\qquad Vienna, Austria\\
\vspace*{6cm}
                 CALL FOR PARTICIPATION}
\end{center}

\large
\newpage
{\bf Program Committee:}

\bigskip
\begin{tabular}{l@{}}
M. Baaz, Vienna\\
G. Gottlob, Vienna\\
J. Kraj\'\i{\v c}ek, Prague\\
A. Leitsch (chair), Vienna\\
D. Mundici, Milan\\
D. Plaisted, Chapel Hill\\
P. Pudl\'ak, Prague\\
P. Schmitt, Karlsruhe\\
A. Voronkov, Uppsala\\[.5cm]
\end{tabular}

\vfill
{\bf Organizing Committee:}

\bigskip
\begin{tabular}{l@{}}
M. Eibegger, Vienna\\
Ch. Ferm\"uller, Vienna\\
F. Gusel, Vienna\\
K. H\"orwein, Vienna (chair)\\
G. Moser, Vienna\\
K. Seyr, Vienna\\
H. Veith, Vienna (co-chair)\\
R. Zach, Berkeley\\[.5cm]
\end{tabular}

\vfill
{\bf The conference is sponsored by:}

\bigskip
\begin{tabular}{l@{}}
{\em Austrian Federal Ministry of Science and Transport}\\
{\em Vienna Town Planning Department}\\
{\em Vienna Convention Bureau}\\
{\em CA, Creditanstalt-Bankverein}.\\
\end{tabular}

\vfill

\newpage
\noindent
The Kurt G\"odel Society will hold its fifth
Kurt G\"odel Colloquium from Monday, August 25, to
Friday, August 29, 1997, in Vienna, Austria, where
Kurt G\"odel published his famous incompleteness
results.
KGC'97 is the fifth in a series of biennial colloquia
on logic, theoretical computer science, and philosophy
of mathematics. The first four colloquia took place in
Salzburg, Austria (1989), in Kirchberg am Wechsel, Austria (1991),
in Brno, Czech Republic (1993), and in Florence, Italy (1995).

\bigskip
\bigskip
{\small \tableofcontents}
\setcounter{page}{1}
\pagestyle{plain}

\section{General Information}

\subsection{The Town of Vienna}

Vienna was the residence of the Habsburg Dynasty---today it is a modern
metropolis at the heart of Europe.
It is the capital of Austria with a population of 1.596.700 and an
area of 160 square miles.
It houses a permanent seat of the United Nations and can be truly
called one of the most sought-after conference venues anywhere.

The Austrian capital belongs to the five most popular destinations in
European city tourism---and
 with good reason. Vienna's historical architecture, concentrated in the
inner city and along the
 Ringstrasse, has been largely preserved and skillfully restored. Even the
remains of a former
 Roman military camp dating back to the first century A.D. have been
rediscovered. Some
 churches, monasteries and historic buildings go back to the time of the
Babenberg dynasty. As the
 capital of the Habsburg empire, Vienna saw its heyday under the reigns of
Maria Theresia and
 Francis Joseph I. Baroque palaces, the Hofburg, Sch\"onbrunn and
Belvedere palaces, the
 manificent houses of the bourgeoisie and aristocracy give ample evidence
of the splendor of
 these epochs.

 From the turn of the century onwards life in this metropolis was
determined by an immensely rich
 and diverse culure: G\"odel, Freud, Hofmannsthal, Werfel, Schnitzler,
Kraus, Hoffmann, Loos, Olbrich,
 Wagner, Klimt, Kokoschka, and Schiele are just a few renowned names from
that time. As a
 center of musical life, Vienna had already won worldwide recognition and
fame due to the works
 of Mozart, Haydn, Beethoven, Brahms, Schubert, Strauss father and son,
Lanner, the Viennese
 waltz, and the golden era of the operetta. Today visits to the State
Opera, or to one of Vienna's traditional
 music halls, the Musikverein, or the Konzerthaus, belong to the standard
program of any music
 enthusiast. Vienna offers excellent evening entertainment; the two most
popular forms are the
 pubs and bars of the so-called Bermuda Triangle (one hip pub next to
aother) on
 the one hand, and the Heurigen, wine taverns at the foot-hills of the
Vienna Woods which offer
 the famous Viennese wines, on the other hand.

 When staying in Vienna, one should not forget to drop by the Prater
amusement park, and take
 a ride on the Giant Ferris Wheel. For cyclists and water sports
enthusiasts the Danube island
 offers all possibilities one can imagine. For relaxing and experiencing
true Austrian hospitality the
 Vienna Woods are the right place.
 Since the opening of the East, Vienna has more than ever before become an
important European hub.
 Numerous international organisations have their headquaters here, which is
best expressed by
 the UN-center on the left bank of the Danube.

 In case one just associates Vienna with the Spanish Riding School, the
Viennas Boy's choir, and
 St. Stephen's, one will be surprised by the wealth of museums and
galeries, the numerous events in the
 course of the Vienna Festival, the balls like the Opera Ball, and the year
round buzz in the
 Viennese cafes, pubs, restaurants and clubs. The Viennese always find a
reason to celebrate,
 and sometimes the whole city is involved in these activities.

 In addition to the above mentioned sights, there are still a lot of
others. Here is a brief selection:
 the Imperial Treasury, the Imperial Burial Vaults, the Ephesos museum, the
Hundertwasserhaus,
 the Secession, the National Libary, the Naschmarkt (with flea market every
Saturday morning),
 Jugendstil (Art Nouveau) houses, the Lainz game park, and many more.

\subsection{The Technische Universit\"at Wien}

The Technische Universit\"at Wien dates back to the beginning of the last
century. For some historical
data see
\begin{quote}
{\em http://info.tuwien.ac.at/tuwien/historye.htm}
\end{quote}
It is situated right in the center of
Vienna at the Karlsplatz, with additional buildings nearby.

\subsection{The Viennese Coffee House}

The Viennese coffee house is synonymous with easy-going cosiness the world
over. It is a place in
which to exchange ideas and meet people. This is the perfect spot in which
to
relax, chat, ponder, read newspapers (traditional Viennese cafes carry
international newspapers) or to enjoy the gentle Viennese way of life over
a
 piece of apple strudel or Sachertorte.
We suggest you visit some of them:

\begin{itemize}
\item Cafe Havelka (with student atmosphere)
\item Cafe Central (expensive, but with tradition), Herrengasse
\item Cafe Griensteidl (old style, but new), Michaelerplatz
\item Cafe Museum (meeting place of the Vienna Circle, close to the
conference site), Operngasse
\item Cafe Schwarzenberg, Schwarzenbergplatz
\item Cafe Diglas, Wollzeile
\end{itemize}

\subsection{Restaurants (close to the conference site)}

We can advice the following restaurants for lunch breaks:

\begin{itemize}
\item Restaurant Smutny, Elisabethstra\ss e 8, 1010 Vienna (Viennese dishes, very good quality, expensive but special prices for lunch menus)
%\item Brasserie Engl\"ander, Wiedner Hauptstra\ss e 15, 1040 Vienna (very good quality, expensive but special prices for lunch menus)
\item Pizzeria Il Mondo, Paniglgasse 11, 1040 Vienna (Italian dishes, good quality, medium prices)
\item Land des L\"achelns, Paniglgasse 15, 1040 Vienna (Chinese dishes, good quality, medium prices)
\item Restaurant Ran, Favoritenstra\ss e 8, 1040 Vienna (Japanese dishes, very good quality, medium prices)
\item Canteen of the Technische Universit\"at Wien, Wiedner Hauptstra\ss e 8-10, 1040 Vienna (medium quality, cheap prices)
\end{itemize}

But your best choice might be a visit to the

\begin{itemize}
\item Naschmarkt, two blocks from the Technische Universit\"at Wien, which is Vienna's most famous market offering lunch snacks and dishes from all over the world for very good prices.
\end{itemize}

\subsection{Public Transport and Vienna Airport Service}

For information on the Public Transport System of Vienna please see
\begin{quote}
{\small\em
http://www.atnet.co.at:80/toursys/daten/bundesl/wien/useful-info/publtran.htm}.
\end{quote}

The Austrian Railroads operate a bus shuttle service from the Airport to
the
City Air Terminal (approx. every half hour) and the main train stations
(approx. every hour). The City Air Terminal and the train stations are all
connected
to the subway system.

A transfer by taxi from the Vienna Airport to some location in the center
of Vienna
will be approx. ATS 300.

Participants will be mailed folders informing about the Public Transport
and Vienna
Airport Service by mid of August.

\subsection{Banks}

Viennese banks are open on Mon, Tue, Wed and Fri 8am--12.30pm,
 1.30pm--3.00pm and Thu 8am--12.30pm, 1.30pm--5.30pm.
Foreign currency can also be exchanged at many travel agencies and
 on any day at the bureau de change at Westbahnhof (7am--10pm) and
 S\"udbahnhof (6:30am--10pm) railway station (with a bad rate) and at
 the Central Post Office (24 hours).
 There are automatic change machines at Schottenring 1, Operngasse
 8 and Schwedenplatz.

\newpage
\section{Scientific Program}

The colloquium is intended for logicians and computer scientists
interested in the proof-theoretic and algorithmic aspects of logic.
The scientific program will consist of 7 invited lectures and
20 contributed talks, which were selected from 38 submissions.
The proceedings volume will be published by Springer-Verlag in the
{\em Lecture Notes in Computer Science} series. The proceedings
will be available at the conference.

All the talks will take place at the Technische Universit\"at Wien,
A-1040 Vienna, Karlsplatz 13, in the Prechtlsaal lecture hall.

\bigskip
\bigskip

\renewcommand{\arraystretch}{1.25}

{\normalsize

\noindent
\begin{tabular}{|l|p{\talkwidth}|} \hline
\multicolumn{2}{|c|}{{\bf SUNDAY, August 24}} \\ \hline\hline
\tb{18.00-22.00} & Registration and Welcome Reception\\ \hline
 & \talk{at the Technische Universit\"at Wien}%
        {A-1040 Vienna, Karlsplatz 13, Festsaal}\\ \hline
\end{tabular}

%\newpage

\bigskip
\bigskip
\noindent
\begin{tabular}{|l|l|}
\hline
   \multicolumn{2}{|c|}{{\bf MONDAY, August 25}} \\ \hline\hline
\tb{9.00-9.30} & Opening Address \\ \hline
 & \talk{Petr Hajek (Czech Academy of Sciences}%
        {President of the Kurt G\"odel Society}\\
 & \talk{Alexander Leitsch (Technische Universit\"at Wien)}%
        {Programm Committee Chairman} \\ \hline\hline
\tb{9.30-10.30} & Session 1: Invited Lecture\\ \hline
 & \talk{J.~A.~Robinson (USA)}%
        {Informal Rigor and Mathematical Understanding} \\ \hline\hline
\tb{10.30-11.00} & Coffee Break \\ \hline\hline
\tb{11.00-12.00} & Session 2: Contributed Paper\\ \hline
 & \talk{N. Preining (Technische Universit\"at Wien)}%
        {Sketch-as-Proof}\\ \hline\hline
 & \talk{L. Beklemishev (Steklov Institute of Mathematics, Moscow)}%
        {Parameter Free Induction and Reflection}\\ \hline\hline
\tb{12.00-14.00} & Lunch Break \\ \hline
\end{tabular}

%\newpage

\noindent
\begin{tabular}{|l|l|}
\hline
   \multicolumn{2}{|c|}{{\bf TUESDAY, August 26}} \\ \hline\hline
\tb{9.00-10.00} & Session 5: Invited Lecture\\ \hline
 & \talk{W. Carnielli (Campinas)}%
        {Ultrafilter Logic and Generic Reasoning}\\ \hline\hline
\tb{10.00-10.30} & Coffee Break \\ \hline\hline
\tb{10.30-12.00} & Session 6: Contributed Paper\\ \hline
 & \talk{U. Egly (Technische Universit\"at Wien),
        K. Genther (Medizinische Universit\"at zu L\"ubeck)}%
        {Structuring of Computer-Generated Proofs by Cut
        Introduction}\\ \hline\hline
 & \talk{Ch. Pape, R. H\"ahnle (Universit\"at Karlsruhe)}%
        {Restart Tableaux with Selection Function}\\ \hline\hline
 & \talk{R. Matzinger (Technische Universit\"at Wien)}%
        {Comparing Computational Representations of Herbrand
        Models}\\ \hline\hline
\tb{12.00-14.00} & Lunch Break \\ \hline\hline
\ta{14.00} & Vienna sight-seeing tour\\ \hline
\end{tabular}

\newpage

\noindent
\begin{tabular}{|l|l|} \hline
\multicolumn{2}{|c|}{{\bf WEDNESDAY, August 27}} \\ \hline\hline
\tb{9.00-10.00} & Session 7: Invited Lecture\\ \hline
 & \talk{L. Bachmair (Stony Brook, New York)}%
        {Paramodulation and Superposition - Basic Techniques
             for Equational Theorem Proving}\\ \hline\hline
\tb{10.00-10.30} & Coffee Break \\ \hline\hline
\tb{10.30-12.00} & Session 8: Contributed Paper\\ \hline
 & \talk{P.~C. Gilmore (University of British Columbia, Vancouver)}%
        {Consistency and Completeness of NaDSyl}\\ \hline\hline
 & \talk{M. Veanes (Uppsala University)}%
        {The Undecidability of Simultaneous Rigid E-Unification
        with Two Variables}\\ \hline\hline
 & \talk{D.~E. Willard (SUNY Albany)}%
        {The Tangibility Reflection Principle for Self-Verifying
        Axiom Systems}\\ \hline\hline
\tb{12.00-14.00} & Lunch Break \\ \hline\hline
\tb{14.00-15.00} & Session 9: Invited Lecture\\ \hline
 & \talk{T. Tammet (University of G\"oteborg)}%
        {Resolution, Inverse Method and the Sequent Calculus}\\ \hline\hline
\tb{15.00-15.30} & Coffee Break \\ \hline\hline
\tb{15.30-17.00} & Session 10: Contributed Paper\\ \hline
 & \talk{V.~E. Plisko (Moscow State University)}%
        {Two Semantics and Logics Based on the G\"odel
        Interpretation}\\ \hline\hline
 & \talk{T. Polacik (University of Silesia, Katowice)}%
        {Propsitional Quantification in Intuitionistic Logic}\\ \hline\hline
 & \talk{V.~Khakhanian (Moscow State University)}%
        {Markov's Rule is Admissible in the Set Theory with
        Intuitionistic Logic}\\ \hline\hline
\ta{18.30} & Conference Dinner\\ \hline
\end{tabular}

\newpage

\noindent
\begin{tabular}{|l|l|} \hline
\multicolumn{2}{|c|}{{\bf THURSDAY, August 28}} \\ \hline\hline
\tb{9.00-10.00} & Session 11: Invited Lecture\\ \hline
 & \talk{J. Tiuryn (University of Warsaw)}%
        {Subtyping over a Lattice}\\ \hline\hline
\tb{10.00-10.30} & Coffee Break \\ \hline\hline
\tb{10.30-12.00} & Session 12: Contributed Paper\\ \hline
 & \talk{Hongwei Xi (Carnegie Mellon University, Pittsburgh)}%
        {Upper Bounds for Standardizations and an Application}\\ \hline\hline
 & \talk{L. Tortora de Falco (Universit\'e Paris~VII)}%
        {Denotational Semantics for Polarized (but Non-Constrained)
        LK by means of the Additives}\\ \hline\hline
 & \talk{A. Ciabattoni (Universit\`a di Milano), D. Luchi
         (Universit\`a di Siena)}%
        {Two Connections between Linear Logic and Lukasiewicz
        Logic}\\ \hline\hline
\tb{12.00-13.00} & Lunch Break \\ \hline\hline
\ta{13.00} & Excursion to the ``Wachau''\\ \hline
\end{tabular}

\bigskip
\bigskip

\noindent
\begin{tabular}{|l|l|} \hline
\multicolumn{2}{|c|}{{\bf FRIDAY, August 29}} \\ \hline\hline
\tb{9.00-10.00} & Session 13: Invited Lecture\\ \hline
 & \talk{S. Buss (Univ. of California, San Diego)}%
        {title to be announced}\\ \hline\hline
\tb{10.00-10.30} & Coffee Break \\ \hline\hline
\tb{10.30-12.00} & Session 14: Contributed Paper\\ \hline
 & \talk{J.~A.~Makowsky, E. Rosen (Technion--Israel Institute of Technology, Haifa)}%
        {Invariant Definability}\\ \hline\hline
 & \talk{A.~P.~Lisitsa, V.~Yu.~Sazonov (Program Systems Institute,
        Russian Acad. of Sci., Pereslavl-Zalesski, Russia)}%
        {From World-Wide Web to Bounded Hyperset Theory}\\ \hline\hline
 & \talk{B. Borchert, F. Stephan (Universit\"at Heidelberg)}%
        {Looking for an Analogoue of Rice's Theorem in Circuit
        Complexity Theory}\\ \hline\hline
\tb{12.00-12.15} & Closing Address \\ \hline
\end{tabular}

}

\newpage

\section{Social and Other Events}

In addition to the scientific program, the following activities will
take place during the meeting:

\subsection{Welcome Reception}

On Sunday evening, August 24, a welcome reception with be held at the
Festsaal of the
Technische Universit\"at Wien, A-1040 Vienna, Karlsplatz 13. Refreshments
will be served.

\subsection{Annual General Assembly of the Kurt G\"odel Society}

The general assembly of the Kurt G\"odel Society will take place at the close of the
Monday session.

\subsection{Vienna Sight-Seeing Tour}

On Tuesday afternoon August 26, participants have the opportunity of a guided
sight-seeing tour through Vienna including a visit to the Sch\"onbrunn Castle,
which used to be the summer residence of the royal family.

\subsection{Conference Dinner}

The conference dinner on Wednesday evening, August 27, will take the participants to
one of the most famous Viennese institutions: the ``Heurigen''. These small restaurants
typically situated in the outskirts of Vienna, where grapes are grown, offer wine and
a range of Viennese hot and cold dishes.

The {\em Weinbau-Heuriger Sirbu} is situated on the slopes of the {\em Kahlenberg} and
offers marvelous views of the winegardens in the {\em Wienerwald} (woods covering the western part of
Vienna) on to the Danube.

\subsection{Excursion to the ``Wachau''}

The Thursday afternoon-excursion will take the participants to a very
famous Austrian region
some 60 miles west of Vienna: the Wachau. Apart from the wine growing, the
Wachau is also
known for being the most scenic part of the Danube valley.

The excursion will include a visit to the convent of Melk founded in the
11th century. The convent
is said to be the epitome of Austrian baroque convents and its impressive
library contains about
1.200 medieval manuscripts.

In the evening participants will have the possibility to take their meal in
one of the cosy and
genuine taverns of D\"urnstein. This town is well known for the its former
fortress whose
ruins 150 meters above the town can still be visited. The legend tells that
Richard the Lionhearted was
imprisoned there for 12 years during the 12th century.

The fee for the excurion to the Wachau is ATS 540 and is not included in the conference registration fee.

\newpage

\section{Registration and Fees}

Registration will take place on Sunday evening, August 24,
at the Technische Universit\"at Wien. The registration fee rates for
the meeting are as follows:
\begin{center}
{\small
\begin{tabular}{|l|c|c|} \hline
 & BY & AFTER\\
Fee for registration & June 20 & June 20\\ \hline\hline
Nonmembers & ATS 3.000,- & ATS 4.000,- \\ \hline
Members & ATS 2.500,- & ATS 3.500,- \\ \hline
Student-Nonmembers (max. 24 years of age)& ATS 900,- & ATS 1.200,- \\ \hline
Student-Members (max. 24 years of age)& ATS 700,- & ATS 1.000,- \\ \hline
Accompanying persons & ATS 900,- & ATS 1.200,- \\ \hline
\end{tabular}}
\end{center}
The fee includes:
\begin{enumerate}
\item The social events (welcome reception, Vienna sight-seeing tour,
        conference dinner) except the excursion.
\item Refreshments at the breaks between talks.
\item A copy of the Proceedings of the meeting, which will appear
        as a volume in the LNCS. The Proceedings will be available
        at the conference. The registration fee for students does
        not include a copy of the Proceedings.
\end{enumerate}
To register for the meeting, fill out the registration form and mail it to:
\begin{center}
\begin{tabular}{l@{\hspace{3pt}}l@{}}
\multicolumn{2}{l@{}}{KGC'97}\\
\multicolumn{2}{l@{}}{Technische Universit\"at Wien}\\
\multicolumn{2}{l@{}}{Institut f\"ur Computersprachen}\\
\multicolumn{2}{l@{}}{Resselgasse 3/{\sc e}$\mit 185.2$}\\
\multicolumn{2}{l@{}}{A-1040 Vienna, Austria}\\
Phone: & +43 (1) 58801-4088\\
Fax: & +43 (1) 504 15 89\\
email:& {\tt kgc97@logic.tuwien.ac.at}
\end{tabular}
\end{center}
As an alternative, registration can be effected by sending notice to
the email address
\begin{center}
       kgc97@logic.tuwien.ac.at
\end{center}
In the event of cancellation, payment will be refunded, less a cancellation
fee of~ATS~500,-, provided the cancellation is received in writing at the
conference office by August~15.

\section{Payment of Registration Fees (Only)}

Payment of fees must accompany the registration form except for participants
from Eastern Europe whose payment will be accepted also directly at the
conference. We offer the following forms of payment:
\begin{enumerate}
\item The Kurt G\"odel Society can accept
        \begin{itemize}
               \item Mastercard,
               \item EuroCard, and
               \item Visa credit cards
        \end{itemize}
        Please make sure that your payment carries your name and a reference
        to the {\bf KGC'97}. We have frequently received payment without such
        information, and it required a significant effort to trace the payer.
\item You can send payment by bank transfer to our {\bf KGC'97}-account:
\begin{center}
        KGC 97,\\
        account no. 0964-61777/00 \\
        at the Creditanstalt Bankverein, Bank code 11000.
\end{center}
\item In case you cannot take advantage of the above options you can send
         payment to
        Kurt-G\"odel-Gesellschaft,
        Technische Universit\"at Wien,
        Institut f\"ur Computersprachen~E185.2,
        Resselgasse~3/1,A-1040~Vienna, Austria
\end{enumerate}
{\bf Note} that all payments must be in ATS. Please make sure that your
        payment carries your name and a reference to the {\bf KGC'97}.

\newpage

\section{Accomodation}

The Organizing Committee has entrusted the travel agency Pegasus Incoming
with the booking of hotel rooms. Pegasus Incoming offers the following hotels:
\begin{center}
\begin{tabular}{|l|r|r|}
\hline
Hotel & Single \'{a} & Double \'{a}\\
\hline
Hotel Rathauspark * * * * (centrally located) &1.200,- & 1.600,-\\
Hotel Austrotel * * * * & 830,- & 1.080,-\\
Hotel Artis * * * (*) & 775,- & 950,-\\
Hotel Academia * * & 600,- & 800,-\\
\hline
\end{tabular}
\end{center}
To make a reservation, fill out the accomodation booking form and mail it to:
\begin{center}
\begin{tabular}{l@{\hspace{3pt}}l@{}}
\multicolumn{2}{l@{}}{Pegasus Incoming}\\
\multicolumn{2}{l@{}}{Haydngasse 21}\\
\multicolumn{2}{l@{}}{A-1060 Vienna, Austria}\\
Phone: & +43 (1) 59933-206\\
Fax: & +43 (1) 59933-48\\
email:& {\tt pegasvie@ping.at}
\end{tabular}
\end{center}
Booking is possible for the period from 24th till 29th of August 1997. Any other
date is on request.

Deadline for the hotel reservation: July 14th,1997, afterwards individual solutions will be sought

\newpage

\section{Payment for Accomodation (Only)}

Payment for Accomodation must accompany the accomodation booking form. Pegasus
Incoming offers the following forms of payment:
\begin{enumerate}
\item You can send payment by bank transfer free of charge to the account:
\begin{center}
        Pegasus Incoming,\\
        account no. 052 - 07797\\
        Die Erste \"Osterreichische Sparcasse, Bank code 20111.
\end{center}
\item Pegasus Incoming can accept
        \begin{itemize}
               \item Diners,
               \item Visa,
               \item Mastercard/Eurocard, and
               \item American Express credit cards
        \end{itemize}
\end{enumerate}
{\bf Note} that all payments must be in ATS. Please make sure that your
        payment carries your name and a reference to the {\bf KGC'97}.
        The terms of business of Pegasus Incoming are:
\begin{center}
        \begin{itemize}
               \item The Hotel reservation is valid only if we have received full pre-payment
within the above mentioned date on our account. As soon as we have received
the payment we will send the hotel voucher and original invoice.
               \item Change of reservation: after sending original invoice and voucher we will
charge for each modification and each booking ATS 150,- manipulation fee.
               \item Cancellation conditions: in case of cancellation we kindly ask to return
the hotel voucher to Pegasus Incoming.
               \item Cancellation fee:
                \begin{itemize}
                       \item For cancellation until July 14th, 1997: ATS 300,- handling fee,
                        rest payment will be returned.
                       \item For cancellation after July 14th, 1997: 50\% of the total amount
                        will be charged.
                       \item For cancellation after July 28th, 1997: 75\% of the total amount
                        will be charged.
                \end{itemize}
               \item The organizer acts only as agent and cannot be held responsable for any
losses or damages on persons or subjects whatever the reasons may be. The
last version of the Austrian law shall be applied in all cases. (ARB 92)
        \item COURT OF VIENNA
        \end{itemize}
\end{center}

\newpage
\addtocontents{toc}{\protect \vspace*{.5cm}
{\bf Registration Form \hfill 9}\\[2ex]}

\setlength{\unitlength}{1cm}
\reversemarginpar
\marginpar{\raisebox{-25cm}[0ex][0ex]{%
\begin{picture}(.1,25)
        \multiput(0,0)(0,.8){40}{\line(0,1){0.5}}
        \put(10,26){\makebox(0,0){{\Large\bf KGC'97}}}
        \put(10,25){\makebox(0,0){{\bf REGISTRATION FORM}}}
        \put(2,23){\makebox(0,0)[bl]{First Name:}}
        \put(4.4,23){\line(1,0){4.6}}
        \put(10,23){\makebox(0,0)[bl]{Last Name:}}
        \put(12.3,23){\line(1,0){4.7}}
        \put(2,22){\makebox(0,0)[bl]{Affiliation:}}
        \put(4.1,22){\line(1,0){12.9}}
        \put(2,21){\makebox(0,0)[bl]{Mailing Address:}}
        \put(5.25,21){\line(1,0){11.75}}
        \put(2,20){\makebox(0,0)[bl]{Phone(s):}}
        \put(3.9,20){\line(1,0){5.1}}
        \put(10,20){\makebox(0,0)[bl]{Fax:}}
        \put(11,20){\line(1,0){6}}
        \put(2,19){\makebox(0,0)[bl]{E-mail:}}
        \put(3.5,19){\line(1,0){13.5}}
        \put(2,18){\makebox(0,0)[bl]{Number of accompanying persons:}}
        \put(8.4,18){\line(1,0){0.6}}
        \put(2,16.5){\makebox(0,0)[bl]{RATES: Fees indicated below are in Austrian
                        Schillings. Please indicate the}}
        \put(3.5,16){\makebox(0,0)[bl]{ applicable rate by circling it on the table,
                                        and also writing it in.}}
        \put(2.5,11.2){\makebox(0,0)[bl]{
\begin{tabular}{|l|c|c|} \hline
 & BY & AFTER\\
Fee for registration & June 20 & June 20\\ \hline\hline
Nonmembers & ATS 3.000,- & ATS 4.000,- \\ \hline
Members & ATS 2.500,- & ATS 3.500,- \\ \hline
Student-Nonmembers (max. 24 years of age)& ATS 900,- & ATS 1.200,- \\ \hline
Student-Members (max. 24 years of age)& ATS 700,- & ATS 1.000,- \\ \hline
Accompanying persons & ATS 900,- & ATS 1.200,- \\ \hline
\end{tabular}
}}
        \put(2,10.5){\makebox(0,0)[bl]{Amount total:}}
        \put(4.7,10.5){\line(1,0){4.3}}
        \put(2,9.5){\makebox(0,0)[bl]{NOTE: Student registration must be accompanied
                by proof of {\bf birth date} such as}}
        \put(3.45,9){\makebox(0,0)[bl]{a copy of your passport.}}
        \put(2,7.5){\makebox(0,0)[bl]{Please charge my:\hspace*{1.1cm}
                ( ) Visa account\hspace*{1.1cm} ( ) MasterCard/EuroCard account}}
        \put(2,6.8){\makebox(0,0)[bl]{Card Number:}}
        \put(4.8,6.8){\line(1,0){6}}
        \put(11.8,6.8){\makebox(0,0)[bl]{Expiration date:}}
        \put(15,6.8){\line(1,0){2}}
        \put(2,5.8){\makebox(0,0)[bl]{If you choose to pay your registration fee
                by VISA/Mastercard/EuroCard please}}
        \put(2,5.3){\makebox(0,0)[bl]{print this form, fill it in and mail it for
                security reasons (email is generally unsafe)}}
        \put(2,4.8){\makebox(0,0)[bl]{via physical mail to KGC'97, Technische
                Universit\"at Wien, Institut f\"ur Computer- }}
        \put(2,4.3){\makebox(0,0)[bl]{sprachen, Resselgasse 3/{\sc e}$\mit 185.2$,
                A-1040 Vienna, Austria.}}
        \put(2,2.5){\makebox(0,0)[bl]{Date:}}
        \put(3.15,2.5){\line(1,0){5.05}}
        \put(10,2.5){\makebox(0,0)[bl]{Signature:}}
        \put(12,2.5){\line(1,0){5}}

\end{picture}%
}
}

\newpage
\addtocontents{toc}{\protect \vspace*{.5cm}
{\bf Accomodation-Booking Form \hfill 10}\\}

\setlength{\unitlength}{1cm}
\reversemarginpar
\marginpar{\raisebox{-25cm}[0ex][0ex]{%
\begin{picture}(.1,25)
        \multiput(0,0)(0,.8){40}{\line(0,1){0.5}}
        \put(10,27.5){\makebox(0,0){To: PEGASUS INCOMING, Haydngasse 21, A-1060 Vienna.}}
        \put(10,27){\makebox(0,0){Tel: +43/1/59933-206, Fax: +43/1/59933-48,
                Email: pegasvie@ping.at}}
        \put(10,26){\makebox(0,0){{\Large\bf KGC'97}}}
        \put(10,25){\makebox(0,0){{\bf ACCOMODATION - BOOKING FORM}}}
        \put(2,23.9){\makebox(0,0)[bl]{First Name:}}
        \put(4.4,23.9){\line(1,0){4.6}}
        \put(10,23.9){\makebox(0,0)[bl]{Last Name:}}
        \put(12.3,23.9){\line(1,0){4.7}}
        \put(2,23.2){\makebox(0,0)[bl]{Street:}}
        \put(4.1,23.2){\line(1,0){12.9}}
        \put(2,22.5){\makebox(0,0)[bl]{Zip Code:}}
        \put(3.9,22.5){\line(1,0){1.4}}
        \put(5.7,22.5){\makebox(0,0)[bl]{City:}}
        \put(6.7,22.5){\line(1,0){4}}
        \put(11.2,22.5){\makebox(0,0)[bl]{Country:}}
        \put(13,22.5){\line(1,0){4}}
        \put(2,21.8){\makebox(0,0)[bl]{Phone(s):}}
        \put(3.9,21.8){\line(1,0){5.1}}
        \put(10,21.8){\makebox(0,0)[bl]{Fax:}}
        \put(11,21.8){\line(1,0){6}}
        \put(2,21.1){\makebox(0,0)[bl]{E-mail:}}
        \put(3.5,21.1){\line(1,0){13.5}}
        \put(2,20.3){\makebox(0,0)[bl]{Names of accompanying persons:}}
        \put(8.2,20.4){\line(1,0){8.8}}
        \put(2,19.7){\makebox(0,0)[bl]{HOTEL RESERVATION: Prices indicated below
                are in Austrian Schillings. Please}}
        \put(3,19.3){\makebox(0,0)[bl]{indicate the applicable price by circling
                it on the table, and also writing it in.}}
        \put(3,18.9){\makebox(0,0)[bl]{You may choose between the following hotels
                in different categories. Booking}}
        \put(3,18.5){\makebox(0,0)[bl]{is possible for the period from 24th till 29th
                of August 1997. Any other date}}
        \put(3,18.1){\makebox(0,0)[bl]{is on request.}}
        \put(2,8){\makebox(0,0)[bl]{
\begin{tabular}{|l|r|rcp{1cm}cp{1.4cm}|}
\hline
\multicolumn{7}{|c|}{HOTEL RESERVATION}\\
\hline
\hline
Hotel &Single &Double &&nights &&ATS\\
\hline
Hotel Rathauspark * * * * &1.200,- & 1.600,- &$*$& &$=$&\\
Hotel Austrotel * * * * & 830,- & 1.080,- &$*$& &$=$&\\
Hotel Artis * * * (*) & 775,- & 950,- &$*$& &$=$&\\
Hotel Academia * * & 600,- & 800,- &$*$& &$=$&\\
\hline
Arrival: & \multicolumn{6}{l|}{Departure:}\\
\hline
\multicolumn{7}{|l|}{Deadline for the hotel reservation: July 14th,1997}\\
\hline
\hline
\multicolumn{7}{|c|}{OFFICIAL AND OPTIONAL SOCIAL PROGRAM}\\
\hline
\hline
Social Events & & Price &&Persons &&ATS\\
\hline
\hline
Welcome Reception, Sun, Aug 24th& $\bigcirc$& & $*$& &$=$&\\
City tour, Tue, Aug 26th & $\bigcirc$& & $*$& &$=$&\\
Conference dinner, Wed, Aug 27th& $\bigcirc$& & $*$& &$=$&\\
Danube Valley, Thu, Aug 28th & $\bigcirc$&540,-&$*$& &$=$&\\
\hline
\hline
\multicolumn{5}{|r|}{Total Sum} &$=$&\\
\hline
\hline
\end{tabular}
}}
        \put(2,7.7){\makebox(0,0)[bl]{PAYMENT:}}
        \put(2,7){\makebox(0,0)[bl]{$\bigcirc$ Banktransfer free of charge to
                our account no. 052 - 07797, Bank code: 20111}}
        \put(2.5,6.6){\makebox(0,0)[bl]{DIE ERSTE ÖSTERREICHISCHE SPARCASSE,
                Graben 21, 1010 Vienna.}}
        \put(2,6){\makebox(0,0)[bl]{$\bigcirc$ Payment by credit card: Please
                give us the following details:}}
        \put(2.5,5.4){\makebox(0,0)[bl]{$\bigcirc$ Diners\hspace*{0.8cm} $\bigcirc$
                Visa\hspace*{0.8cm} $\bigcirc$ Mastercard/Eurocard\hspace*{0.8cm}
                $\bigcirc$ American Express}}
        \put(2,4.7){\makebox(0,0)[bl]{Card Owner:}}
        \put(4.8,4.7){\line(1,0){6}}
        \put(11.8,4.7){\makebox(0,0)[bl]{Expiration date:}}
        \put(15,4.7){\line(1,0){2}}
        \put(2,4){\makebox(0,0)[bl]{Card Number:}}
        \put(4.8,4){\line(1,0){6}}
        \put(2,3.3){\makebox(0,0)[bl]{The credit card owner gives authorization
                for payment from his account by signing}}
        \put(2,2.9){\makebox(0,0)[bl]{this contract.}}
        \put(2,2.1){\makebox(0,0)[bl]{Date:}}
        \put(3.15,2.1){\line(1,0){5.05}}
        \put(10,2.1){\makebox(0,0)[bl]{Signature:}}
        \put(12,2.1){\line(1,0){5}}
\end{picture}%
}
}

\end{document}

-------------------------------------------------------------------
  KGC'97 phone: +43(1)58801-4088
  TU-Wien, E185/2 fax: +43(1)5041589
  Resselg. 3, A-1040 Wien email: kgc97@logic.tuwien.ac.at
-------------------------------------------------------------------



This archive was generated by hypermail 2b25 : Thu Apr 06 2000 - 16:19:18 MET DST