News
- The FSEN'13 official website is up now.
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, 2013.
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
Paper Submission
TBD
Back to top
Proceedings
TBD
Back to top
Important Dates
| Abstract Submission:
| TBD
|
| Paper Submission:
| TBD
|
| Notification:
| TBD
|
| Camera Ready:
| TBD
|
Conference:
| TBD
|
Back to top
Keynote Speakers
TBD
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 - Reykjavík University, Reykjavík, Iceland; University of Tehran, Iran
Back to top
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
Back to top
Program Committee
TBD
Back to top
Local Organization Chair
Hamidreza Shahrabi - IPM, Iran
Back to top