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

[Frama-c-discuss] Extended deadline: Boogie Workshop affiliated to CADE 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                    |