Cyclic Structures in Programs and Proofs

Consortium Meetings Vacancies

Meetings

2025

Kick-off Meeting

Dates: June 26 - 27, 2025.
Location: Groningen (city center).
More information to follow.

This site collects information about positions, publications and relevant news for the project "Cyclic Structures in Programs and Proofs" project, funded by NWO. The project aims to advance the theory of cyclic structures in proofs and programs, including in coalgebraic modal logic, type theory, behavioural types, and the proof assistants Agda and Rocq (formely Coq), and create a development environment for Rust based on these techniques.