--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on June 2013 ---
Dear Frama-C users, As a reminder, you still have a few days left to register for one of the two tutorials on Frama-C deductive verification plugins (WP and Jessie) that will take place in June. The first one is located with iFM (integrated Formal Methods) and is scheduled on the afternoon of June, 11th. 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