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.

Date: 4-5 April 2024, in co-location with the HoTT/UF 2024 Workshop.

Place: Leuven, Belgium

Venue information

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 programme will consist mainly of short talks and plenty of time for discussion. The meeting will be in person and is open to anyone interested in type theory. Talks can expose published work or work in progress. Submissions of open questions and topics to be discussed collectively are also welcome: please use the same form and clearly mark your entry as a discussion proposal, we will try to organize a few short discussion sessions.

Invited speakers TBD

Contributed talks TBD

Schedule and abstracts: TBD

Participants: Please see here

Deadlines

  • Submission of talk proposals: 2 February 2024 (AoE)
  • Author notification: 16 February 2024
  • Funding requests: 23 February 2024 (AoE)
  • Funding notification: 4 March 2024
  • Registration: 8 March 2024 (AoE)

Funding: The reimbursement concerns the official dates of the WG6 meeting: Apr 4-5 (so not the co-located event). For information regarding reimbursement, please see here. The daily allowance has been fixed to 140 euros.

The action members who will be reimbursed will be selected among the applicants by taking into account the following criteria in order: planned contributions to the objectives and deliverables of the action; inclusive target countries; age; gender; team with low resources; balance over the action life time between people, teams, countries and working groups.

Submission of proposals

Registration: TBD

Local information: Please see here.

Organizers: Marie Kerjean and Andreas Nuyts

Local Organizer: Andreas Nuyts