[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FSEN 2013: Final Call for Papers (Extended Deadlines)



Our apologies if you have received multiple copies. 

###################################################################### 
FINAL CALL FOR PAPERS 

Fifth International Conference on 
Fundamentals of Software Engineering 2013
Theory and Practice 
(FSEN '13) 

http://fsen.ir/2013

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: November 2, 2012 (extended)
Paper Submission: Novemver 9, 2012 (extended)
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:

* 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
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 

- Jose Meseguer (UIUC, USA)

- Akinori Yonezawa (University of Tokyo, Japan)

---------------------------------------------------------------------