Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Call for Communications - CSTVA 2017@CP'17 - 8th Int. Workshop on Constraint Solvers in Testing, Verification and Analysis

  • Subject: [Frama-c-discuss] Call for Communications - CSTVA 2017@CP'17 - 8th Int. Workshop on Constraint Solvers in Testing, Verification and Analysis
  • From: nikolay.kosmatov at (Nikolai Kosmatov)
  • Date: Mon, 15 May 2017 14:27:16 +0200

==  Call for Communications ==

        The 8th International Workshop on Constraint Solvers

        in Testing, Verification and Analysis (CSTVA 2017)

        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 

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 :

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 

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

Software Safety Laboratory, CEA LIST
Mail : CEA Saclay Nano-INNOV
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 at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>