Re: Tue Feb 23 Seminar - Ada and SPARK for education and research

["Yannick Duchêne Hibou57" <yannick_duchene@yahoo.fr>]

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

Nos amis Belges parlant assez bien le français, il aurait été utile de
savoir si le séminaire sera in english only ou en français également.
Je ne pose pas la question pour moi (je prévois pas de m'y rendre),
mais parce que la question me semble utile.