16th International Conference on Formal Engineering Methods

ICFEM 2014, Luxembourg, 3-7 November 2014

 

Call for Participation

 

http://icfem2014.uni.lu

----------------------------------------

The 16th International Conference on Formal Engineering Methods (ICFEM

2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from

3rd November to 7 November 2014. Since 1997, ICFEM has been serving as

an international forum for researchers and practitioners who have been

seriously applying formal methods to practical applications.

 

 

Highlights:

----------------------------------------

+ Keynote speakers: Nikolaj Bjorner (Microsoft Research), Lionel

Briand (University of Luxembourg) and Vincent Danos (University of

Edinburgh)

+ A provisional programme and the list of accepted paper are now available

(http://icfem2014.uni.lu/program.php, http://icfem2014.uni.lu/accepted.php)

+ Early registration by September 27, 2014

(http://icfem2014.uni.lu/registration.php)

 

 

PC Chairs

----------------------------------------

+ Stephan Merz (INRIA, France)

+ Jun Pang (University of Luxembourg, Luxembourg)



CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents.

Towards a sustainable earth:Print only when necessary.Thank you.