/!\ 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.
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.email@example.com) and/or Alicia Villanueva (firstname.lastname@example.org) for any question related to the program.
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 email@example.com 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).
We have some rooms blocked at the Silken Puerta de Valencia. The price for a single room is 66€ (breakfast included).
Other hotels near the campus (no rooms blocked):
The event is scheduled as a two-day meeting.
|10:00-10:30||Opening & Presentation|
|10:30-11:30||Session 1: Perspectives|
|12:00-12:30||Session 2: Interaction|
|12:30-13:30||Session 3: The first deliverable|
|15:00-16:00||Session 4: Short talks|
|16:00-17:00||Discussion & Conclusion day 1|
|10:30-11:30||Session 5: Towards the deliverables|
|12:00-13:30||Session 6: Discussion. Wrapping up|
|15:00-16:00||Discussion. setting the agenda for the year|
- Damián Aparicio
- Raúl López-Rueda
- Cristina Padró
- Julia Sapiña
- Germán Vidal
- Alicia Villanueva