--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on May 2013 ---
Dear Frama-C users, it is my pleasure to announce that there will be two tutorials in June over Frama-C's deductive verification plug-ins (namely Jessie and WP) and ACSL. The first one is located with iFM (integrated Formal Methods) and will take place on the afternoon of June, 11th (lunch is included in the inscription to the tutorial). More info is available at http://www.it.abo.fi/iFM2013/ The second one will take place one week later (June, 18th) and is located with TAP (Tests and Proofs), part of the STAF conferences (http://stafconferences.info/). We hope to see you at one of these venues. -- E tutto per oggi, a la prossima volta Virgile