FMI 2018: The 6th IEEE International Workshop on Formal Methods Integration |
Website | http://www.sis.pitt.edu/iri2018/workshop_fmi.html |
Submission link | https://easychair.org/conferences/?conf=fmi2018 |
Submission deadline | May 2, 2018 |
Formal Methods (FM) are mathematically based techniques to model, design, and analyze
computing systems. Such techniques aim at improving the dependability of computing systems.
Different techniques may be required throughout the development life cycle and to cover the
different aspects of the system.
Machine learning and nowadays deep neural networks match human abilities in various
tasks. Solutions based on machine learning are ubiquitous, from automated medical diagnosis and
self-driving cars to security. However, machine learning does not offer guarantees or reasoning
techniques to prove the dependability of the automated decisions. Such systems must be
verified/validated using existing techniques or call for new techniques. Formal reasoning techniques
are needed to arrive at as well as to explain deductive and even inductive conclusions.
This year's workshop is dedicated to the memory of Prof. Thouraya Bouabana-Tebibel who
founded the series and organized all of the previous years. The workshop seeks contributions from
researchers and practitioners interested in all aspects of integrated methods, either formal or semi-
formal, for system development covering all engineering development phases from user
requirements through validation/testing. The workshop encourages contributions from new
initiatives building bridges between FM and machine learning, especially contributions using FM as
a tool to verify safety-critical machine learning systems. Moreover, logics for learning and
generalization, which are distinct from neural methods are especially welcome.
Submission Guidelines
Submitted papers must be unpublished and not considered elsewhere for publication.
Submissions will undergo a rigorous review process handled by the Technical Program Committee.
Papers will be selected based on their originality, significance, relevance, and clarity of
presentation. Papers must be in English, up to 8 pages in IEEE format, including
references and appendices. The IEEE LaTeX and Microsoft Word templates, as well as formatting
guidelines, can be found on the paper submission instructions available at the main conference
website (http://www.sis.pitt.edu/iri2018/)
List of Topics
Topics of interest include, but are not limited to:
- Modelling uncertainty in deep learning
- Verification methodologies for machine learning
- Integration of deep learning modules for deeper learning
- Methods for, results in, and applications of auto-associative neural network
- Axiomatic and denotational semantics for provable higher-level specifications
- Predicate calculi for concept capture and resolution
- Integrated software/hardware specification and analysis
- Hybrid and embedded systems modeling and analysis
- Object and multi-agent systems modeling and analysis
- Requirement specification and analysis
- Software and hardware specification, verification, and validation
- Theorem proving and decision procedures
- Formal aspects of software evolution and maintenance
- Formal methods for re-engineering and reuse
- Randomization-based methods for simplification/optimization
- Formal languages integration
- Semi-formal (UML, SysML, ...) and formal model integration
- Informal and formal language integration
- Integration of formal methods into software engineering practice
- Integrated analysis techniques
- Tools integration
- Integrated formal methods in education
- Integrated formal methods in health
- Integrated formal methods in industry
- Integrated formal methods in security
Workshop Co-chairs
• Lydia Bouzar-Benlabiod - École nationale Supérieure d’Informatique (ESI), Algeria
• Ferhat Khendek - Concordia University, Canada
• Stuart Rubin – SPAWAR SYSTEMS CENTER PACIFIC (SSC-Pacific), USA
Program Committee
Erika Ábrahám, RWTH Aachen University, Germany
Yamine Ait Ameur, University of Toulouse, France
Luis Barbosa, Universidade do Minho, Portugal
Luciano Baresi, Politecnico di Milano, Italy
Kamel Barkaoui, CNAM, France
Simona Bernardi, University of Zaragoza, Spain
Radu Calinescu, University of York, UK
Allaoua Chaoui, University of Constantine, Algeria
Ewen Denney, NASA Ames Research Center, USA
John Derrick, University of Sheffield, UK
Alex Groce, Northern Arizona University, USA
Abdelwahab Hamou-Lhadj, Concordia University, Canada
Xiaowei Huang, University of Liverpool, UK
Nadjet Kamel, University of Sétif, Algeria
Alexander Knapp, University of Augsburg, Germany
José Merseguer, University of Zaragoza, Spain
Lila Meziani, École nationale Supérieure d’Informatique ESI, Algeria
Alexandre Mota, Centre of Informatics, Brazil
John Mullins, École polytechnique de Montréal, Canada
Alexandre Petrenko, Centre de Recherche Informatique de Montréal, Canada
Matteo Rossi, Politecnico di Milano, Italy
Kristin Yvonne Rozier, NASA Ames Research Center, USA
Djamel Eddine Saidouni, University of Constantine, Algeria
Jiri Srba, Aalborg University, Denmark
Contact
l_bouzar@esi.dz