[Haskell] ICFEM 2014 Call for Participation

[Liu Yang (Asst Prof)]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20140911/06fcfa71/attachment.html>