posted by organizer: nicoplat || 18176 views || tracked by 8 users: [display]

FormaliSE 2017 : FME Workshop on Formal Methods in Software Engineering

FacebookTwitterLinkedInGoogle

Link: http://www.formalise.org/
 
When May 27, 2017 - May 27, 2017
Where Buenos Aires, Argentina
Submission Deadline Jan 20, 2017
Notification Due Feb 17, 2017
Final Version Due Feb 27, 2017
Categories    formal methods   software engineering   cyber-physical systems   computer science
 

Call For Papers

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. The
workshop also includes a panel discussion, addressing the subjects that came up
during the workshop.

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@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)

Related Resources

ICFEM 2024   International Conference on Formal Engineering Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
FM 2024   Formal Methods
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)