Visible to the public FormaliSE 2017Conflict Detection Enabled

Submitted by Anonymous on Wed, 12/07/2016 - 12:14pm
May 27, 2017 7:00 am - 6:00 pm -04

5th FME Workshop on Formal Methods in Software Engineering (FORMALISE 2017)

27th May 2017 | Buenos Aires, Argentina | http://www.formalise.org/

co-located with ICSE 2017 (May 20th-May 28th)

INTRODUCTION

FormaliSE is a yearly workshop on Formal Methods in Software Engineering.

FormaliSE is organized by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering). The main goal of the workshop is to foster integration between the formal methods and the software engineering communities. 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. This is where formal methods (FMs) have a huge opportunity.

AREAS OF INTEREST include but are not limited to:

  • Integration of FMs in the software development life cycle
  • Ability of FMs to handle real-world problems;
  • Scalability of FM applications
  • Prescriptive/objective guidance in the use of FMs
  • Performance analysis based on formal approaches
  • FMs in a certification context
  • "Lightweight" or usable FMs
  • Rigorous software engineering approaches and their tool support
  • Case studies
  • Model-based approaches, including model-driven development
  • Formal approaches in the development of cyber-physical systems
  • Experimental validation

OC/PC CHAIRS

  • Stefania Gnesi (ISTI-CNR, Italy),
  • Nico Plat (Thanos, The Netherlands)
  • Hernan Melgratti (ICC- UBA-CONICET, Argentina).

We can be reached at oc@formalise.org.

PROGRAM COMMITTEE

  • Gustavo Betarte (Universidad de la Republica, Uruguay)
  • Andreas Bollin (Klagenfurt University, Austria)
  • Christiano Braga (Universidade Federal Fluminense, Brazil)
  • Ana Cavalcanti (York University, UK)
  • Nancy Day (University of Waterloo, Canada)
  • Ben Di Vito (NASA Langley Research Center, United States)
  • Alessandro Fantechi (University of Florence, Italy)
  • Antonio Filieri (Imperial College, United Kingdom)
  • Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
  • Malte Lochau (Technische Universitat Darmstadt, Germany)
  • Nicolas D'Ippolito (Universidad de Buenos Aires, Argentina)
  • Peter Gorm Larsen (Aarhus University, Denmark)
  • Marc Lawford (MacMaster University, Canada)
  • Thierry Lecomte (ClearSy, France)
  • Yves Ledru (Universite Grenoble Alpes, France)
  • Axel Legay (INRIA Rennes, France)
  • Ravidra Metta (TCS, India)
  • Tomohiro Oda (Software Research Associates, Inc., Japan)
  • Liliana Pasquale (University College Dublin & Lero, Ireland)
  • Patrizio Pelliccione (Univ. Goteborg Sweden)
  • Kenneth Pierce (Newcastle University, UK)
  • Sanjai Rayadurgam, (University of Minnesota, USA)
  • Matteo Rossi (Politecnico di Milano, Italy)
  • Thomas Santen (Microsoft, Germany)
  • Antonella Santone (Sannio University, Italy)
  • Laura Semini (Pisa University, Italy)
  • Marjan Sirjani, (Reykjavik University, Iceland)
  • Paola Spoletini (Kennesaw StateUniv. USA)
  • Jun Sun (Singapore University, Singapore)
  • Marcel Verhoef (European Space Agency, The Netherlands)
Event Details
Location: 
Buenos Aires, Argentina
URL: 
http://www.formalise.org/