--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on April 2014 ---
CSTVA'14 6th International workshop on Constraints in Software Testing, Verification and Analysis colocated with ICSE'14, Hyderabad, India, 31st May 2014 https://ece.uwaterloo.ca/~vganesh/cstva14.html CALL FOR PARTICIPATION 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. PROGRAM The program is now on the website https://ece.uwaterloo.ca/~vganesh/cstva14.html 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. HOW TO REGISTER Registration is via the ICSE website: http://2014.icse-conferences.org/registration 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: http://icse2014.acm.org/visa WORKSHOP ORGANIZERS Vijay Ganesh Univ. Waterloo, Canada vganesh at uwaterloo.ca Nicky Williams CEA LIST, France nicky.williams at cea.fr PROGRAM COMMITTEE 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