WG3 meeting in Timisoara – February 2023
Date: 8-9 February 2023, 09:00 - 17:00
Place: West University of Timisoara, Romania, blvd. V. Parvan, nr. 4, room 045C
Organizer: Mădălina Erașcu & Alicia Villanueva
This is the second EuroProofNet WG3 meeting, taking place February 8-9, 2023. The meeting will take place at West University of Timisoara, Romania.
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,
- make an inventory of the approaches used in the international Software Verification competition SV-COMP (Related to Deliverable 1).
- realize state-of-the-art for tools approaching program specification as logical axioms; Requirements specification for the corresponding software prototype (Related to Deliverable 2).
Organization
List of registered participants
Program
Registration / Application procedure
If your work falls into the areas above and you want to take part in the meeting, please fill in this form.
Through the form, it is possible to apply to get funded by COST. The number of participants that can be funded is limited. Check the eligibility rules and the reimbursement rules.
If you have any questions, please contact Mădălina Erașcu (madalina.erascu at e-uvt dot ro).
**Important dates **
Registration open
-
Application deadline (to get funded): January 22, 2023. (Extended)
-
Registration deadline: January 22, 2023
Registration is free of charge. Coffee breaks are included.
Venue & Accommodation
The meeting will take place at West University of Timisoara, Romania, blvd. Vasile Parvan, nr.4, room 045C.
How to get there?
- air travel to Timisoara: Traian Vuia Timisoara Airport
- via Bucuresti: various (from Bucuresti to Timisoara by plane – 1h or by train – 10 h).
- via Budapest: various (from Budapest to Timisoara by plane – 1h or by train – 7h or by bus – 5h)
Accommodation
- Hotel Perla (3-Star or 4-Star, specify at booking which one you want)
Distance from the conference place by walking: 10 minutes
https://hotelperla.ro/ - NH Hotel (4-Star)
Distance from the conference place by walking: 15 minutes
https://www.nhtimisoara.ro/ - Hotel Boavista (3-Star)
Distance from the conference place by walking: 18 minutes
http://www.hotelboavista.ro - Hotel Timisoara (3-Star)
Distance from the conference place by walking: 12 minutes
http://www.hoteltimisoara.ro/
Program
There will be talks and small working groups in order to make progress on EuroProofNet objectives and deliverables. See previous WG3 meeting.
The event is scheduled as a two-day meeting.
Program schedule (tentative, times are EET)
Day 1
Time | Session |
---|---|
09:00-09:30 | Registration, Opening & Presentation |
09:30-11:00 | Session 1 |
11:00-11:30 | Coffee Break |
11:30-12:30 | Session 2 |
12:30-14:00 | Lunch |
14:00-15:30 | Session 3: Interaction |
15:30-16:00 | Coffee Break |
16:00-17:00 | Wrapping-up: Conclusions of the day & plan |
Day 2
Time | Session |
---|---|
09:00-11:00 | Day presentation & Session 4 |
11:00-11:30 | Coffee Break |
11:30-12:30 | Session 5 |
12:30-14:00 | Lunch |
14:00-15:30 | Session 6: Interaction |
15:30-16:00 | Coffee Break |
16:00-17:00 | Wrapping-up |
Local Organization
- Mădălina Erașcu