The CELTIQUE and ProVal teams of INRIA offer to host ITP 2013, the International Conference on Interactive Theorem Proving in Rennes, France.

Rennes offers excellent facilities and settings for hosting ITP 2013, and the INRIA research centre has a long tradition in the organization of international conferences. Last but not least, Rennes is Brittany's capital city; Brittany is of a well-known touristic region with world-class attractions (such as the Mont Saint-Michel, Saint Malo corsair city).

Rennes is a medium size city. It is located two hours away from Paris by the TGV (high-speed) train. Rennes runs an international airport located close to the city, with direct connections to most French cities, and optimized flight connection with most European cities. The conference venue will be a brand new conference centre built inside the INRIA premises. This is key to keep registration costs as low as possible, while taking advantage of the exciting life of this very dynamic city.

The CELTIQUE and ProVal teams participate to the INRIA major scientific priorities: “Programming: Security and Reliability of Computing Systems”. Both teams are developing a strong expertise in different fields that are relevant to the ITP community: program proof, decision procedures, formal verification of floating-point arithmetic, formal verification of compilers and static analyzers.


We offer to host ITP during the week starting on monday, July 22nd, on the Rennes University campus, in the INRIA premises.

Rennes is small enough to make public transportation options plentiful, and easy to use: buses, metro ... and even bicycles (Rennes is a good city for cycling enthusiasts). Rennes has an extensive local bus network. The University campus is located 3 km away from the centre of the city, with a direct bus connection (10 mn ride, a bus every 5 mn or so).

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.

Local arrangements will be handled by Elisabeth Lebret and Lydie Mabil.

Timing and programme

The conference will consist of 4 days of research presentations, invited talks, and poster sessions. As informal discussions are central to the conference, 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 after the main conference.
The new INRIA conference centre hosts a main lecture theatre and several smaller lecture rooms. Thus, several parallel workshops can be hosted if needed. The conference centre is also equipped to record the presentations so that they will be available on the conference website.


We will look for sponsors to keep the cost of attending the conference low. In particular, we will submit grant proposals to the CNRS, the Brittany regional council and Rennes University.

In addition to the scientific program, the schedule will include an excursion and conference dinner either to Mont Saint-Michel, the impressive "Wonder of the Western World" forming a tower in the heart of an immense bay invaded by the highest tides in Europe, or to Saint-Malo corsair city.

At the entrance of the Island is the medieval town with its ancient Burgher’s. After the Boulevard Gate and then the King’s Gate fortified with its portcullis comes the main street with its museums, shops and houses dating from the 15th and 16th centuries. Finally, there is the Grande Staircase whose majesty is a prelude to the Abbey and its Marvel. The abbey presents a wide panorama of medieval architectural styles from the XIth to the XVIth century.

Local information

Rennes is the capital of Brittany and is ideally situated at the heart of a dual carriageway network linking Brittany to Paris and Normandy and to the areas south of the Loire divide.

The city of Rennes is very pleasant with its parks and gardens and the delightful old town with its faithfully restored streets and squares, colourful traditional timber-framed houses and outstanding buildings by famous architects.

You'll find a great choice of restaurants, bars and pavement cafés in the old town and one of the largest markets in France is held on Saturday mornings. There you can find all kinds of French delicacies such as cheese, sea food, crêpes and galettes and everything else from flowers to fresh meet.

Rennes is relatively compact, and with a good public transport network you’ll find the main attractions and conference venues easily reached this way.

90 hotels are available in Rennes and its vicinity so, accommodation in a range of hotels of various standards in the city centre is possible. Prices range from 35 EUR/night in a cheap hotel up to 215 EUR/night in a more prestigious one. An average price is 60/70 EUR/night. Student housing may be available on the campus, but this will depend on the dates of the term exams. In all cases, Rennes youth hostel will be available to host students on small budgets (from 18.30 EUR/night, breakfast included). We will provide a list of recommended hotels and also a dedicated online booking website selecting hotels that are in the city centre, with a direct bus to the university campus. 

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