European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

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

List of participants.

Program

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