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.


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

A list of recommended accommodation facilities will be published soon!

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.