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 non-idempotent type discipline, introduced almost two decades later, was inspired by linear logic and has since been considered as an adequate model to reason about resources. This workshop aims at bringing together researchers who are currently developing theory and applications in this area, to foster their interaction and provide a forum for presenting new ideas and work in progress, as well as to enable newcomers to learn about current activities in this field.

Invited Speakers

  • Delia Kesner
  • Andrej Dudenhefner
  • Beniamino Accattoli

Call for contributed talks

  • Submission deadline: April 28, 2025
  • Author notification: May 4, 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 a small abstract of 1 page. 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 April 28, 2025 (anywhere on Earth).

Organization

  • Sandra Alves - University of Porto
  • Miguel Ramos - University of Porto

Venue

Department of Computer Science Faculty of Sciences - University of Porto Rua do Campo Alegre 1055, 4169-007 Porto, Portugal

Registration and Funding applications:

  • Application deadline: April 28, 2025
  • Notification: May 4, 2025

Participation at the WRQT 2025 is free, but registration is mandatory. To register, please use the registration/funding application form.

The EuroProofNet COST action can provide funding for a limited amount of participants. Before applying for funding see reimbursement rules.

Note that it is possible to arrive a few days before and leave a few days after the workshop but a maximum of 3.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 1 - June 5, 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-15:30 Invited takl - Beniamino Accattoli
15: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 Tutorial - Andrej Dudenhefner
10:30-11:00 Coffee Tea Break
11:00-12:30 Tutorial - Andrej Dudenhefner
12:30-14:30 Lunch
14:30-16:00 Contributed talks
16:00-16:30 Coffee Tea Break
16:30-18:00 Contributed talks