[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Our apologies if you have received multiple copies.
######################################################################
FSEN 2015: CALL FOR PAPERS
Sixth International Conference on
Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15)
http://fsen.ir/2015
Tehran, Iran
22 - 24 April, 2015
######################################################################
-- About FSEN --
FSEN is an international conference that aims to bring together
researchers, engineers, developers,
and practitioners from the academia and the industry to present and
discuss their research work in
the area of formal methods for software engineering. 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.
-- Important Dates --
Abstract Submission: October 24, 2014
Paper Submission: October 31, 2014
Notification: December 26, 2014
Camera Ready: January 16, 2015
Conference: April 22-24, 2015
-- Keynote Speakers --
Holger Giese, Hasso Plattner Institute, Germany
John Hughes, Chalmers University of Technology, Sweden
Paola Inverardi, University of L'Aquila, Italy
-- Topics of Interest --
The topics of this conference include, but are not restricted to, the
following:
* Models of programs and software systems
* Software specification, validation, and verification
* Software testing
* 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 and Service-oriented software systems
* Self-adaptive software systems
* Model checking and theorem proving
* Software and hardware verification
* CASE tools and tool integration
* Industrial Applications
-- Paper Submission --
Papers should be formatted according to the Springer LNCS style,
not exceed 15 pages (including figures and references), submitted in PDF
or postscript format,
and not be submitted simultaneously for publication elsewhere.
Papers will be evaluated based on originality, significance, relevance,
correctness and clarity.
-- Proceedings and Special Issues --
The post-proceedings of FSEN'15 will be published by Springer Verlag in
the LNCS series
(official approval in process). There will also be a pre-proceeding,
printed locally by IPM,
available at the conference. Following the tradition of the past editions,
we plan to have a special issue of Science of Computer Programming
journal devoted to FSEN'15 (to be confirmed).
-- General Chair --
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
-- Program Chairs --
Mehdi Dastani - Utrecht University, The Netherlands
Marjan Sirjani - Reykjavík University, Iceland; University of Tehran, Iran
-- Publicity Chair --
Hossein Hojjat - Cornell University, USA
-- 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 (chair)
Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands
-- Program Committee --
Mohammad Abdollahi Azgomi - Iran University of Science and Technology,
Iran
Christel Baier - TU Dresden, Germany
Ezio Bartocci, Vienna University of Technology, Austria
Borzoo Bonakdarpour - University of Waterloo, Canada
Marcello Bonsangue - Leiden University, Netherlands
Mario Bravetti - University of Bologna, Italy
Fabiano Dalpiaz - Utrecht University, Netherlands
Mehdi Dastani - Utrecht University, Netherlands
Erik De Vink - Technical University of Eindhoven, Netherlands
Klaus Dräger - University of Oxford, UK
Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands
Masahiro Fujita - University of Tokyo, Japan
Maurizio Gabbrielli - University of Bologna, Italy
Fatemeh Ghassemi - University of Tehran, Iran
Jan Friso Groote - Technical University of Eindhoven, Netherlands
Hassan Haghighi - Shahid Beheshti University, Iran
Hossein Hojjat - Cornell University, USA
Mohammad Izadi - Sharif University of Technology, Iran
Mohammad Mahdi Jaghoori - CWI, Netherlands; Academic Medical Center of
University of Amsterdam, 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
Zhiming Liu - Birmingham City University, UK
Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran
Ugo Montanari - University of Pisa, Italy
Peter Mosses - Swansea University, UK
Mohammad Reza Mousavi - Halmstad University, Sweden
Ali Movaghar - Sharif University of Technology, Iran
Peter Olveczky - University of Oslo, Norway
Jose Proenca - K.U.Leuven, Belgium
Niloofar Razavi - University of Toronto, Canada
Philipp Ruemmer - Uppsala University, Sweden
Gwen Salaun - Grenoble INP, Inria, France
Cesar Sanchez - IMDEA Software Institute, Spain
Wendelin Serwe - INRIA, France
Marjan Sirjani - Reykjavik University, Iceland
Meng Sun - Peking University, China
Carolyn Talcott - SRI International, USA
Samira Tasharofi - Microsoft, USA
Tayssir Touili - LIAFA, France
Danny Weyns - Linnaeus University, Sweden
