Inria Nancy and LORIA offer to host ITP 2016, the Seventh International Conference on Interactive Theorem Proving, in Nancy, France, from 22 to 26 August 2016 — alternatively, from 8 to 12 August 2016.

The main conference and the affiliated events will take place at the Inria Nancy – Grand-Est research center, in the LORIA building. Nancy is the main city in the region of Lorraine, France, and is close to Germany, Luxembourg, Belgium, the Netherlands, and Switzerland. Nancy is easy to reach from Paris airport by high-speed train but also from Frankfurt and other international airports.

Organizing Committee

The conference will be organized by

The organizers offer to chair or co-chair the conference. Should the steering committee entrust us with this responsibility, we would constitute the program committee to reflect the diversity of systems and applications, in the spirit of previous installments of ITP.

Both organizers are members of the Inria VeriDis team, distributed between Nancy and Saarbrücken and focusing both on interactive theorem proving (Isabelle and TLA+ Proof System) and automatic theorem proving (SPASS and veriT). VeriDis aims to exploit and further develop the advances and integration of theorem proving applied to the area of concurrent and distributed systems. Inria is a France-wide institute with eight research centers across the country. It is well known in our field as the home of the highly popular Coq proof assistant.

Venue

The LORIA building, home of Inria Nancy, is conveniently located along the T1 tram line. The trip from downtown Nancy takes less than half an hour, including a short walk on the Université de Lorraine campus. There are many hotels both downtown and closer to the venue, with very moderate prices (about 60 € per night). The LORIA has often hosted scientific events in the past, including FroCoS 2013 and TABLEAUX 2013.

The research center will not charge a fee for the use of its meeting facilities and will provide catering at reasonable prices. Thus, the conference fees are expected to be similar to recent installments of ITP. We will also look for sponsors, including Grand Nancy and Région Lorraine, who normally support such events.




        

Local Information

Nancy, located about 300 km east of Paris, is at 90 minutes by high-speed train (TGV) from Paris. There are direct trains to Nancy station from Paris-Est. Other high-speed trains connect Paris Charles-de-Gaulle (CDG) airport and other major French cities with the TGV Lorraine train station, located about 40 km from Nancy, which is reached by shuttle bus in about 40 minutes. Other trains reach Nancy from Strasbourg (and Switzerland and the south of Germany) and from Luxembourg and Metz (linking Nancy with Benelux and Germany).

By plane, Nancy is best reached through Paris CDG or Orly airports. Alternatives are Luxembourg, Frankfurt, and Strasbourg. Low-cost flights reach Basel-Mulhouse or Frankfurt-Hahn, but it can be more difficult to reach Nancy from these airports by public transportation. Metz-Nancy regional airport is located close to the TGV Lorraine station and is served by the same shuttle buses.

Program

The workshops will take place on Monday, 22 August (alternatively, 8 August). The main conference will follow form 23 to 26 August (alternatively, 9 to 12 August). In addition to the scientific program, the schedule will include an excursion and conference dinner. Our suggestion is to visit the Château du Haut-Kœnigsbourg in the Vosges area, followed by a tour of a wine cellar and the conference dinner. A possible alternative would be a Nancy city tour and hold the conference dinner on Place Stanislas.

Tourism

August is one of the best months to see Nancy. The sun is at its shiniest, and temperatures are normally around 20° to 25° Celsius. There are many places worth visiting in Nancy and around. We refer to the tourist office for a more exhaustive presentation of those places, and give here our very short list.

Other interesting cities in the area are Metz, Strasbourg, Luxembourg, and Verdun.