****************************************************************** S A S 2 0 1 2 The 19th International Static Analysis Symposium 11-13 September 2012, Deauville, France http://www.sas2012.ens.fr/ (my apologies for multiple postings) Important dates Abstract submission 16 March 2012 (23h59 GMT) Full paper submission 23 March 2012 (23h59 GMT) Notification 21 May 2012 Camera-ready 10 June 2012 Conference 11-13 September 2012 Objective Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for pre- sentation of theoretical, practical, and application advances in the area. The Nineteenth International Static Analysis Symposium, SAS 2012, will be held in Deauville, France. Previous symposia were held in Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur. Topics The technical program for SAS 2012 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: abstract domains abstract interpretation abstract testing bug detection data flow analysis model checking new applications program transformation program verification security analysis theoretical frameworks type checking Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object- oriented, aspect, multi-core, distributed, and GPU programming. Survey papers, that present some aspect of the above topics with a new coherence, and application papers, that describe experience with industrial applications, are also welcomed. Submission Information Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers will be judged on the basis of significance, rele- vance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is sig- nificant. Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science LNCS format, excluding bibliog- raphy and well-marked appendices. Program committee members are not required to read the appendices, and thus papers must be intelligible without them. Program Chairs Antoine Miné (CNRS & Ecole normale supérieure, France) David Schmidt (Kansas State University, USA) Program Committee Elvira Albert (Complutense University of Madrid, Spain) Patrick Cousot (Ecole normale supérieure, France & NYU, USA) Pietro Ferrara (ETH Zurich, Switzerland) Gilberto Filè (University of Padova, Italy) Chris Hankin (Imperial College London, UK) Suresh Jagannathan (Purdue University, USA) Matthieu Martel (Université de Perpignan, France) Matthew Might (University of Utah, USA) Anders Møller (Aarhus University, Denmark) David Monniaux (CNRS, Verimag, France) Markus Müller-Olm (Universität Münster, Germany) Andreas Podelski (University of Freiburg, Germany) G. Ramalingam (Microsoft Research, India) Sriram Sankaranarayanan (University of Colorado Boulder, USA) Francesca Scozzari (Università di Chieti-Pescara, Italy) Manu Sridharan (IBM Research, USA) Thomas Wies (New York University, USA) Eran Yahav (Technion, Israel) Kwangkeun Yi (Seoul National University, Korea) Steering Committee Patrick Cousot (Ecole normale supérieure, France & NYU, USA) Radhia Cousot (CNRS & Ecole normale supérieure, France) Roberto Giacobazzi (University of Verona, Italy) Gilberto Filè (University of Padova, Italy) Manuel Hermenegildo (IMDEA Software Institute, Spain) David Schmidt (Kansas State University, USA) Affiliated Events NSAD: The 4th Workshop on Numerical and Symbolic Abstract Domains 10 September 2012 SASB: The 3rd Workshop on Static Analysis and Systems Biology 10 September 2012 TAPAS: The 3rd Workshop on Tools for Automatic Program AnalysiS 14 September 2012 Venue SAS 2012 and affiliated events will take place in Deauville, France, at la Villa Le Cercle, at 20mn walking time from the train station and 100m from the beach. Deauville is at only 200km from Paris and 2h by train (departing several times a day from Gare Saint Lazare). Deauville is famous for its beach, its race- courses, its casino, and the American Film Festival (held just before the conference). ******************************************************************