posted by organizer: nicoplat || 3521 views || tracked by 10 users: [display]

FormaliSE 2014 : 2nd FME Workshop on Formal Methods in Software Engineering


When Jun 3, 2014 - Jun 3, 2014
Where Hyderabad, India
Submission Deadline Jan 31, 2014
Notification Due Feb 24, 2014
Final Version Due Mar 14, 2014
Categories    formal methods   software engineering   computer science

Call For Papers

Call for Papers: FormaliSE 2014
2nd FME Workshop on Formal Methods in Software Engineering
to be held on June 3th 2014 in conjunction with
ICSE 2014 (May 31th–June 7th), in Hyderabad, India

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 ad hoc approaches have proven inadequate to assure
the correct behavior of the delivered software. 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. Aids to
precision in each phase of software development and crosschecking are
essential, and this is precisely one the objectives of formal methods.

Formal methods (FMs) are intended to provide the means for greater precision in
both thinking and documenting the preliminary stage of the software creation
process. When done well, this can aid all aspects of software creation: user
requirement formulation, implementation, verification/testing, and the creation
of documentation. However, the maturing of formal techniques into real-life
software engineering involves providing notations and tools that are readily
understood and used by practitioners, and the integration of such tools with
activities that are far from the unrealistic assumptions that characterized
some earlier research in formal methods.

After decades of research, and despite significant advancement, formal methods
are still not widely used in industrial software development. This may be due
to the fact that the formal methods community has not enough focused its
attention to software engineering needs, and its specific role in the software
process. At the same time, from a software engineering perspective, there could
be a number of fundamental principles that might help to guide the design of
formal methods in order to make them more easily applicable in the development
of software applications.

The main goal of the workshop is to foster integration between the formal
methods and the software engineering communities with the purpose to examine
the link between the two more carefully than is currently the case.

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
- Formal methods in a certification context
- “lightweight” or usable FMs
- application experiences
- scalability of FM applications
- experimental validation

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

24 January 2014: submission deadline for workshop papers
24 February 2014: notification of acceptance/rejection to authors
14 March 2014: camera-ready copy deadline for workshop papers
3 June 2014: FormaliSE workshop held in Hyderabad, India

OC/PC CHAIRS are Stefania Gnesi (ISTI-CNR, Italy) and Nico Plat (West
Consulting BV, The Netherlands). Local organizer is Ravindra Metta (Tata
Consultancy Services, India). 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 Andreas Bollin (Klagenfurt University,
Austria), Einar Broch Johnsen (Oslo University, Norway), Manfred Broy
(Technical University München, Germany), Ana Cavalcanti (York University, UK),
Nancy Day (University of Waterloo, Canada), Cindy Eisner (IBM Haifa Research
Laboratory, Israel) , Alessandro Fantechi (University of Florence, Italy), Jaco
Geldenhuys (University of Stellenbosch, South Africa) , Jan Friso Groote
(Eindhoven University of Technology, The Netherlands), Arie Gurfinkel (Carnegie
Mellon University, USA), Mike Hinchey (Lero, Ireland), Randolph Johnson
(independent consultant, USA), Axel van Lamsweerde (University of Louvain.
Belgium), Peter Gorm Larsen (Aarhus University, Denmark), Marc Lawford
(MacMaster University, Canada), Thierry Lecomte (ClearSy, France), Yves Ledru
(IMAG, France), Axel Legay (INRIA Rennes, France), Antónia Lopes (University of
Lisbon, Portugal), István Majzik (Budapest University of Technology and
Economics, Hungary), 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), Elena
Troubitsyna (Abo University, Finland) , Sebastián Uchitel (Imperial College and
Universidad de Buenos Aires, UK and Argentina), Hironori Washizaki (Waseda
University, Japan), and Fatiha Zaïdi (LRI/CNRS, France).

Related Resources

FM 2023   Formal Methods
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
CETA 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
ESEC/FSE 2023   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
IEEE--ISCMI 2022   IEEE--2022 9th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2022)--SCIE
IEEE ICCSN 2023   IEEE--2023 15th International Conference on Communication Software and Networks (ICCSN 2023)
NLPTA 2022   3rd International Conference on NLP Techniques and Applications
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis