The next closing date for funding requests is March 15, 2027  (23:59 CET)

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