The aim of the conference is to bring together practitioners and<br>researchers from academia, industry and government to advance the<br>state of the art in formal methods, to scale up their application in<br>the software industry and to encourage their integration with<br>practical engineering methods. Papers that apply formal methods to<br>software engineering are especially welcome.<br>The topics of this conference include, but are not limited to:<br>– Formal requirement analysis, modeling, specification and design<br>– Abstraction and refinement<br>– Formal methods for probabilistic verification and synthesis<br>– Programming languages, program analysis and type theory<br>– Formal methods for self–adaptive systems, service–oriented and cloud computing<br>– Formal aspects of security and mobility<br>– Model checking, theorem proving and decision procedures<br>– Formal methods for real–time, hybrid and embedded systems<br>– Formal methods for safety–critical, fault–tolerant and secure systems<br>– Software architecture and coordination languages<br>– Software verification and validation<br>– Component, object and multi–agent systems<br>– Formal aspects of software evolution and maintenance<br>– Formal methods for testing, re–engineering and reuse<br>– Light–weight and scalable formal methods<br>– Tool integration<br>– Applications of formal methods, industrial case studies and technology transfer<br>– Education and formal methods<br>
Abbrevation
SEFM
City
Grenoble
Country
France
Deadline Paper
Start Date
End Date
Abstract