<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hi<br>
<br>
Just passing this along. These are the public wrapup presentations<br>
on the work that led to the inclusion of formal language proof<br>
technology in Ada 2012. If you are in the right place at the right
time,<br>
it should be interesting.<br>
<br>
--joel<br>
<div class="moz-forward-container"><br>
<br>
-------- Original Message --------
<table class="moz-email-headers-table" border="0" cellpadding="0"
cellspacing="0">
<tbody>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">Subject:
</th>
<td>[PUBLIC HI-LITE] E-ACSL presentation</td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">Date: </th>
<td>Fri, 15 Mar 2013 04:34:29 -0500</td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">From: </th>
<td>Julien Signoles <a class="moz-txt-link-rfc2396E" href="mailto:Julien.Signoles@cea.fr"><Julien.Signoles@cea.fr></a></td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:hi-lite-discuss@lists.forge.open-do.org">hi-lite-discuss@lists.forge.open-do.org</a>
<a class="moz-txt-link-rfc2396E" href="mailto:hi-lite-discuss@lists.forge.open-do.org"><hi-lite-discuss@lists.forge.open-do.org></a></td>
</tr>
</tbody>
</table>
<br>
<br>
<pre>Hello list,
I would like to inform you than there are going to be 3 presentations of
E-ACSL before the final Hi-Lite meeting:
* March 21th, at Symposium on Applied Computing 2013 (Coimbra, Portugal)
* April 3rd, at French National Days of GDR GPL (Nancy, France)
* May 21th, at our seminar LSL at CEA Saclay Nano-Innov (Palaiseau, France).
If you want to come to the last one, feel free to contact me.
Best regards,
Julien Signoles
--
Ingénieur-Chercheur
CEA LIST, Laboratoire de Sûreté des Logiciels
tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 <a class="moz-txt-link-abbreviated" href="mailto:Julien.Signoles@cea.fr">Julien.Signoles@cea.fr</a>
_______________________________________________
Project hi-lite discuss mailing list
<a class="moz-txt-link-abbreviated" href="mailto:discuss@hi-lite.forge.open-do.org">discuss@hi-lite.forge.open-do.org</a>
<a class="moz-txt-link-freetext" href="https://lists.forge.open-do.org/cgi-bin/mailman/listinfo/hi-lite-discuss">https://lists.forge.open-do.org/cgi-bin/mailman/listinfo/hi-lite-discuss</a>
</pre>
<br>
</div>
<br>
</body>
</html>