European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Opening hours are subject to changes. Please check them on the Internet. Warning: the only food options below that are open on Sunday are the Supermarket Intermarché Express on Sunday morning, and Le Palais d’Orsay on Sunday evening.

University restaurants open from Monday to Friday (only 2 are open for dinner):

The cost of a meal for non-local people at a university restaurant (RU) is about 9.59 euros, and 16.47 euros at the CESFO restaurant.

  • Restaurant CESFO Plateau, 11:15-13:30, rue André Rivière, 91400 Orsay, 50 m only but a meal costs 17.5 euros for non-local people.

  • Hudi (private company, not on Google map yet), 12:00-14:00, coffee 08:00-15:00, rue Alfred Kastler 91400 Orsay, 500 m (7 minutes), meal from 12 euros.

  • RU Lieu de Vie, 11:30-14:00, 13 bis rue Joliot Curie 91190 Gif-sur-Yvette, 800 m (11 minutes).

  • RU Henri Moissan, 11:30-14:00, 15 avenue des Sciences 91190 Gif-sur-Yvette, 900 m (12 minutes).

  • RU Les Cèdres d’Orsay, 11:30-14:00 and 18:00-21:30, Bâtiment 406, rue Claude Bernard 91400 Orsay, 750 m (12 minutes).

  • RU Centrale Supélec Eiffel, 11:30-14:00 and 18:30-21:00, 8 rue Joliot Curie 91190 Gif-sur-Yvette, 1000 m (14 minutes).

  • RU ENS, 11:30-14:00, 4 avenue des Sciences 91190 Gif-sur-Yvette, 1600 m (22 minutes).

Cafeterias (sandwichs, salads, etc.) open from Monday to Friday (and Saturday for the Cafeteria Le Tropical):

Option on Rue Joliot Curie (950 m, 13 minutes):

  • La Ruche, 9 bis, rue Joliot-Curie 91190 Gif-sur-Yvette, restaurant open Monday to Friday from 11:30 to 13:30 (menu from around 20 euros).

  • Campanile, 9 Ter Rue Joliot Curie 91192 Gif Sur Yvette, 950 m (13 minutes), restaurant open Monday to Thursday from 19:00 to 22:00, breakfast every day from 6:00 to 9:00 (7:00 to 10:00 on week-end), bar open every day from 11:00 to 23:00.

Options on Mail Pierre Potier at Gif-sur-Yvette (1500 m, 20 minutes):

  • Brass & Co, open Monday to Friday from 11:30 to 23:30.

  • Supermarket Intermarché Express Gif-sur-Yvette, open every day from 8:30 to 20:00, but on Sunday from 9:30 to 12:45.

  • Bakery/Sandwich Boulangerie OCT Tradition, open Monday to Saturday from 7:00 to 19:30.

  • Yucai Sushi, open every day from 11:00 to 14:30 (except Sunday), and from 18:00 to 22:00.

  • La Maison du Tacos, open every day from 11:30 to 14:30 (except Sunday), and from 18:00 to 22:30.

  • FO Pizza au feu de bois, open every day from 11:00 to 15:00 (except Sunday), and from 18:00 to 22:30.

Options in Orsay (>1.5 km, 23 minutes):

  • Le Gramophone, open Monday-Friday 12:00-14:00, 17:30-22:00, Saturday 17:30-22:00, 27 boulevard Dubreuil 91400 Orsay, 1.5 km 23 minutes.

  • Papaye Verte, open Tuesday-Saturday 12:00-14:30, 19:00-22:00, 4 bis rue Archange 91400 Orsay, 1.8 km 25 minutes.

  • Trattoria Belinda, open Tuesday-Saturday 12:00-13:45, 18:00-21:30, 46 rue de Paris 91400 Orsay, 2 km 29 minutes.

  • Le Palais d’Orsay, opan Monday-Saturday 11:00-14:30, 17:45-22:30, Sunday 17:45-22:30, 9 Rue Docteur Ernest Lauriat 91400 Orsay, 2 km 29 minutes.

Options in Palaiseau (>2.5 km 37 minutes, 20 minutes by bus):

  • Le Julie’s, opan Monday-Thursday 07:00-23:30, Friday 07:00-01:30, Saturday 17:00-01:30, 40 Cr Pierre Vasseur 91120 Palaiseau, 2.5 km 37 minutes, 23 minutes by bus.

  • Living Room, open Monday-Saturday 12:00-14:30, 19:00-22:00, 10 boulevard Gaspard Monge 91120 Palaiseau, 3 km 44 minutes, 20 minutes by bus.