Call for Papers and Posters ------------------------------------------------------------------ SASB 2012 3rd International Workshop on Static Analysis and Systems Biology ------------------------------------------------------------------ 10th September, 2012, Deauville, France. Satellite Workshop of SAS 2012 http://www.di.ens.fr/sasb2012 IMPORTANT DATES --------------- PAPERS: Submission Deadline (paper) 15th June, 2012 Notification (tentative) 15th July, 2012 Final version (tentative) 15th August, 2012 POSTERS: Submission Deadline 15th June, 2012 Notification (tentative) 15th July, 2012 WORKSHOP: Workshop Date 10th September, 2012 OBJECTIVES ---------- A lot of biological models suffer from a high combinatorial complexity. Many methods have been proposed to break down this combinatorial complexity. Some of these methods are informal and are validated experimentally. By contrast, static analysis-based scalable formal methods increase the level of confidence by providing formal characterization of what is computed. Being automatic, easily reusable, and offering formal soundness criteria, static analyses can help designing models, testing models with respect to experimental data, and predicting the behavior of the system being modeled. The goal of this workshop is to promote discussions and collaborations between biologists (modelers), computer scientists (in static analysis) and applied-mathematicians around the design and the use of static analysis methods for biological models. SCOPE ----- The program of SASB 2012 will consist mainly of presentations of refereed papers and refereed posters. Contributions are welcomed on all aspects about the use of static analysis methods in Systems Biology, including, but not limited to: * challenges for static analysis of biological models, * new static analysis frameworks, * modeling experiences using static analysis, * informal methods (that could be candidate to formalization and automatization). SUBMISSION ---------- Please visit the submission website: https://www.easychair.org/conferences/login.cgi?conf=sasb2012 The website is powered by EasyChair, thanks to Andrei Voronkov. * PAPERS All submitted papers will be peer-reviewed by the program committee. Submitted papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines (http://www.entcs.org/prelim.html). Submitted papers may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion. Papers must be written and presented in English, and describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. * POSTERS All submitted posters will be peer-reviewed by the program committee. Poster format is free with the stipulation that the size should not exceed A0 size (32.7 by 45.4 inches or 80 by 115.4 cm) in portrait (vertical) set-up. Moreover, the text must be written in English. A PDF version of the poster is required at the submission. PUBLICATION ----------- The proceedings of the workshop will be published electronically via ENTCS. INVITED SPEAKERS ---------------- Russ Harmer Universite Paris VII & CNRS, France Andre Levchenko Institute for Computational Medicine, Johns Hopkins University, USA ORGANIZERS ---------- * Program Co-Chairs: Jerome Feret Ecole Normale Superieure & INRIA, France Andre Levchenko Institute for Computational Medicine, Johns Hopkins University, USA * Program Committee: Francois Fages INRIA, France Domitille Heitzler Systems Biology Ireland, Ireland Jean Krivine CNRS & Université Paris-Diderot, France Nathan Lemons Los Alamos National Laboratory, USA Cedric Lhoussaine Universite de Lille 1, France Gethin Norman University of Glasgow, Scottland Loic Pauleve Ecole polytechique, France Tatjana Petrov ETH Zurich, Switzerland Franck Pommereau Universite d'Evry, France Ovidiu Radulescu Universite Montpellier 2, France Alessandro Romanel Universita di Trento, Italy Denis Thieffry Ecole Normale Supérieure, France Ty Thomson Selventa, Boston, USA Paolo Zuliani Carnegie Mellon University, USA * Steering Committee: Radhia Cousot Ecole Normale Superieure & CNRS, France Jerome Feret Ecole Normale Superieure & INRIA, France Walter Fontana Harvard Medical School, USA Andre Levchenko Institute for Computational Medicine, Johns Hopkins University, USA