16th International Conference on Formal Engineering Methods

ICFEM 2014

November 3-7, Luxembourg

twitter facebook linkedin

Home
Registration
Program
Keynote Speakers
Accommodation
Location
FTSCS 2014
SOFL+MSVL
Default Privacy
VTSA 2014
Organizers
Committee
Call for Papers
Accepted Papers
Student Grants

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

VTSA 2014

Summer School 2014 on Verification Technology Systems & Applications

The summer school on verification technology, systems & applications takes place at University of Luxembourg from October 27-31, 2014. It is a co-located event with ICFEM 2014 and is organized by the Montefiore Institute, University of Luxembourg, INRIA Nancy, and the Max Planck Insitute for Informatics Saarbrücken. More detailed information can be found at the summer school's website.