posted by user: hhojjat || 6033 views || tracked by 10 users: [display]

FSEN 2015 : Fundamentals of Software Engineering

FacebookTwitterLinkedInGoogle


Conference Series : Fundamentals of Software Engineering
 
Link: http://fsen.ir/2015/
 
When Apr 22, 2015 - Apr 24, 2015
Where Tehran, Iran
Abstract Registration Due Nov 7, 2014
Submission Deadline Nov 14, 2014
Notification Due Dec 26, 2014
Final Version Due Jan 16, 2015
Categories    software engineering   formal methods   software testing   model checking
 

Call For Papers

######################################################################
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 (*** Extended to November 7, 2014 ***)
Paper Submission: October 31, 2014 (*** Extended to November 14, 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

Related Resources

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
BIBC 2024   5th International Conference on Big Data, IOT and Blockchain
ICVARS 2025   ACM--2025 9th International Conference on Virtual and Augmented Reality Simulations (ICVARS 2025)
RTEE 2024   10th International Conference on Recent Trends in Electrical Engineering
ICFCC--EI 2025   2025 The 17th International Conference on Future Computer and Communication (ICFCC 2025)
DSML 2024   5th International Conference on Data Science and Machine Learning
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
ELE 2024   8th International Conference on Electrical Engineering
ICCCI--EI 2025   2025 7th International Conference on Computer Communication and the Internet (ICCCI 2025)
EEI 2024   10th International Conference on Emerging Trends in Electrical, Electronics & Instrumentation Engineering