The Alpine Verification Meeting
in the framework of
SYNASC 2021
23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Timisoara, Romania
7-10 December, 2021
Workshop deadlines
- 31 August 2021: Paper submission (extended deadline)
- 30 September 2021: Notification of acceptance
- 15 October 2021: Registration
- 15 October 2021: Revised papers according to the reviews
- 7-10 December 2021: Workshop
Workshop description
The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is open to the public.
Submission of papers
We invite submissions containing original research results in the form of:
+ full research papers
+ short papers (work in progress)
Papers of up to 8 pages prepared according to the CPS template must be submitted electronically using the submission system that will be later accessible through EasyChair.
Research papers must contain original research results not submitted and not published elsewhere. Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 4 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics.
Publication
Accepted research papers should be presented at the conference and the best papers will be selected for publication in the proceedings published by Conference Publishing Services(CPS) (submitted in IEEE Xplore).