Rocq for Programming Languages
Rocq for Programming Languages - 2026
In conjunction with
ACM-SIGACT Symposium on Principles of Programming Languages 2026
Rennes, France
The goal of this workshop is to provide an opportunity for programming languages researchers and practitioners with an interest in the Rocq Prover to meet and interact with one another and with members of the core Rocq development team.
Hotels near Le Couvent des Jacobins
Garden Hotel
3 Rue Jean Marie Duhamel, 35000 Rennes, France
Hôtel Atlantic
31 Bd de Beaumont, 35000 Rennes, France
Hôtel Lanjuinais
11 Rue Comté de Lanjuinais, 35000 Rennes, France
Kyriad Rennes Centre Gare
6 Pl. de la Gare, 35000 Rennes, France
Mercure Rennes Centre Parlement
1 Rue Paul Louis Courier, 35000 Rennes, France
Novotel Rennes Centre Gare
22 Av. Jean Janvier, 35000 Rennes, France