Welcome to ICFEM 2014

Introduction

Since 1997, ICFEM has provided a forum for those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.

The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to help advance the state of the art. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible as well as engineering benefit.

Conference Proceedings

The conference proceedings Springer LNCS 8829 is now avaible online. You can find information about it at this link or access its online version.

Formal Aspects of Computing Special Issue on Formal Engineering Methods

Call for Papers

Imporant deadlines:
Submission deadline: 1 May 31 May 2015 (extended and firm)
Notification: 30 September 2015