posted by organizer: nicoplat || 4088 views || tracked by 11 users: [display]

FormaliSE 2015 : FME Workshop on Formal Methods in Software Engineering


When May 18, 2015 - May 18, 2015
Where Florence, Italy
Submission Deadline Jan 23, 2015
Notification Due Feb 18, 2015
Final Version Due Feb 27, 2015
Categories    formal methods   software engineering   cyber physical systems   computer science

Call For Papers

Call for Papers: FormaliSE 2015
3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with
ICSE 2015 (May 16th-May 24th), in Florence, Italy

The software industry has a long-standing and well-earned reputation for
failing to deliver on its promises and it is clear that still nowadays,
the success of software projects with the current technologies cannot be
assured. For large complex projects, many approaches have proven inadequate to
assure the correct behavior of the delivered software, despite the efforts of
the (often very skilled) software engineers involved. The lack of formalization
in key places makes software engineering overly sensitive to the weaknesses
that are inevitable in the complex activities behind software creation. It is
an increasingly complex task to develop large software systems because the
systems are huge, with very complex behavior, and many algorithms employed
today are "pushing the limits" of what people can comprehend. This is where
formal methods (FMs) have a huge opportunity. The main goal of the workshop is
to foster integration between the formal methods and the software engineering

AREAS OF INTEREST include but are not limited to:
* integration of FMs in the software development life cycle
* ability of formal methods to handle real-world problems├┐
* prescriptive/objective guidance in the use of FMs
* performance analysis based on formal approaches;
* formal methods in a certification context
* "lightweight" or usable FMs
* application experiences
* formal approaches to safety and security related issues
* cyber physical systems
* scalability of FM applications
* experimental validation
* rigorous software engineering approaches and their tool support
* formal approaches to safety and security related issues
* case studies developed/analyzed with formal approaches

The PROGRAM will start with an invited speaker, followed by presentations of
submitted papers. The workshop will end with a round table discussion (PC
members and workshop audience), focusing on the subjects that came up during
the workshop.

SUBMISSIONS are limited to 7 pages in ACM Formatting Guidelines(*) (LaTeX
users, please use the "Option 2" style). They will be published as part of the
(electronic) proceedings of ICSE 2013. All papers submitted to the workshop
must be unpublished original work and should not be under review or submitted
elsewhere while being under consideration. All submissions must be in English
and in PDF format through online upload to the workshop submission website at
the following URL:

Three or four PC members will review all submissions. Papers will be judged on
the basis of their clarity, relevance, originality, and contribution to the

PROCEEDINGS will be published by IEEE Computer Society. At least one of the
authors of an accepted paper is expected to register and be present at the

IMPORTANT DATES are as follows:
- 23 January 2015: submission deadline for workshop papers
- 18 February 2015: notification of acceptance/rejection to authors
- 27 February 2015: camera-ready copy deadline for workshop papers
- 18 May 2015: FormaliSE workshop held in Florence, Italy

OC/PC Chairs are Stefania Gnesi (ISTI-CNR, Italy) and Nico Plat (West
Consulting BV, The Netherlands). The OC/PC Chairs can be reached via e-mail: If you intend to submit a paper you are invited to inform us
in advance.

The PROGRAM COMMITTEE consists of:
- Keijiro Araki (Kyushu University, Japan)
- Andreas Bollinn (Klagenfurt University, Austria)
- Ana Cavalcanti (York University, UK)
- Manfred Broy (Technical University of Munich, Germany)
- Roderick Chapman (Protean Code Ltd., UK)
- Nancy Day (University of Waterloo, Canada)
- Ewen Denney (SGT/NASA Ames, USA)
- Nicolas D'Ippolito (Universidad de Buenos Aires, Argentina)
- Cindy Eisner (IBM Haifa Research Laboratory, Israel)
- Alessandro Fantechi (University of Florence, Italy)
- Antonio Filieri (University of Stuttgart, Germany)
- Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
- Mats P.E. Heimdahl (University of Minnesota, USA)
- Claire Ingram (Newcastle University, UK)
- Peter Gorm Larsen (Aarhus University, Denmark)
- Marc Lawford (MacMaster University, Canada)
- Thierry Lecomte (ClearSy, France)
- Yves Ledru (IMAG, France)
- Axel Legay (INRIA Rennes, France)
- Antonia Lopes (University of Lisbon, Portugal)
- Tiziana Margaria (Potsdam University, Germany)
- Ravindra Metta (Tata Consultancy Services, India)
- Henry Muccini (Universita degli Studi dell?Aquila, Italy)
- Matteo Rossi (Politecnico di Milano, Italy)
- Thomas Santen (Microsoft, UK)
- Laura Semini (Pisa University, Italy)
- Marjan Sirjani (Reykjavik University, Iceland)

(*) Exact formatting guidelines are to be confirmed by ICSE. Please see our
website for the latest information.

Related Resources

IFM 2023   Integrated Formal Methods
EI-CFAIS 2023   2023 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2023)
AREA 2023   Agents and Robots for reliable Engineered Autonomy
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
BIOS 2023   9th International Conference on Bioinformatics & Biosciences
CSSE 2023   International Conference on Computer Science and Software Engineering
ICSE 2024   The IEEE/ACM International Conference on Software Engineering (Second Round)
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
IEEE ICCC 2023   IEEE--2023 9th International Conference on Computer and Communications (ICCC 2023)
TACC 2023   3rd Tunisian-Algerian Conference on Applied Computing