CALL FOR PAPERS - SEFM 2010 The 8th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) Pisa, Italy 13--18 September 2010 URL: http://www.sefm2010.isti.cnr.it ++++++++++++++++++++++++++++++++++++++++++ IMPORTANT DATES * Title and abstract submission deadline: 29 March 2010 * Paper submission deadline: 6 April 2010 * Acceptance/rejection notification: 15 May 2010 * Camera-ready version due: 15 June 2010 +++++++++++++++++++++++++++++++++++++++++++++++++++ BACKGROUND AND OBJECTIVES The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. TOPICS Topics of interest include, but are not limited to: * formal requirement analysis, specification and design * programming languages, program analysis and type theory * formal methods for service-oriented and cloud computing * formal aspects of security and mobility * model checking, theorem proving and decision procedures * formal methods for real-time, hybrid and embedded systems * formal methods for safety-critical, fault-tolerant and secure systems * software architecture and coordination languages * component, object and multi-agent systems * formal aspects of software evolution and maintenance * formal methods for testing, re-engineering and reuse * light-weight and scalable formal methods * tool integration * applications of formal methods, industrial case studies and technology transfer KEYNOTE SPEAKERS * Carlo Ghezzi, Italy * Dimitra Giannakopoulou, USA * Dusko Pavlovic, UK/USA LOCATION The conference will be held at the Area della Ricerca CNR, Pisa, Italy (http://www.area.pi.cnr.it) SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. All papers must be written in English. Research and tool papers must not exceed 10 pages in the IEEE format while short papers must not exceed 5 pages in the IEEE format. Instructions for authors are available at: http://computer.org/cspress/instruct.htm LaTeX and MS Word 8.5x11x2 document classes (or template) can be downloaded from the website at ftp://pubftp.computer.org/Press/Outgoing/proceedings/: * Latex style package: ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5x11x2.zip * MS Word Template: ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11x2.doc * PDF Instruction file: ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11x2.pdf All queries on the submissions should be sent to: pc_chair@sefm2010.isti.cnr.it. Papers must be submitted electronically via the Easychair System: http://www.easychair.org/conferences/?conf=sefm10 The IEEE Computer Society Press will publish the proceedings of the conference. Special Issue of FACJ: the Formal Aspects of Computing journal will dedicate a special issue to SEFM 2010, for which authors of selected papers will be invited to submit a journal version of their conference paper. IMPORTANT DATES * Workshop submission deadline: 20 January, 2010 * Title and abstract submission deadline: EXTENDED to 29 March 2010 * Paper submission deadline: EXTENDED to 6 April 2010 * Tutorial submission deadline: 15 April 2010 * Acceptance/rejection notification: 20 May 2010 * Camera-ready version due: 15 June 2010 COMMITTEES Conference Chair * Andrea Maggiolo Schettini, Pisa University, Italy Program Co-chairs * José Luis Fiadeiro, Leicester University, UK * Stefania Gnesi, ISTI-CNR, Italy Program Committee * Bernhard Aichernig, Austria * Luis Barbosa, Portugal * Marcello Bonsangue, Netherlands * Jonathan Bowen, UK * Artur Boronat, UK * Antonio Cerone, Macao * Marsha Chechik, Canada * Flavio Corradini, Italy * Jim Davies, UK * Schahram Dustdar, Austria * George Eleftherakis Greece * Stephen Gilmore, UK * Michael Hansen Denmark * Rob Hierons, UK * Klaus Havelund, USA * Dang Van Hung, Vietnam * Jean-Marie Jacquet, Belgium * Shmuel Katz, Israel * Padmanabhan Krishan, Australia * Xuandong Li, China * Zhiming Liu, Macao * Peter Lindsay, Australia * Antónia Lopes, Portugal * Dominique Méry, France * Carlo Montangero, Italy * Franco Mazzanti, Italy * Madhavan Mukund, India * Mizuhito Ogawa, Japan * Jenifer Pérez Benedí, Spain * Sanjiva Prasad, India * Rosario Pugliese, Italy * Markus Roggenbach, UK * Bernhard Schätz, Germany * Gerardo Schneider, Sweden * Willem Visser * South Africa * Gianluigi Zavattaro, Italy Finance Chair * Alessandro Fantechi, DSI Florence University, Italy Tutorial Chair * Laura Semini, Computer Science Department, Pisa University, Italy Workshop Chair * Maurice ter Beek, ISTI-CNR, Italy Poster and Tool Demo Chairs * Franco Mazzanti, ISTI-CNR, Italy * Gianluca Trentanni, ISTI-CNR, Italy Organising Committee * Patrizia Asirelli, ISTI-CNR, Italy (Chair) * Gianluca Trentanni, ISTI-CNR, Italy * Maria Luisa Trivella, ISTI-CNR, Italy * Eda Marchetti, ISTI-CNR, Italy Steering Committee * Manfred Broy, TU Munich, Germany * Antonio Cerone, UNU-IIST, Macao SAR, China * Mike Hinchey, Lero-The Irish Software Engineering Research Centre, Ireland * Mathai Joseph, TRDDC, Pune, India * Zhiming Liu, UNU-IIST, Macao SAR, China * Andrea Maggiolo-Schettini, Pisa University, Italy