[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell
Subject: [Haskell] ICFEM 2014 Call for Participation
From: "Liu Yang (Asst Prof)" <yangliu () ntu ! edu ! sg>
Date: 2014-09-11 8:50:49
Message-ID: 5A4257BA3B1EEA45B17620B30FD656E12CB06318 () EXCHMBOX31 ! staff ! main ! ntu ! edu ! sg
[Download RAW message or body]
[Attachment #2 (text/plain)]
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.
[Attachment #3 (text/html)]
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style>
<!--
@font-face
{font-family:SimSun}
@font-face
{font-family:"Cambria Math"}
@font-face
{font-family:Calibri}
@font-face
{}
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif"}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif"}
span.PlainTextChar
{font-family:"Calibri","sans-serif"}
span.EmailStyle19
{font-family:"Calibri","sans-serif";
color:windowtext}
span.EmailStyle20
{font-family:"Calibri","sans-serif";
color:#1F497D}
span.aqj
{}
span.EmailStyle22
{font-family:"Calibri","sans-serif";
color:#1F497D}
.MsoChpDefault
{font-size:10.0pt}
@page WordSection1
{margin:1.0in 1.25in 1.0in 1.25in}
div.WordSection1
{}
-->
</style>
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="color:#1F497D">16th International Conference on \
Formal Engineering Methods</span></p> <p class="MsoNormal"><span \
style="color:#1F497D">ICFEM 2014, Luxembourg, 3-7 November 2014</span></p> <p \
class="MsoNormal"><span style="color:#1F497D"> </span></p> <p \
class="MsoNormal"><span style="color:#1F497D">Call for Participation</span></p> <p \
class="MsoNormal"><span style="color:#1F497D"> </span></p> <p \
class="MsoNormal"><span style="color:#1F497D">http://icfem2014.uni.lu</span></p> <p \
class="MsoNormal"><span \
style="color:#1F497D">----------------------------------------</span></p> <p \
class="MsoNormal"><span style="color:#1F497D">The 16th International Conference on \
Formal Engineering Methods (ICFEM</span></p> <p class="MsoNormal"><span \
style="color:#1F497D">2014) will be held at the Melia Hotel in Luxembourg, Luxembourg \
from</span></p> <p class="MsoNormal"><span style="color:#1F497D">3rd November to 7 \
November 2014. Since 1997, ICFEM has been serving as</span></p> <p \
class="MsoNormal"><span style="color:#1F497D">an international forum for researchers \
and practitioners who have been</span></p> <p class="MsoNormal"><span \
style="color:#1F497D">seriously applying formal methods to practical \
applications.</span></p> <p class="MsoNormal"><span \
style="color:#1F497D"> </span></p> <p class="MsoNormal"><span \
style="color:#1F497D"> </span></p> <p class="MsoNormal"><span \
style="color:#1F497D">Highlights:</span></p> <p class="MsoNormal"><span \
style="color:#1F497D">----------------------------------------</span></p> <p \
class="MsoNormal"><span style="color:#1F497D">+ Keynote speakers: Nikolaj Bjorner \
(Microsoft Research), Lionel</span></p> <p class="MsoNormal"><span \
style="color:#1F497D">Briand (University of Luxembourg) and Vincent Danos (University \
of</span></p> <p class="MsoNormal"><span style="color:#1F497D">Edinburgh)</span></p>
<p class="MsoNormal"><span style="color:#1F497D">+ A provisional programme and \
the list of accepted paper are now available</span></p> <p class="MsoNormal"><span \
style="color:#1F497D">(http://icfem2014.uni.lu/program.php, \
http://icfem2014.uni.lu/accepted.php)</span></p> <p class="MsoNormal"><span \
style="color:#1F497D">+ Early registration by September 27, 2014</span></p> <p \
class="MsoNormal"><span \
style="color:#1F497D">(http://icfem2014.uni.lu/registration.php)</span></p> <p \
class="MsoNormal"><span style="color:#1F497D"> </span></p> <p \
class="MsoNormal"><span style="color:#1F497D"> </span></p> <p \
class="MsoNormal"><span style="color:#1F497D">PC Chairs</span></p> <p \
class="MsoNormal"><span \
style="color:#1F497D">----------------------------------------</span></p> <p \
class="MsoNormal"><span style="color:#1F497D">+ Stephan Merz (INRIA, \
France)</span></p> <p class="MsoNormal"><span style="color:#1F497D">+ Jun Pang \
(University of Luxembourg, Luxembourg)</span></p> </div>
<br>
<hr>
<font face="Arial" color="Gray" size="2"><br>
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.<br> <br>
Towards a sustainable earth:Print only when necessary.Thank you.<br>
</font>
</body>
</html>
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
--===============1735130897193264329==--
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic