------------------------------------------------------------------------------ SEFM 2012 Co-located Workshops and Symposia Final Call for Papers - Extended Deadline ------------------------------------------------------------------------------
The submission deadline for the four events co-located with the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012) has been EXTENDED to 20 JUNE 2012. ------------------------------------------------------------------------------ EVENTS * FM+AM 2012 - http://ssfm.cs.up.ac.za/workshop/FMAM12.htm 3rd Int. Workshop on Formal Methods and Agile Methods * OpenCert 2012 - http://opencert.iist.unu.edu/ 6th Int. Workshop on Foundations and Techniques for Open Source Software Certification * InSuEdu 2012 - http://insuedu.iist.unu.edu./ 1st Int. Symposium on Innovation and Sustainability in Education * MoKMaSD 2012 - http://opencert.iist.unu.edu/ 1st Int. Symposium on Modelling and Knowledge Management for Sustainable Development The four events will take place during 1-2 October 2012 in Thessaloniki, Greece. ------------------------------------------------------------------------------ IMPORTANT DATES Paper Submission deadline: 20 June 2012 (EXTENDED) Paper Accept/Reject Notification: 18 July 2012 Pre-proceedings Final version due: 8 September 2012 Post-proceedings Final version due: 20 October 2012 We encourage the pre-submission of title and abstract by 17 June 2012 (not mandatory). ------------------------------------------------------------------------------ PUBLICATION Accepted regular papers and a selection of accepted short papers of all workshops and symposia co-located with SEFM 2012 will be published as Post-proceedings by Springer in a volume of Lecture Notes in Computer Science (http://www.springer.com/lncs). Condition for inclusion in the Post-proceedings is that at least one of the co-authors has presented the paper at the workshop or symposium. Pre-proceedings will be available online before the events take place. ------------------------------------------------------------------------------ FM+AM 2012 3rd Int. Workshop on Formal Methods and Agile Methods http://ssfm.cs.up.ac.za/workshop/FMAM12.htm There is wide-spread agreement amongst software engineers that Formal Methods (FM) are generally "too slow" in their application, whereas Agile Methods (AM) in their extreme form cannot sufficiently produce the degree of software reliability which is needed, for example, for safety- and industry-critical software systems, including embedded systems in various environments. Consequently it makes sense to search for feasible combinations of "the best of both worlds", with the goal of making the application of FM faster and the application of AM more formally sound. This is the purpose of the workshop FM+AM'12, which is going to be held for the 3rd time. For this workshop we are seeking original, previously unpublished papers, theoretical or empirical, from academia or industry, which clearly address the above-mentioned problems and which convincingly provide novel concepts, methods, experience reports, or CASE tools to the combination of FM and AM in all phases of the software cycle, including requirements elicitation, software architecture, programming, testing, software maintenance, etc. ------------------------------------------------------------------------------- OpenCert 2012 6th Int. Workshop on Foundations and Techniques for Open Source Software Certification http://opencert.iist.unu.edu/ State-of-the-art Open Source Software, by the very nature of its open, unconventional, distributed development model, makes software quality assessment, let alone full certification, particularly hard to achieve and raises important challenges both from the technical/methodological and the managerial points of view. This makes the use of OSS, and, in particular, its integration within complex industrial-strength applications, with stringent security requirements, a risk but also an opportunity and a challenge for rigorous, mathematically based, methods in software analysis and engineering. In such a context, the aim of this workshop is to bring together researchers from academia and industry who are broadly interested in the quality assessment of open source software projects, ultimately leading to the establishment of coherent certification processes, at different levels. Contributions are expected to foster a broad debate on OSS assessment and certification. ------------------------------------------------------------------------------- InSuEdu 2012 1st Int. Symposium on Innovation and Sustainability in Education http://insuedu.iist.unu.edu/ The aim of the Symposium is to bring together educators, researchers and policy-makers who are interested in investigating innovative and sustainable models, methodologies and tools for any level of education. We especially welcome papers that propose approaches to introduce and sustain innovation in educational systems. Examples in this sense are innovation and/or sustainability in * formal and informal learning processes; * online collaborative learning, peer-production and involvement in real-world projects; * areas and contexts presenting particular challenging aspects, such as: - training to usage of computer and technological tools to aged or unwilling learners; - education of communities who are geographically distributed or live in remote areas; - inclusion of people with temporary or permanent disabilities; - learning in complex domains (e.g. mathematical/formal principles, methodologies and techniques) and/or with critical target users (e.g. students or practitioners with limited background); * the Technology Enhanced Learning research area; * the use of educational systems and methodologies in applications that address problems of sustainable development, such as poverty reduction. ------------------------------------------------------------------------------- MoKMaSD 2012 1st Int. Symposium on Modelling and Knowledge Management for Sustainable Development http://mokmasd.iist.unu.edu/ The aim of the Symposium 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 and using knowledge management strategies, technology and systems in various domain areas, including economy, governance, health, biology, ecology, climate and poverty reduction, that address problems of sustainable development. Papers that present a synergistic approach that integrates modelling and knowledge management and/or illustrate 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 regular 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. -- Antonio Cerone United Nations University UNU-IIST, Macau SAR China
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
