--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Talk by Wolfram Schulte at Digiteo Seminar, March 18, 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