Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Extended deadline: Boogie Workshop affiliated to CADE 2011


  • Subject: [Frama-c-discuss] Extended deadline: Boogie Workshop affiliated to CADE 2011
  • From: Claude.Marche at inria.fr (Claude Marche)
  • Date: Mon, 02 May 2011 09:10:38 +0200
  • In-reply-to: <4DB67F57.7000905@inria.fr>
  • References: <4DB67F57.7000905@inria.fr>

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                    |