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 participation CSTVA'14 Constraints in Software Testing, Verification, and Analysis

  • Subject: [Frama-c-discuss] Call for participation CSTVA'14 Constraints in Software Testing, Verification, and Analysis
  • From: nicky.williams at (Nicky Williams)
  • Date: Mon, 07 Apr 2014 10:53:52 +0200

6th International workshop on Constraints in Software Testing,
Verification and Analysis colocated with ICSE'14, Hyderabad, India, 31st
May 2014


Recent years have seen an increasing interest in the application of
constraint-solving techniques to testing, verification and analysis of
software systems. The reason for this interest is the dramatic
improvement in efficiency and expressive power of Boolean SAT, SMT and
CP solvers, thus making it considerably easier to build and maintain
these applications. As the solvers become more efficient and expressive,
newer applications are being developed in diverse areas of software
engineering (SE). Moreover, rather than just using solvers as black
boxes, a recent trend in solver-based SE applications is a deeper
integration of solver and application. This can result in more powerful
SE techniques but it necessitates close interaction between solver
developers and users.

The aim of this workshop is to highlight the use of solvers in novel
applications, new solver features, and encourage the use of solvers in
fresh solutions to long-standing SE problems. Furthermore, the workshop
should act as a venue for cross-community interaction between
researchers in constraint solving and in software engineering.


The program is now on the website
It features a keynote from Nikolaj Bjorner, co-developer of the Z3 SMT
solver at Microsoft Research, USA and an interesting variety of papers
on novel software engineering applications of constraint solving, uses
of newer solver features and the choice of solver. We are aiming for a
friendly, interactive workshop with plenty of discussion.


Registration is via the ICSE website:
Discount rates apply until April 14th, 2014. Moreover, an extended
financial assistance program is available to students (see the workshop
home page).
Visa letters are sent with your registration. For more information
please visit:


Vijay Ganesh            Univ. Waterloo, Canada    vganesh at
Nicky Williams        CEA LIST, France        nicky.williams at


Sebastien Bardin    CEA LIST, France
Nikolaj Bjorner    Microsoft Research, USA
Francois Bobot    CEA LIST, France
Cristian Cadar    Imperial College London, UK
Marsha Chechik    University of Toronto, Canada
Sylvain Conchon    Universite Paris Sud, France
Krzysztof Czarnecki    University of Waterloo, Canada
Frederic Dadeau    FEMTO-ST/INRIA, France
Leonardo DeMoura    Microsoft Research, USA
Julian Dolby    IBM TJ Watson Center, USA
Arnaud Gotlieb    SIMULA, Norway and INRIA, France
Patrick Heymans    University of Namur, Belgium
Joxan Jaffar    National University of Singapore, Singapore
Daniel LeBerre    Universite d'Artois, France
Rupak Majumdar    MPI Software Systems, Germany
Aditya Nori    Microsoft Research, India
Koushik Sen    University of California, Berkeley USA
Ofer Strichman    Technion, Israel
Cesare Tinelli    University of Iowa, USA
Frank Tip    University of Waterloo, Canada
Emina Torlak    University of California, Berkeley, USA
Kapil Vaswani    Microsoft Research, India
Chris Wintersteiger    Microsoft Research, UK
Xiangyu Zhang    Purdue University, USA