--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on March 2011 ---
Please find below the announcement of a talk by Wolfram Schulte. (Sorry for those who are not in the Paris area) -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex | S?MINAIRE DIGITEO Vendredi 18 Mars 2011 ? 14h30, Verifying Concurrent Programs: Theory and Practice, par Wolfram Schulte Manager of the Research in Software Engineering (RiSE) Group, Microsoft Research (MSR), Redmond, USA. SUP?LEC, Amphi F3-05. http://www.supelec.fr/388_p_12022/plan-d-acces.html