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

You can submit your papers/abstracts via the following link: https://www.easychair.org/account/signin.cgi?timeout=1;conf=fsen13

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

Jan Bergstra - University of Amsterdam, Netherlands

Carlo Ghezzi - Politecnico di Milano, Italy

Joost-Pieter Katoen - RWTH Aachen University, Germany

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

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

Back to top


Local Organization Chair

Hamidreza Shahrabi - IPM, Iran

Back to top