WG1 meeting
Organizer: Frédéric Blanqui
Date: 10-14 February 2025
Venue: Hôtel Beau Rivage, 20 rue de Villiers aux Choux 10400 Nogent-sur-Seine, France
How to get there? There are direct trains from Paris Gare de l’Est to Nogent-sur-Seine (for instance 09:42-10:38 and 11:42-12:40), and from Nogent-sur-Seine to Paris Gare de l’Est (for instance 14:20-15:16 and 15:20-16:19). The hotel is a 20-minutes walk from the train station.
Program: The goal is to discuss logic encodings and proof translation tools, taking advantage of the participation of experts on various languages and tools, to make progress on EuroProofNet objectives and deliverables.
Cost: The cost of accommodation and meals is about 160 euros/day/person. Participants have to make a bank transfer of half of the cost to Hôtel Beau Rivage in order to confirm their participation, and send a mail to aubeaurivage@wanadoo.fr and Frédéric Blanqui, with subject “EuroProofNet seminar 10-14 February 2025”, to inform us of the bank transfer. The second half will have to be paid at the hotel. It is possible to be reimbursed of the first half if the hotel is informed of the cancellation before January 27.
Participants (16): Frédéric Blanqui, Rishikesh Vaishnav, Melanie Taprogge, Théo Winterhalter, Anne Grieu, Alessio Coltellacci, Thomas Traversié, Ciaran Dunne, Claudio Sacerdoti Coen, Gabriel Hondet, Abdelghani Alidra, Jérémy Dubut, Bruno Barras, Michael Färber, Olivier Hermant, Nicolas Margulies
Monday 10 February (optional, for people arriving the day before the meeting):
| 12:45-14:00 | lunch |
| 14:00-16:00 | work session 1 |
| 16:00-16:15 | coffee break |
| 16:15-18:15 | work session 2 |
| 18:15-19:30 | free time |
| 19:30-21:00 | dinner |
| 21:00-23:00 | work session 3 (optional) |
Tuesday 11 February:
| 08:00-08:30 | breakfast |
| 08:30-10:30 | work session 1 |
| 10:30-10:45 | coffee break |
| 10:45-12:45 | work session 2 |
| 12:45-14:00 | lunch |
| 14:00-16:00 | work session 3 |
| 16:00-16:15 | coffee break |
| 16:15-18:15 | work session 4 |
| 18:15-19:30 | free time |
| 19:30-21:00 | dinner |
| 21:00-23:00 | work session 5 (optional) |
Wednesday 12 February:
| 08:00-08:30 | breakfast |
| 08:30-10:30 | work session 1 |
| 10:30-10:45 | coffee break |
| 10:45-12:45 | work session 2 |
| 12:45-14:00 | lunch |
| 14:00-16:00 | work session 3 |
| 16:00-16:15 | coffee break |
| 16:15-18:15 | work session 4 |
| 18:15-19:30 | free time |
| 19:30-21:00 | dinner |
| 21:00-23:00 | work session 5 (optional) |
Thursday 13 February:
| 08:00-08:30 | breakfast |
| 08:30-10:30 | work session 1 |
| 10:30-10:45 | coffee break |
| 10:45-12:45 | work session 2 |
| 12:45-14:00 | lunch |
| 14:00-16:00 | work session 3 |
| 16:00-16:15 | coffee break |
| 16:15-18:15 | work session 4 |
| 18:15-19:30 | free time |
| 19:30-21:00 | dinner |
| 21:00-23:00 | work session 5 (optional) |
Friday 14 February:
| 08:00-08:30 | breakfast |
| 08:30-10:30 | work session 1 |
| 10:30-10:45 | coffee break |
| 10:45-12:45 | work session 2 |
| 12:45-14:00 | lunch |