European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Dates: 17-18 April 2025

Place: Genova, Italy

Venue:
Villa Giustiniani-Cambiaso,
Scuola Politecnica, Università di Genova
via Montallegro 1, Genova 16145

Co-located with the HoTT/UF 2025 Workshop.

The aim of this meeting series is to bring together researchers working on the topics of Working Group 6 of EuroProofNet. The main focus is thus on the syntax and semantics of type theory. This includes, but is not limited to the goal of WG6:

The aim of this WG is to develop a comprehensive theory of type theories, which (i) accounts for its domain-specific variants and the type theories currently used in proof assistants, and (ii) allows for the modular reasoning about their syntax and semantics.

The meeting will be in person with support for remote participation and is open to anyone interested in type theory. Talks can expose published work or work in progress.

Invited speakers

Deadlines (AoE)

  • Submission of talk proposals: Friday 28 February
  • Author notification: Tuesday 4 March
  • Funding request: Friday 7 March
  • Registration: Friday 28 March

Submission of talk proposals: Please fill out this form to submit a proposal for a contributed talk.

Registration & funding: To register, please fill out this form. The form also gives the option to submit a funding request. Funding consists of reimbursement of travel expenses and a daily allowance for the meeting’s dates (but recepits of both travel and accommodation expenses have to be provided). The daily allowance has been fixed to 140 euros. We recommend those interested in applying to read the official information regarding reimbursement available here. In particular, note that to receive funding you will be asked to register as a member of EuroProofNet if you are not already.

Local information: Please see here.

Organizers: Francesco Dagnino and Jacopo Emmenegger