Date: 16-18 October 2022

Venue: La Résidence, 5 rue des Mousses, 88340 Le Val d’Ajol, France

How to get there? There are direct trains from Paris to Remiremont train station (East of France). A shuttle will be organized from Remiremont train station and the hotel on October 15 at 15:30, and from the hotel to Remiremont train station on October 19 at 15:00. If you want to take the shuttle, send a mail to Frédéric Blanqui.

Programme: Working in small groups on the development of tools for generating, handling or transforming Dedukti files.

Registration: Deadline: 18 September 2022. The number of participants is limited. If you want to participate, please contact Frédéric Blanqui. The cost of accommodation and meals is 134 euros/day/person. EuroProofNet can reimburse a limited number of people only. Check eligibility rules and reimbursement rules to get more details.

Organizer: Frédéric Blanqui

Participants: