Key Dates

March 22, 2014

Workshop/Tutorial Proposals

April 25, 2014

Abstract submission deadline (extended)

May 4, 2014

Paper submission deadline (extended)

June 20, 2014

Notification

July 13, 2014

Camera-ready due

Author registration deadline

September 27, 2014

Early registration deadline

November 3-5, 2014

Conference date

November 6-7, 2014

Affiliated workshops date

Recent News

October 14, 2013

The webpage goes live.

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.

FNR Logo CSC Logo