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.

June 5-6, 2025

The Workshop on Reasoning with Quantitative Types is a two day event, supported by the European Research Network on Formal Proofs. Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry’s type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus. The key idea is to introduce an intersection type constructor ∧ such that a term of type t ∧ s can be used at both type t and s within the same context. If the intersection type constructor is considered to be non-idempotent, then type systems can be used to give, not only qualitative characterizations of operational properties, but also quantitative ones.

Invited Speakers

  • Delia Kesner
  • TBA

Call for contributions

  • Abstract submission deadline: May 4, 2025
  • Author notification: May 11, 2025

The workshop is going to be an informal event and both original and previously submitted works will be considered. Contributed talks should be supported by an extended abstract of up to 2 pages, excluding references. Please use the EasyChair style for formatting your submission (EasyChair Style Guidelines). Abstracts will not be peer-reviewed, but only those that are relevant and of good quality will be considered. Submit your abstracts as a PDF file via email to (sandra@fc.up.pt) before the submission deadline on May 4, 2025 (anywhere on Earth).

Organization

Venue

University of Porto

Registration and Funding applications:

Participation at the WRQT 2025 is free.

The EuroProofNet COST action can provide funding for a limited amount of participants. If you would like the apply for funding, fill out the details for funding on the registration form (to appear), by the deadline. Before applying for funding see reimbursement rules.

Funding application form: to appear.

Note that it is possible to arrive a few days before and leave a few days after the workshop but a maximum of 2.4 daily allowances will be reimbursed.

Please contact the organisers if you have any problem during the application for funding process, including reluctance to use google forms.

Program

The following is a tentative combined program (subject to change).

Day 2 - June 6, 2025

Time Session
09:00-09:30 Opening & Welcome
09:30-10:30 Invited talk - Delia Kesner
10:30-11:00 Coffee Tea Break
11:00-12:30 Contributed talks
12:00-14:00 Lunch
14:30-16:00 Contributed talks
16:00-16:30 Coffee Tea Break
16:30-18:00 Contributed talks

Day 2 - June 6, 2025

Time Session
09:30-10:30 Invited talk
10:30-11:00 Coffee Tea Break
11:00-12:30 Contributed talks
12:30-14:30 Lunch
14:30-16:00 Contributed talks
16:00-16:30 Coffee Tea Break
16:30-18:00 Contributed talks