April 20-22, 2011
Tehran, Iran
In cooperation with:
News
About
FSEN is a 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 and 2009, the next event in the FSEN series will take place in Tehran, Iran, April 20-22, 2011.
Download larger version of the poster
Topics of Interest
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 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: https://www.easychair.org/account/signin.cgi?timeout=1;conf=fsen11
Back to top
Proceedings
The post-proceedings of FSEN'11 will be published by Springer Verlag in the LNCS series(Lecture Notes in Computer Science). There will also be a pre-proceeding for the accepted papers, which is printed locally by IPM. This pre-proceeding will be made available at the conference.
The proceedings of FSEN07 and FSEN09 were published in the LNCS series. A special issue of Science of Computer Programming is being published, containing the extended versions of a selection of papers of FSEN09. A special issue of Fundamenta Informaticae was 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 in Fundamenta Informaticae (FI, vol. 82, 2008) and in Journal of Universal Computing (J.UCS, 13(13), 2007).
Back to top
Important Dates
Back to top
Keynote Speakers
General Chair
Back to top
Program Chairs
Steering Committee
Program Committee
- FSEN 2011 proceedings, published in 2012, have been one of the top 50% most downloaded eBooks in the relevant Springer eBook Collection in 2012, according to a recent report from Springer.
- Attention: Official paperwork to issue visas takes time, but they are usually issued and for previous FSENs (and other events) we had no problem. So, we recommend you to book your flight.
- The conference program is available now. Click here to see the pdf version.
- The registration page is open now. Click here to register.
About
FSEN is a 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 and 2009, the next event in the FSEN series will take place in Tehran, Iran, April 20-22, 2011.
Download larger version of the poster
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
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 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: https://www.easychair.org/account/signin.cgi?timeout=1;conf=fsen11
Back to top
Proceedings
The post-proceedings of FSEN'11 will be published by Springer Verlag in the LNCS series(Lecture Notes in Computer Science). There will also be a pre-proceeding for the accepted papers, which is printed locally by IPM. This pre-proceeding will be made available at the conference.
The proceedings of FSEN07 and FSEN09 were published in the LNCS series. A special issue of Science of Computer Programming is being published, containing the extended versions of a selection of papers of FSEN09. A special issue of Fundamenta Informaticae was 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 in Fundamenta Informaticae (FI, vol. 82, 2008) and in Journal of Universal Computing (J.UCS, 13(13), 2007).
Back to top
Important Dates
| Abstract Submission: | November 1, 2010 (extended) |
| Paper Submission: | November 8, 2010 (extended) |
| Notification: | December 13, 2010 |
| Camera Ready: | January 28, 2011 |
| Conference:
|
April 20-22, 2011
|
Keynote Speakers
- Jan Bergstra - University of Amsterdam, Netherlands
- Carlo Ghezzi - Politecnico di Milano, Italy
- Joost-Pieter Katoen - RWTH Aachen University, Germany
General Chair
Back to top
Program Chairs
- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
- Marjan Sirjani - Reykjavík University, Reykjavík, 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, Sharif University of Technology, Iran
- Marjan Sirjani - Reykjavík University, Reykjavík, Iceland; University of Tehran, Iran
- Jan Rutten - CWI, Netherlands; Radboud University Nijmegen, Netherlands
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
- Jos Baeten - Eindhoven University of Technology, Netherlands
- Christel Baier - University of Dresden, Germany
- Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
- Marcello Bonsangue - Leiden University, Netherlands
- Mario Bravetti - University of Bologna, Italy
- James C. Browne - University of Texas at Austin, USA
- Einar Broch Johnsen - University of Oslo, Norway
- Michael Butler - University of Southampton, UK
- David Clarke - Katholieke University Leuven, Belgium
- 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
- Ramtin Khosravi - University of Tehran, Iran
- Kim Larsen - Aalborg University, Denmark
- Zhiming Liu - United Nations University, Macao, China
- Seyyed Hassan Mirian - Sharif University of Technology, Iran
- Sun Meng - Peking University, China
- 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
- Saeed Parsa - Iran University of Science & Technology, Iran
- Hiren Patel - University of Waterloo, Canada
- Jan Rutten - CWI, Netherlands; Radboud University Nijmegen, Netherlands
- Davide Sangiorgi - University of Bologna, Italy
- Marjan Sirjani - Reykjavík University, Reykjavík, Iceland; University of Tehran, Iran
- Carolyn Talcott - SRI International, USA
- Erik de Vink - Technical University of Eindhoven, Netherlands