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.
The plan of the campus where main conferences take place.
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!
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:
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:
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.