/!\ Deadline for funding applications: January 16.

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.


Registration is free of charge. Coffee breaks are included. Convenient caffeterias 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 before January 16. 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):


The event is scheduled as a two-day meeting.

Tentative program:

Day 1

Time Session
10:00-10:30 Opening & Presentation
10:30-11:30 Session 1: Perspectives
11:30-12:00 Coffee Break
12:00-12:30 Session 2: Interaction
12:30-13:30 Session 3: The first deliverable
13:30-15:00 Lunch
15:00-16:00 Session 4: Short talks
16:00-17:00 Discussion & Conclusion day 1

Day 2

Time Session
10:00-10:30 Day organization
10:30-11:30 Session 5: Towards the deliverables
11:30-12:00 Coffee Break
12:00-13:30 Session 6: Discussion. Wrapping up
13:30-15:00 Lunch
15:00-16:00 Discussion. setting the agenda for the year

Local Organization

  • Damián Aparicio
  • Raúl López-Rueda
  • Cristina Padró
  • Julia Sapiña
  • Germán Vidal
  • Alicia Villanueva