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.
- Final Report.
Registration is free of charge. Coffee breaks are included. Convenient cafeterias 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. 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). To get this rate you need to directly contact the hotel or send an email to firstname.lastname@example.org including the check-in, check-out dates, full name and personal ID number.
Other hotels near the campus (no rooms blocked):
The event is scheduled as a two-day meeting.
Full program with presentations.
|10:00-10:30||Opening & Presentation|
|10:30-11:30||Session 1: Deliverables|
|12:00-13:30||Session 2: Talks|
|15:00-16:00||Interaction: Identifying goals|
|16:00-17:00||Wrapping-up: Conclusion & Plan|
|10:20-11:00||Session 5: Talks|
|12:00-13:30||Session 6: Towards the deliverables|
|15:00-16:00||Wrapping-up: Setting the agenda for the year|
- 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