[SMT-LIB] The 8th International Workshop on Constraint Solvers in Testing, Verification and Analysis (CSTVA 2017)-- Call for Communications

[Zakaria Chihani]

Dear colleagues,

We will be grateful to you for advertising the 8th edition of the CSTVA
workshop, this year collocated with CP'17, SAT'17, ICLP'17 and immediately
following IJCAI'17, in Melbourne Australia, especially to your students and
colleagues whose work would be a fit for the aims of this workshop. We look
forward to getting in touch with you.


(Sorry in advance for multiple receptions)


==  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 at easychair.org