--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on May 2011 ---
The deadline for submitting papers to the boogie workshop is extended to Friday 6. - Claude On 04/26/2011 10:16 AM, Claude Marche wrote: > > Please note that the submission deadline for the BOOGIE 2011 workshop > is around the corner: May 1. The submission site is now open, see > > http://research.microsoft.com/en-us/um/people/moskal/boogie2011/ > > for more details. > > > -------- Original Message -------- > Subject: [Frama-c-discuss] Announcement: Boogie Workshop > affiliated to CADE 2011 > Date: Tue, 01 Mar 2011 13:56:43 +0100 > From: Claude Marche <Claude.Marche at inria.fr> > Reply-To: Frama-C public discussion > <frama-c-discuss at lists.gforge.inria.fr> > To: why3-club at lists.gforge.inria.fr, > why-discuss at lists.gforge.inria.fr, Frama-C public discussion > <frama-c-discuss at lists.gforge.inria.fr> > > > > Please find below the announcement for the next Boogie workshop, > affiliated to CADE 2011 Conference. > > Let me emphasized the sentence: *The workshop is intended for topics > related to any intermediate verification language, not just Boogie.* > > - Claude > -- 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 |