[ecoop-info] 2nd Call for Papers: FormaliSE 2017

[Announcements of FME events]

2nd Call for Papers: FormaliSE 2017
5th FME Workshop on Formal Methods in Software Engineering (27th May 2017)
co-located with ICSE 2017 (May 20th–May 28th), Buenos Aires, Argentina
http://www.formalise.org/

*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

The *program* features invited talks and presentations of submitted 
papers.  Nazareno Aguirre (CONICET and Universidad Nacional de Río 
Cuarto) will give a keynote presentation. The workshop finishes with a 
panel discussion.

We invite you to *submit*:

  * /Full papers/ that must describe authors' original research work and
    results.
  * /Case study papers/ that should identify lessons learned, validate
    theoretical results (such as scalability of methods) or provide
    specific motivation for further research and development.
  * /Research ideas/: FormaliSE encourages the submissions of new
    research ideas in order to stimulate discussions at the workshop.

*Papers* are limited to 7 pages using ACM Formatting Guidelines. See for 
details: 
http://www.acm.org/publications/article-templates/proceedings-template.html. 
Papers must be unpublished original work and should not be under review 
or submitted elsewhere while being under consideration. PC members will 
review all   submissions. Papers will be judged on the basis of their 
clarity, relevance, originality, and contribution to the field. 
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=formalise2017.

All *accepted contributions* are *published* as an ICSE 2017 Workshop 
Proceedings in the ACM and IEEE Digital Libraries. The official 
publication date of the workshop proceedings is the date the proceedings 
are made available in the ACM Digital Library. This date may be up to 
two weeks prior to the first day of ICSE 2017. The official publication 
date affects the deadline for any patent filings related to published 
work. Authors of accepted papers are expected to register and present 
their paper at the Workshop.

*Important dates* are:
/20 January 2017/: submission deadline for workshop papers
/17 February 2017/: notification of acceptance/rejection to authors
/27 February 2017/: camera-ready copy deadline for workshop paper

*OC/PC Chairs* are Stefania Gnesi (ISTI-CNR, Italy), Nico Plat (Thanos, 
The Netherlands) and Hernán Melgratti (ICC- UBA-CONICET, Argentina). We 
can be reached at oc at formalise.org. If you intend to submit a paper you 
are invited to inform us in advance.

The *program committee* consists of:

  * Gustavo Betarte (Universidad de la República, 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 Universität 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. Göteborg Sweden)
  * Kenneth Pierce (Newcastle University, UK)
  * Sanjai Rayadurgam, (University of Minnesota, USA)
  * Matteo Rossi (Politecnico di Milano, Italy)
  * Thomas Santen (Technical University of Berlin, 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)

-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events