Jekyll2026-06-01T14:20:36+00:00/feed.xmlCyclic Structures in Programs and ProofsThis 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. Jorge Perezj.a.perez@rug.nlVisit Amorim2026-05-04T00:00:00+00:002026-05-04T00:00:00+00:00/2026/05/04/visit-amorimFrom 11–13 May, Pedro Henrique Azevedo de Amorim will visit the STyLo Team of Henning in Leiden. The purpose is to discuss common interests in coalgebra and categorical logic.

]]>Jorge Perezj.a.perez@rug.nlWinter School2025-10-24T00:00:00+00:002025-10-24T00:00:00+00:00/2025/10/24/winter-schoolThe Dutch Winter School on Logic and Verification will take place on January 20 - 23, 2026 at Twente, organized by the University of Twente under the auspices of our project.

The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

See the website of the winter school for more information.

]]>Jorge Perezj.a.perez@rug.nlNext Nettcs Meeting2025-06-23T00:00:00+00:002025-06-23T00:00:00+00:00/2025/06/23/next-nettcs-meetingThe next meeting of NetTCS, the Dutch network on Types, Coalgebras, and Semantics, will take place on June 27 in Groningen, organized by the Fundamental Computing group under the auspices of our project.

The meeting will be aligned with the kick-off meeting of our project and will have three invited speakers:

  • Lide Grotenhuis - University of Amsterdam
  • Andreia Mordido - University of Lisbon (Portugal)
  • Bohdan Liesnikov - TU Delft

Everyone is welcome to join us, there is no need to register!

The meeting will take place in the `Lokinzaal’ of the Röling building (Faculty of Law, Oude Boteringestraat 18, 9712 GH Groningen).

]]>Jorge Perezj.a.perez@rug.nlNext Nettcs Meeting2025-02-21T00:00:00+00:002025-02-21T00:00:00+00:00/2025/02/21/next-nettcs-meetingThe next meeting of NetTCS, the Dutch network on Types, Coalgebras, and Semantics, will take place on March 6 in Apeldoorn, organized by the University of Twente under the auspices of our project.

The meeting will have three invited speakers:

  • Sergei Stepanenko - Aarhus University
  • Thorsten Wißmann - FAU (University of Erlangen and Nuremberg)
  • Oisin Flynn-Connolly - Leiden University

Everyone is welcome to join us, there is no need to register!

]]>Jorge Perezj.a.perez@rug.nlStart Cyclic Structures2025-02-18T00:00:00+00:002025-02-18T00:00:00+00:00/2025/02/18/start-cyclic-structuresWe are happy to announce that our project “Cyclic Structures in Programs and Proofs” received funding from NWO as an Open competition Domain Science-XL.

This €3 million project brings together five universities (TU Delft, Leiden University, Radboud University, University of Twente, and University of Groningen) to advance software verification through research in logic, programming languages, and automated program verification

The project will fund in total 6 PhD and 3 postdoc positions. Details about positions will appear here.

]]>Jorge Perezj.a.perez@rug.nl