FSEN 2009
 |
 |
call for papers / txt
FSEN09 3rd International Confrence on Fundamentals of Software Engineering (FSEN'09) 15 - 17 April, Kish Island, Persian Gulf, Iran Home Topics of Interest Call For Papers Proceedings Important Dates Keynote Speakers Committees Programme Registration Travel Info In cooperation with: Home | FSEN'05 | FSEN'07 About 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 and 2007, the next event in the FSEN series will take place in Kish, Persian Gulf, Iran, April 15-17, 2009. The post-proceedings of FSEN09 will be published by Springer Verlag inthe LNCS series (to be confirmed). The proceedings of FSEN07 was published in the LNCS series: LNCS 4767 (2007). A special issue of Fundamenta Informaticae is being published, containing the extended versions of a selection of papers of FSEN07. The proceedings of FSEN05 was published in the ENTCS series: ENTCS 159 (2006). Two special issues were published containing the extended versions of a selection of papers of FSEN05: Special issue in Fundamenta Informaticae (FI): Behavior of Composed Concurrent Systems: Logic and Reasoning FI 82 (2008) Special issue in Journal of Universal Computing (J.UCS): Applications of Formal Methods to System Design and Verification. J.UCS 13(13) (2007) Topics of Interest 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 Back to top Call for Papers The length of each paper including figures and references must not exceed 15 pages and should conform to Springer LNCS style. All papers must be submitted in PDF or postscript format. Submissions should explicitly state their contribution and their relevance to the theme of the symposium. Other criteria for selection will be originality, significance, correctness, and clarity. Simultaneous or similar submissions to other conferences or journals are not allowed. You can submit your papers/abstracts via the following link: http://www.easychair.org/conferences/?conf=fsen09 Back to top Proceedings The post-proceedings of FSEN09 will be published by Springer Verlag inthe LNCS series(to be confirmed). Back to top Important Dates Abstract Submission: October 20 , 2008 Paper Submission: October 27 , 2008 Notification: December 15, 2008 Camera Ready: January 12 , 2009 Symposium: April 15-17, 2009 Back to top Keynote Speakers to be announced. Back to top General Chair Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Back to top Program Chairs Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Marjan Sirjani - University of Tehran, Iran; IPM, Iran Back to top Steering Committee Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Bonn, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Sharif University of Technology, Iran Marjan Sirjani - University of Tehran, Iran; IPM, Iran Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands Back to top Program Committee Luca Aceto - Reykjavík University, Reykjavík, Iceland Gul Agha - University of Illinois at Urbana - Champaign, USA Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Bonn, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Marcello Bonsangue - Leiden University, Netherlands Mario Bravetti - University of Bologna James C. Browne - University of Texas at Austin, USA Michael Butler - University of Southampton, UK David Clarke - CWI, Netherlands; K.U.Leuven, Belgium Nancy Day - University of Waterloo, Canada Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands Masahiro Fujita - University of Tokyo, Japan Maurizio Gabbrielli - University of Bologna, Italy Radu Grosu - State University of New York at Stony Brook, USA Jan Friso Groote - Technical University of Eindhoven, Netherlands Joost Kok - Leiden University, Netherlands Zhiming Liu - United Nations University, Macao, China Seyyed Hassan Mirian - 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 - IPM, Iran; Sharif University of Technology, Iran Andrea Omicini - University of Bologna, Italy Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands Davide Sangiorgi - University of Bologna, Italy Sandeep Shukla - Virginia Tech, USA Marjan Sirjani - University of Tehran, Iran; IPM, Iran Carolyn Talcott - SRI International, USA Zijiang Yang - Western Michigan University, US Back to top Copyright 2008 - IPM