The LMV (Logic, Modelling & Verification) team of the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO, Université d'Orléans), the πr2 team of Inria and the CPR team of the Centre d’Étude et De Recherche en Informatique et Communications (CEDRIC, Cnam), offer to host ITP 2016, the International Conference on Interactive Theorem Proving in Orléans, France.

The LIFO research center hosts international conferences regularly: for example UCNC in 2012, WG in 2014, STACS in 2016.

Orléans offers excellent facilities for hosting ITP 2016. The conference venue will be the International Center for Research, a historical building renewed in 2014.

Orléans is the capital city of “Région Centre Val-de-Loire” where most of the Châteaux de la Loire are situated. Orléans is a medium size city. It is located one hour away from Paris Austerlizt train station. The city center is about two hours away from Orly and Charles de Gaulle airports.

The organizing teams are developing a strong expertise in different topics that are relevant to the ITP community: program proof, development of correct-by-construction parallel programs, automated theorem proving, programming languages semantics, proof theory, and the Coq proof assistant.

Venue

We offer to host ITP during the week starting on monday, July 18th in the International Center for Research, located in the city center of Orléans (unlike the main campus).

Most of the interesting and useful spots of Orléans are within a 20 minutes walk from the city center. Public transportation is easy to use: tramway, buses, bicycles, electric cars.

Organizing committee

The conference will be chaired by:

The Programme Committee will be constructed to provide a broad representation of the different interactive theorem proving systems and the major application areas.

Timing and programme

The conference will consist of 4 days of contributed talks, invited talks, and poster sessions. We will allow time between the formal sessions for attendees to mingle and converse. We expect workshops to take place during one or two days before or/and after the conference.

The new Internationcal Center for Research hosts a main lecture theatre and several small lecture rooms. Therefore, several parallel workshops can be hosted. The conference center is also equipped to record the presentations so that they can be made available on the conference website.

Finance

The University will not charge a fee for the use of its meeting facilities. In addition, we will look for sponsors to keep the cost of attending the conference low. We will submit grant proposals to Inria, CNRS, the regional council, the Loiret council, the city of Orléans and the Université d'Orléans.

In addition to the scientific program, the schedule will include an excursion to one of the Loire Valley Castles and conference dinner in a gourmet restaurant near it.

Local information

Orléans is a very old city. In the 3rd century BC, it was a hilltop Gallic oppidum called Cenabum. It was conquered and destroyed by Caesar in 52 BC, and rebuilt it became Aurelianum and as time passed, Orléans. Orléans is now the capital city of Région Centre Val-de-Loire. It is very pleasant with its delightful old town (it has the label “Ville d'art et d'histoire”, Town of Art and History), parks and gardens, and the banks of the Loire river.

Accommodation in a range of hotels of various standards and prices in the city centre is possible, at walkable distance from the conference venue. An average price is 60/70 EUR/night. Student housing may be available in the city center and on the main campus, but this will depend on the dates of the term exams. We will provide a list of recommended hotels.

July is one of the best periods with a shiny sun and temperatures between 20 and 25 degrees Celsius.