== Second Call for Communications ==
The 8th International Workshop on Constraint Solvers
in Testing, Verification and Analysis (CSTVA 2017)
http://sites.google.com/site/officialcstva/
A workshop of CP’17, the 23rd International Conference
on Principles and Practice of Constraint Programming
Melbourne, Australia, August 28 to September 1, 2017
== Important Dates (All dates are AoE) ==
Submission: June 25th, 2017
Notification: July 7th, 2017
Workshop: August 28th, 2017
== Themes and Objectives ==
The 8th edition of CSTVA will be collocated with CP’17 conference in Melbourne, Australia, joint with SAT and ICLP and immediately following IJCAI, offering an ideal venue for the cross-fertilization ambition of CSTVA.
The CSTVA workshop, being merged with CP meets Verif from this year onward, aims at harnessing the potential of cross-fertilizations between CP, SAT and SMT to contribute to verification, testing and analysis, by bringing together the constraint communities as well as software/hardware verification, testing, analysis and engineering researchers and practitioners. Such a reunion has the potential for raising awareness about the capabilities of constraint solving and constraint optimization, encouraging the development of new applications based on tunable, extensible, programmable solvers, and uncovering new advances of any of the constraint-based technologies as well as their hybridization and cross-fertilization.
The CSTVA workshop traditionally welcomes contributions of:
* delegates with a constraint solving and optimization background (CP, SMT and SAT) presenting either new solvers or successful use of constraint-based technology to address constraint problems in formal verification and software engineering,
* delegates with background in formal verification and software engineering, presenting challenging or unsolved problems, or insufficiencies to current solutions to those problems, prompting constraint-based investigations,
* all delegates discussing synergy opportunities as well as challenges in formal verification, software engineering, and the underlying constraint solving tools.
As the workshop aims at fostering lively discussions and debates between participants, and following the success of the format adopted at the last CP meets Verif edition, CSTVA 2017 will be organized around:
* several invited talks given by experts of the different domains,
* accepted talks based on a lightweight reviewing of submitted abstracts and papers, presenting either original or published work,
* space for questions and discussions.
== Submissions ==
The 8th CSTVA edition invites all interested participants to submit an abstract of a talk to be presented during the workshop. Talks may present both original or already published work, tool developments as well as work in progress. Talks with emphasis on novel ideas or challenges are particularly welcome! Abstracts of at most three pages (excluding references), in text or PDF form, should be submitted by the deadline given above at this Easychair page :
http://easychair.org/conferences/?conf=cstva2017
The talks most compliant with the workshop theme and objectives will be selected for presentation in a full-day workshop. For all inquiries, please contact the main organizers.
== Proceedings ==
The workshop will not require paper submission and will not publish proceedings, but the presenters will be invited to submit the slides of their talks for publication on the workshop website. This makes the CSTVA workshop particularly suited as a first occasion to present novel work.
All researchers and practitioners interested in the scope of the workshop, whether presenters or not, are invited to attend the workshop and to participate in discussions.
== Organizers ==
– Zakaria Chihani (CEA List, France)
– Arnaud Gotlieb (Simula)
– Sébastien Bardin (CEA List, France)
– Nikolai Kosmatov (CEA List, France)
Contact : cstva2017@easychair.org
-- Nikolai KOSMATOV, PhD Software Safety Laboratory, CEA LIST Mail : CEA Saclay Nano-INNOV Institut CARNOT CEA LIST DILS/LSL, PC 174 91191 Gif-sur-Yvette Cedex, France Phone: +33 (0)1 69 08 71 83 Fax: +33 (0)1 69 08 83 95 Email: nikolai.kosmatov@cea.fr