Call for Papers - SEFM 2011 Special Track on MODELLING FOR SUSTAINABLE DEVELOPMENT at the 9th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) 14-18 November 2011 Montevideo, Uruguay URL: http://www.fing.edu.uy/inco/eventos/SEFM2011 +++++++++++++++++++++++++++++++++++++++++++++++++++ IMPORTANT DATES * Title and abstract submission deadline: 23 April 2011 * Paper submission deadline: 30 April 2011 * Acceptance/rejection notification: 15 June 2011 * Camera-ready version due: 15 July 2011 +++++++++++++++++++++++++++++++++++++++++++++++++++ BACKGROUND AND OBJECTIVES The aim of the Special Track on MODELLING FOR SUSTAINABLE DEVELOPMENT at SEFM 2011 is to bring together practitioners and researchers from academia, industry, government and non-government organisations to present research results and exchange experience, ideas, and solutions for modelling and analysing complex systems in various domain areas, such as economy, health, biology, ecology, climate and poverty reduction, that address problems of sustainable development. Papers that present realistic applications to sustainable development and make use of techniques such as simulation, visualisation, animation, nonlinear systems analysis, model-checking and inferential statistics 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 Modelling methodologies and notations include, but are not limited to: - Systems Dynamics - Systems of Differential Equations - Game Theory - Machine Learning - Agent-based Methodologies - Process Calculi - Automata-based Notations - Rewriting Systems - Membrane Systems - Cellular Automata - Discrete Optimisation Modelling - Continuous Optimisation Modelling - Empirical Modelling Application domains include, but are not limited to: - Sustainability Science - Integrated Development Planning - Evidence-based Policy - Ecosystem Science - Epidemiology - Genetics - Population and Reintroduction Biology - Climate Change - Environmental Risk Assessment and Management - Poverty Reduction KEYNOTE SPEAKER * Matteo Pedercini, Millennium Institute, USA LOCATION SEFM 2011 will be held at the NH Columbia Hotel located close to the financial center of Montevideo and enjoying excellent views of the Plata river (Río de la Plata) http://www.nh-hotels.com/nh/en/hotels/uruguay/montevideo/nh-columbia.html. SUBMISSION AND PUBLICATION Submissions to the special track 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 special track. All papers must be written in English. Research and tool papers must not exceed 16 pages in the LNCS format while short papers must not exceed 8 pages in the LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). All queries on the submissions should be sent to: sefm2011-msd@iist.unu.edu Papers must be submitted electronically via the Easychair System: https://www.easychair.org/conferences/?conf=sefm2011msd (please note that this Easychair website is distinct from the one for general submissions to SEFM 2011) Accepted papers will be included in the proceedings of SEFM 2011, which will be published in the Springer Lecture Notes in Computer Science series (LNCS, www.springer.com/lncs). After the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a special issue of the SoSyM journal (Software and Systems Modeling, Springer), following the standard reviewing process of the journal. SPECIAL TRACK PROGRAM COMMITTEE * Roberto Barbuti, University of Pisa. Italy * Antonio Cerone, UN University, UNU-IIST, Macau SAR China (Chair) * Elsa Estevez, UN University, UNU-IIST, Macau SAR China * Peter Haddawy, UN University, UNU-IIST, Macau SAR China * Siu-Wai Leung, University of Macau, Macau SAR China * Paolo Milazzo, University of Pisa, Italy * Ion Petre, Åbo Akademi University, Finland * Weishuang Qu, Millennium Institute, USA * Dave Robertson, University of Edinburgh, UK * Siraj Shaikh, Coventry University, UK * Michael Sonnenschein, University of Oldenburg, Germany * Hefeng Tong, Institute of Scientific and Technical Information of China (ISTIC), China * Shaofa Yang, Chinese Academy of Sciences, SIAT, China