Logic-based Program Synthesis and Transformation 


Static Analysis Symposium 

Registration & Informations

  • Registration
  • Organizing secretariat
  • Accomodation
  • Hotel Prices
  • Arrival in Venice

  • Registration Form
  • Back to:

    SAS'99 Home Page
    LOPSTR'99 Home Page

    Registration fee

      before August 1, 1999 after August1, 1999
    Lit. 400'000
    Lit. 450'000
    Lit. 250'000
    Lit. 300'000
    Congress fee includes: congress kit, abstract book (either SAS or LOPSTR), coffee breaks, Social dinner.

    Cancellation of registration: Cancellation received before August 1, 1999 will be subject to a 30% administrative charge. There will be no refunds for cancellation received after that date.


    Organizing secretariat

    Via dei Tadi 21, 35139 Padova (I)
    Phone: +39 049 659330
    Facsimile: +39 049 8763081
    Email: keycong@protec.it info@keycongress.com


    Hotels facilities in Venice are more than adequate but not unlimited, due to the tourist peak season. The Organizing Secretariat has reserved hotel rooms of various categories: accommodation is guaranteed to those who make reservations within August 1, 1999.

    After that date all assistance will begiven according to availability.

    Please make your hotel reservation using the enclosed accommodation form: your reservation will be confirmed upon receipt of the registration and accommodation form together with the relevant payments.

    All accommodations and services will be confirmed on a "first come, first served" basis. Early reservation will ensure the widest possible choice. Should we not be able to cover an excessive demand we reserve the right to suggest an alternative.

    KEY CONGRESS also provides a limited number of low-cost hotels, University residences and religious guest houses; please note that most of them do not have a priavte bathroom.

    Applciation for this Category may be allocated to the next higher Category.

    Cancellation: Full refunds (excluding administration costs) will be due for cancellation made before August 1, 1999. For cancellation after this date no refunds will be made.


    Hotel Prices

    in Italian Lira
    Lit. 420.000
    Lit. 500.000
    Lit. 300.000
    Lit. 380.000
    Lit. 250.000
    These are indicative rates per room and per day and include continental breakfast and taxes.

    A deposit covering the first night of the accommodation chosen (corresponding to the maximun rate for each hotel category) together with the handling fee of Lit. 20.000 should be sent to KEY CONGRESS. The remaining nights will be paid directly to the hotel upon departure.

    Should the participants have a special hotel preference, we will try to please this request according to availability. Upon receipt of your reservation, a confirmation note will be issued informing of the name and address of the hotel reserved.

    Automated search and/or reservation of hotels in Venice can be done on the Internet, at the following web site: http://www.veniceinfo.it


    Arrival in Venice

    For participant arriving at Venice Marco Polo Airport on September 21, 1999 there will be a hostess located in front of the arrival exit who assist you and provide information on how to get transportation to Venice and to your hotel.

    For those arriving at the Airport on other dates please note the following:

    the Cooperativa S. Marco (Water transport) is the less expensive method of transportation directly to Piazza S. Marco: they have an office inside the Airport where you can buy tickets.

    The trip takes about 45 mins.

    If you prefer to take a water taxi, it will take you directly to your hotel and the trip will be much faster. A water taxi can carry several persons, depending on the luggage, and the average trip costs about Lit. 140.000.

    For participants arriving at the Railway station Venezia S. Lucia: public water busses (running regularly until midnight) and private water taxis are also available. if you arrive by car you should park your car at the Tronchetto Car Park. From there you can either catch a public water bus to the city center or a water taxi. Please disregard people offering free parking and cheap taxi transportation.

    A licensed taxi will always have a yellow sign with its registration number.

    The Congres venue of Ca' Dolfin, is located near the Railway Station "Santa Lucia" (see map) and can be reached from San Marco-Riva degli Schiavoni (few meters ahead from Hotel Danieli) by water bus no. 82 or 1.

    The workshop will be held in the main University Conference Hall, a wonderful lecture hall with furniture from the Venetian 1700's.

    Palazzo Ca' Dolfin
    Universita' Ca' Foscari di Venezia.
    Calle della Saoneria
    Dorsoduro, 3825/E

     Click here to see a map.


    The climate in September is usually very sunny, with temperatures raging 25°-30° C degrees.

    The evening tends to be fresh and the is a possibility of rain.

    Touristic information

    Venice is perhaps among the most beautiful cities in the world. It is easily reachable via an international airport. You can check the current flight schedule to/from Venice online .

    From here you can find some useful links  about Venice  http://www.portve.interbusiness.it  (made by Consorzio Venezia Ricerche).


    I    Organizing Committee
    e-mail:  sas99@dsi.unive.it