EuroProofNet Workshop on Program Verification
This will be the final meeting of the EuroProofNet Working Group 3 on Program Verification. It is part of the Final EuroProofNet Symposium.
Date: 17-19 September 2025
Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay [access] [hotels] [food]
Organizers: Adrián Riesco, Alicia Villanueva
Meeting description:
This WG3 meeting will consist of a three-day meeting allowing members of the software formal verification community to share their work on the objectives and deliverables of WG3. More specifically, we aim to
- get an overview of the challenges identified in which proof systems can be applied to face them, and to propose a summary of recipes for verifying them,
- deepen on techniques for for syntax-semantics interfaces for program verification
- share advances on inference techniques of specifications as helpers
- deepen on the comparison of the approaches used in the international verification competitions (SV-COMP, TermComp,etc.)
The program will be composed of talks and discussion sessions on these topics, taking advantage of the participation of experts on verification and proof systems.
Registration: fill in this form (registration is free but mandatory) (registration is free but mandatory)
Talk proposals:
If you want to give a talk or make a tool demo, please use the submission form. Contact the organizers if you have any question regarding the submission process.
Meeting Objectives:
- bring together members of the different communities,
- identify and share verification challenges with recipes,
- celebrate results that advance the state of the art in the context of the WG3 goals and deliverables,
- transfer knowledge in terms of expertise and scientific tools across the different disciplines and between academia and industry, and
- foster collaborations and build synergies among participants to ease the path to more fruitful results beyond the end of the Action.
Program
The event is scheduled as a two and a half-day meeting.
Use the following links to access
- List of talks (upcoming).
- Full program (upcoming).
Program schedule (tentative):
Please note that you have to organize yourself for lunches (and dinners), but there are many options around.
Day 1 / Sept. 17
| Time | Session |
|---|---|
| 09:00-09:30 | Opening & Presentation |
| 09:30-10:30 | Session 1 |
| 10:30-11:00 | Break |
| 11:00-12:30 | Session 2: Talks |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Session 3: Talks |
| 15:30-16:00 | Break |
| 16:00-17:30 | Session 4: Talks & Discussion |
Day 2 / Sept. 18
| Time | Session |
|---|---|
| 09:00-10:30 | Session 5: Talks |
| 10:30-11:00 | Break |
| 11:00-12:30 | Joint session with MCLP |
| 12:30-14:00 | Lunch |
| 14:00-15:00 | Joint session with MCLP |
| 15:00-15:30 | WG3 Verification Challenges |
| 15:30-16:00 | Break |
| 16:00-17:30 | Session 6: Talks & Discussion |
| 17:30-18:30 | happy hour |
Day 3 / Sept. 19
| Time | Session |
|---|---|
| 09:00-10:30 | Session 7: Talks |
| 10:30-11:00 | Break |
| 11:00-12:30 | Session 8: Discussion & Closing |
| 12:30-14:00 | Lunch |
| 14:00-16:00 | EuroProofNet Management Committee meeting |
| 16:00-16:30 | Break |