From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 7e5f19c06,1ac927da7a19efe1
X-Google-Attributes: gid7e5f19c06,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: FRENCH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!g28g2000yqh.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Yannick_Duch=EAne_Hibou57?= <yannick_duchene@yahoo.fr>
Newsgroups: 
 comp.lang.ada,fr.comp.lang.ada,comp.lang.misc,be.education,be.comp.programming
Subject: Re: Tue Feb 23 Seminar - Ada and SPARK for education and research
Date: Sat, 6 Feb 2010 10:19:17 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <9d296fe8-f812-485c-9125-382d880c1f28@g28g2000yqh.googlegroups.com>
References: <hkk85e$d77$1@asgard.cs.kuleuven.be>
NNTP-Posting-Host: 86.75.149.105
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1265480357 20187 127.0.0.1 (6 Feb 2010 18:19:17
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 6 Feb 2010 18:19:17 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: g28g2000yqh.googlegroups.com; posting-host=86.75.149.105;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:8942 fr.comp.lang.ada:499
 comp.lang.misc:3669 be.education:140 be.comp.programming:181
Date: 2010-02-06T10:19:17-08:00
List-Id: <comp.lang.ada>

On 6 f=E9v, 18:16, d...@asgard.cs.kuleuven.be (Dirk Craeynest) wrote:
> =A0 =A0 =A0 =A0 =A0 =A0The Computer Science Department of the K.U.Leuven
> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 and the Ada-Belgium organization
> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 are pleased to announce the seminar
>
> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 T e c h n o l o g y =A0 U p d a t e :
> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0A d a =A0 a n d =A0 S P A =
R K
> =A0 =A0 =A0 =A0 =A0 f o r =A0 e d u c a t i o n =A0 a n d =A0 r e s e a r=
 c h
>
> =A0 =A0 =A0 =A0State-of-the-art programming language technology with Ada
> =A0 =A0 =A0 =A0 =A0 =A0 Formal specifications made practical with SPARK
>
> =A0 =A0 =A0 =A0 =A0organized with support from AdaCore and Altran Praxis
>
> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0on Tuesday, February 23, 2010, 14:00-18:00
> =A0 =A0 =A0 =A0 =A0 =A0at the K.U.Leuven, Department of Computer Science
> =A0 =A0 =A0 =A0 Celestijnenlaan 200A, B-3001 Leuven (Heverlee), Belgium
>
> =A0 =A0 =A0 =A0 =A0 =A0http://distrinet.cs.kuleuven.be/events/AdaEvent/

Nos amis Belges parlant assez bien le fran=E7ais, il aurait =E9t=E9 utile d=
e
savoir si le s=E9minaire sera in english only ou en fran=E7ais =E9galement.
Je ne pose pas la question pour moi (je pr=E9vois pas de m'y rendre),
mais parce que la question me semble utile.