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.

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

  • 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):

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

  • 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.

Other option at 950 m (13 minutes):

  • 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