Sorbonne Université and IHP, Paris

Attending ETAPS Sorbonne Université and IHP, Paris

ETAPS 2023 will take place in Paris, France. The conferences and satellite events will be hosted at Sorbonne Université and IHP (Institut Henri Poincaré), respectively. They are located in the very centre of the city, in the famous historic district of Quartier Latin.

The new museum of mathematical sciences of IHP and the historical mathematics library are also in the same buildings as the satellite events. Several museums, churches and historical buildings can be visited in this area. The convenient location allows for accessing most places in Paris by public transport.

ETAPS 2023 is organised by the MeFoSyLoMa community, which gathers all researchers on formal methods for software and hardware systems in the Île-de-France region.

Orientation in the Campus

The plan of the campus where main conferences take place.

The plan of the campus


Here, you can find a list of recommended accommodation facilities, ranging from great hotels to economy-level hostels.

Below, you can find a list recommended hotels to stay during ETAPS 2023 in Paris. You are not required to use one of them. Please note the promotion code in some cases to get a special rate!

Double room: 135 €
Superior double room: 153 €
Code promo: PARIS5
Single room: 146 €
Double room: 180 €
Less expensive on booking
Superior single room: 199 €
Executive design room: 282 €
0/< 5
Code promo: PARIS
Double room: 230 €
Less than 10/15
More expensive on website
Double room: 231 €
Single room: 231 €
Superior double room: 251 €
Less than 10/10–15
Less expensive on website (30 to 50 €)
Single superior room: 188 €
Less than 10/10
Less expensive on website (minimum 50 €)
Double room: 183 €
Twin room: 183 €
Less expensive on website
Standard room: 264 €
Double room: 370 €
5/< 10
Standard room: 274 €
Less expensive on website
Double room: 258 €
Less expensive on website
Standard double room: 176 €
Less expensive on website
Classic room: 195 €
Less expensive on website
Chambre simple basique: 148 €
Chambre double: 166 €
Classic room: 206 €
Superior room: 224 €
Less expensive on website
Business single room: 138 €
Double room: 147 €
Less expensive on website
Single room (garden view): 141 €
Standard room: 80 €
Petite single room: 80 €
Double room: 95 €
Less expensive on website
Twin beds room: 97 €
Double room: 101 €
Single room: 107 €
Double room: 124 €
Dorm room 4 beds (mixed): 53 €
Dorm room 2 beds (mixed): 76 €
Mini single room: 108 €
Single room: 117 €
Toilettes et salle de bain communes

Student Scholarship

ETAPS e.V. and local organizers grant scholarships for (doctoral) students and young researchers to support their travel to and stay at ETAPS.


The scholarship is realized as a registration fee waiver, i.e., the scholarship means a free registration. For special cases when a student cannot get reimbursed for their travel by their university, we will consider offering a limited number of travelling scholarships tailored to the specific case and proven by respective bills. Preference will be given to students:

  • from countries where access to travel funds is difficult, and
  • being an author or a co-author of a paper at one of the four ETAPS main conferences.

The deadline for application is 10 February 2023. Applicants are required to submit a short application (max. 1 page) electronically as an ASCII text file. The application should contain the following information:

  • your name, affiliation, and e-mail address,
  • the name and e-mail address of your supervisor,
  • in the case you have a paper accepted to an ETAPS main conference, its title, the conference at which this paper will be presented, and whether you will be presenting the paper yourself or not,
  • a short explanation of the reason(s) why funding is required, indicating whether your university is providing any funding for your trip and to what extent, and any specific information useful for assessing your case,
  • indication whether you want to serve as a student volunteer.

Please be considerate, the stipends are not meant to simply improve the budget situation of the students’ supervisors, but to enable everyone to come to ETAPS when their participation is endangered by financial inequalities.

To apply, please send your application with the subject “ETAPS 2023 Scholarship” to our email.

If your application is accepted, you will receive a promotion code to register free of charge for ETAPS. If your application is rejected, you will be able to register at the early-deadline rate until the late deadline.


There are two venues for ETAPS 2023: The satellite events take place on Saturday and Sunday at Institut Henri Poincaré, 11 Rue Pierre et Marie Curie, while the main conferences take place from Monday to Thursday at Sorbonne Université, Campus de Pierre and Marie Curie.

Click on the map to reveal more!

Map of ETAPS 2023 venues