[FM-India] FormaliSE 2015: Call for Papers (deadline approaching!)

Madhavan Mukund madhavan at cmi.ac.in
Sat Jan 17 10:42:00 IST 2015


 Date: Fri, 16 Jan 2015 13:02:57 +0100
 From: Nico Plat <mail at nicoplat.com>
 To: fmindia at cmi.ac.in
 Subject: FormaliSE 2015: Call for Papers (deadline approaching!)
 
                         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
                            http://www.formalise.org/
 
 INTRODUCTION
 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 behaviour 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 behaviour, 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
 communities.
 
 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 and must use the IEEE Formatting Guidelines
 (see http://2015.icse-conferences.org/submission-guidelines for details and
 templates). They will be published as part of the (electronic) proceedings of
 ICSE 2015. 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:
 
         https://www.easychair.org/conferences/?conf=formalise2015
 
 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
 field.
 
 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
 workshop.
 
 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:
 oc at formalise.org. 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)
 
 



More information about the FMIndia mailing list