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.

February 10-11, 2022

This is the first EuroProofNet WG3 meeting, taking place February 10-11, 2022. Due to the current pandemic situation, the meeting will take place at Universitat Politècnica de València (Spain) and also online.

This meeting aims to

  • bring together members of the different communities working on proofs and verification,
  • foster collaborations and build synergies among participants to ease the path to more fruitful results for the Action, and
  • the identification of verification techniques used in the Software Verification competition SV-COMP, which is related to the first deliverable of the WG.

Output

  • Final Report.
  • Some presentations and video recordings have been addded to the program page. Videos are stored on UPV (terms of use of the video service).

Organization

Registration

Registration is free of charge. Coffee breaks are included. Convenient cafeterias and restaurants are available at the campus.

Registration form

We plan to have at least a session to present and discuss topics raised by WG3 members in the context of the Action goals and deliverables. If you are interested in briefly presenting a specific problem, please let us know through the dedicated question in the registration form. You can also contact Rodica Condurache (Rodica.b.condurache@gmail.com) and/or Alicia Villanueva (villanue@dsic.upv.es) for any question related to the program.

Funding applications

The action can fund the travel to Valencia of about 10 participants with a daily allowance fixed at 100 euros. If you want to go to Valencia and be reimbursed, you need to send a mail to Alicia Villanueva villanue@dsic.upv.es. The action members who will be reimbursed will be chosen by taking into account the following criteria in order: importance wrt the research coordination objectives; inclusive target countries; age; gender; team with low resources; balance over the action life time between people, teams, countries and working groups.

Venue & Accommodation

The meeting will take place at the DSIC department, building 1F of the Universitat Politècnica de València (UPV).

Other hotels near the campus (no rooms blocked):

Program

The event is scheduled as a two-day meeting.

Full program with presentations.

Program schedule:

Day 1

Time Session
10:00-10:30 Opening & Presentation
10:30-11:30 Session 1: Deliverables
11:30-12:00 Coffee Break
12:00-13:30 Session 2: Talks
13:30-15:00 Lunch
15:00-16:00 Interaction: Identifying goals
16:00-17:00 Wrapping-up: Conclusion & Plan

Day 2

Time Session
10:00-10:20 Day organization
10:20-11:00 Session 5: Talks
11:00-11:30 Interaction
11:30-12:00 Coffee Break
12:00-13:30 Session 6: Towards the deliverables
13:30-15:00 Lunch
15:00-16:00 Wrapping-up: Setting the agenda for the year

Local Organization

  • Damián Aparicio
  • Daniel Galán Pascual
  • Raúl López-Rueda
  • Cristina Padró Ferragut
  • Sergio Pérez
  • Julia Sapiña
  • Germán Vidal
  • Alicia Villanueva