Our apologies if you have received multiple copies.
SECOND CALL FOR PAPERS
Fifth International Conference on Fundamentals of Software Engineering 2013 Theory and Practice (FSEN ’13)
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:
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
Publicity Chair
Gwen Salaun - Grenoble INP, Inria, France
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 Jan Bergstra - University of Amsterdam, Netherlands Maria Paola Bonacina - Universita’ degli Studi di Verona, 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 Peter Csaba Ölveczky - University of Oslo, Norway Erik De Vink - Eindhoven University of Technology, Netherlands Klaus Dräger - University of Oxford, UK Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands Lars-Ake Fredlund - Universidad Politécnica de Madrid, Spain Masahiro Fujita - University of Tokyo, Japan Maurizio Gabbrielli - University of Bologna, Italy Fatemeh Ghassemi - University of Tehran, Iran Carlo Ghezzi - Politecnico di Milano, Italy 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 Joost-Pieter Katoen - RWTH Aachen University, Germany 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