The next closing date for funding requests is 15. Sept. 2026 (23:59 CEST)

Submission

Rocq'n'Share 2026: The 10th Rocq Users and Developers Workshop

Rocq'n'Share is an annual workshop intended to connect developers and users of the Rocq proof assistant, an interactive theorem prover for computer-based mathematics and program proofs.

The event combines presentations, tutorials, design discussions, and joint programming and documentation sessions.

Back

Informatik Stiftung Schweiz

Home of the «Swiss Informatics Foundation»

© Informatik Stiftung Schweiz 2026

Links

Submission Impressum Privacy Policy