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.
Accommodation
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!
Superior double room: 153 €
Double room: 180 €
Executive design room: 282 €
Single room: 231 €
Superior double room: 251 €
Twin room: 183 €
Chambre double: 166 €
Superior room: 224 €
Double room: 147 €
Double room: 95 €
Double room: 101 €
Double room: 124 €
Dorm room 2 beds (mixed): 76 €
Single room: 117 €
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.
Venues
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!
