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 cea.fr (Nicky Williams)
- Date: Mon, 07 Apr 2014 10:53:52 +0200
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
- Prev by Date: [Frama-c-discuss] Two open R&D engineer position in ProofInUse lab, Paris
- Next by Date: [Frama-c-discuss] Error on using pp-annot
- Previous by thread: [Frama-c-discuss] Two open R&D engineer position in ProofInUse lab, Paris
- Next by thread: [Frama-c-discuss] add variable name for formal variables of a kernel function
- Index(es):