Types summer school'99: Theory and practice of formal proofs

Giens, France, August 30 - September 10, 1999

Venue

Conference Location

VVF Villagium "La Badine"
Presqu'île de Giens
83408 Hyères Les Palmiers
France
Tel : +33 (0)494.58.21.51
Fax : +33 (0)494.58.96.38

Looking out onto the Hyères island; GIENS has a delightful scenery and many unspoilt natural beauties : more than 34 hectares of pine forest and quiet inlets to explore
To know more about Hyères / Giens area, see here

The VVF Villagium where you will be staying is a holiday hotel (VVF means "Village Vacances Famille"). It offers a lot of activities (most of them free, but some with charge) :
  • Aerobics, jogging, tennis, introduction to archery, local crafts, nature trails, games
  • Scuba diving, mountain bike and bicycle hire, windsurfer rental, sea canoe hire, catamarans
  • Transportation

  • By Plane : Nearest Airport : TOULON / HYERES (small airport about 10 km from Giens) Nearest International Airport : NICE COTE D'AZUR (all the international airlines companies land in Nice) About 150 kms from Giens. From Nice go to Hières, then Giens.
  • By Train : Railway station : Hyères, 12 km from Giens. There are regular trains from Nice to Hyères.
  • By Bus :
  • From Nice to Hyères, there is a bus coast line called "Cars Phocéens" that runs every day from Monday to Saturday (except Sunday):
  • From Nice to Hyères 2 departures/day with two different bus stops :
    Downtown in Nice: 2 Place Masséna - 9.00 am and 16.30 pm
    From Nice Airport Terminal 1 Pier n° 4 - 9.15 am and 16.45 pm. Price is 130,00 FF and 85,00 FF for the students (student card must be shown)
  • From Hyères to Nice : 2 departures/day (except Sunday) from the coach station
    Hyères : 8.30 am / Nice airport Terminal 1 : 10.45 am / Nice downtown : 11.00 am
    16.30 pm/ Nice airport Terminal 1 : 18.45 pm / Nice downtown : 19.00 pm
    It takes about 2.15 hours to reach one town to the other one.
  • From Hyères to VVF Giens, there are regular buses either from the railway station or the coach station : line 67.
    Approximately every hour from 6.30 in the morning to 19.20 either from the railway station or from the coach station (Monday to Saturday) and from 6.30 to 18.30 on Sunday. Please ask for the timetable at one or the other starting point.
  • by Car : All major car rental companies are represented at the two airports.
    From Nice, take the direction "Marseille", then "Toulon", then either "presqu'ile de Giens" or "les iles Porqueroles". The VVF is located at the tip of the peninsula. Apr. 2h from Nice, 1h30 from Inria-Sophia.
  • Types Summer School Transportation

    The School will organize ONE shuttle from NICE Côte d'Azur Airport. The bus will wait for the participants at the International Arrival TERMINAL 1 - The bus driver will hold a sign written "TYPES SUMMER SCHOOL" and he will be standing in front of "EUROP CAR" desk inside the airport :
  • SHUTTLE TO GIENS : Sunday, August 29th, 1999 : 6.00 pm
    Please be aware that there will be no other shuttle to GIENS, so make sure that your flight arrive earlier this day if you plan to use it.
    Same shuttle will be organized at the end of the school:
  • SHUTTLE TO NICE AIRPORT : Saturday, September 11th, 1999 : 9.00 am
  • If you plan to use the shuttle, please fill in the item on the registration form.

    Tour

    The School will invite the students to a trip to the PORQUEROLLES ISLAND just 15 minutes by boat from the Giens peninsula.
    You will be able to discover ancien forts, a large variety of Mediterraneen plants, many crecks and bays. The village itself is delightful dominated by a mexican style church surrounded by giant eucalyptus trees.
    DATE for this trip: Sunday September 5th, from 10:30am to 5:30pm.
    Other nearest cities with exceptionnal scenery and landscapes to discover: St Tropez, St raphael, Bormes-les-Mimosas.

    Weather

    Open to the sea, Giens and the French Riviera in general are still warm and sunny during september – Average temperature : 22 degrees celsius. Rains are very rare.
    Monique.Simonetti@sophia.inria.fr