Our apologies if you have received multiple copies. ###################################################################### CALL FOR PAPERS
Fifth International Conference on Fundamentals of Software Engineering 2013 Theory and Practice (FSEN '13) http://fsen.ir/2013 Tehran, Iran April 24-26, 2013 ###################################################################### About FSEN FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry, who work in every area of formal methods. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN events in 2005, 2007, 2009, and 2011, the next event in the FSEN series will take place in Tehran, Iran, April 24-26, 2013. --------------------------------------------------------------------- Important Dates Abstract Submission: October 19, 2012 Paper Submission: October 26, 2012 Notification: December 14, 2012 Camera Ready: January 11, 2013 Conference: April 24-26, 2013 --------------------------------------------------------------------- Topics of Interest The topics of this conference include, but are not restricted to, the following: * Models of programs and systems * Software specification, validation, and verification * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based development * Service-oriented development * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Application to industrial cases --------------------------------------------------------------------- Paper Submission The length of each paper including figures and references must not exceed 15 pages and should conform to the Springer LNCS style. All papers must be submitted in PDF or postscript format. Submissions should explicitly state their contribution and their relevance to the themes of the conference. Other criteria for selection will be originality, significance, correctness, and clarity. Simultaneous or similar submissions to other conferences or journals are not allowed. ---------------------------------------------------------------------- Proceedings and Special Issues The post-proceedings of FSEN'13 will be published by Springer Verlag in the LNCS series (to be confirmed). There will also be a pre-proceeding for the accepted papers, printed locally by IPM. This pre-proceeding will be made available at the conference. Following the tradition of the past editions, we plan to have a special issue of an international scientific journal devoted to FSEN'13. Selected participants will be invited to submit an extended version of their papers after the conference. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. The proceedings of FSEN'07, FSEN'09, and FSEN'11 were published in the LNCS series. A special issue of Science of Computer Programming was published (SCP 77(7-8), 2012), containing the extended versions of a selection of papers of FSEN'09. A special issue of Fundamenta Informaticae was published, containing the extended versions of a selection of papers of FSEN'07. The proceedings of FSEN'05 was published in the ENTCS series: ENTCS 159 (2006). Two special issues were published containing the extended versions of a selection of papers of FSEN'05 in Fundamenta Informaticae (FI, vol. 82, 2008) and in Journal of Universal Computing (J.UCS, 13(13), 2007). ---------------------------------------------------------------------- General Chair Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Program Chairs Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran Steering Committee Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands Program Committee Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran Gul Agha - University of Illinois at Urbana - Champaign, USA Marco Aiello - University of Groningen, Netherlands Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - TU Dresden, Germany Maria Paola Bonacina - Verona University, Italy Borzoo Bonakdarpour - University of Waterloo, Canada Marcello Bonsangue - Leiden University, Netherlands Mario Bravetti - University of Bologna, Italy Michael Butler - University of Southampton, UK Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Erik De Vink - Eindhoven University of Technology, Netherlands Klaus Dräger - University of Oxford, UK Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands Masahiro Fujita - University of Tokyo, Japan Maurizio Gabbrielli - University of Bologna, Italy Fatemeh Ghassemi - University of Tehran, Iran Jan Friso Groote - Technical University of Eindhoven, Netherlands Radu Grosu - State University of New York at Stony Brook, USA Hassan Haghighi - Shahid Beheshti University, Iran Mohammad Izadi - Sharif University of Technology, Iran Mohammad Mahdi Jaghoori - CWI, Netherlands Einar Broch Johnsen - University of Oslo, Norway Narges Khakpour - KTH, Sweden Ramtin Khosravi - University of Tehran, Iran Joost Kok - Leiden University, Netherlands Kim Larsen - Aalborg University, Denmark Zhiming Liu - United Nations University, Macao, China Sun Meng - Peking University, China Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran Ugo Montanari - University of Pisa, Italy Peter Mosses - Swansea University, UK Mohammad Reza Mousavi - Technical University of Eindhoven, Netherlands Ali Movaghar - Sharif University of Technology, Iran Hiren Patel - University of Waterloo, Canada Jose Proenca - K.U.Leuven, Belgium Philipp Ruemmer - Uppsala University, Sweden Jan Rutten - CWI, Netherlands; Radboud University Nijmegen, Netherlands Gwen Salaun - Grenoble INP, Inria, France Davide Sangiorgi - University of Bologna, Italy Wendelin Serwe - Inria, France Marjan Sirjani - Reykjavík University, Iceland; University of Tehran, Iran Carolyn Talcott - SRI International, USA Tayssir Touili - LIAFA, France ---------------------------------------------------------------------- Invited Speakers To be announced.
---- [[ 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] ]]
