Article View: inria.general
Article #11[GDR-GPL] Réunion MTVV -- 30 Juin - 1 Juillet 2009 à Besançon
From: Arnaud Gotlieb
Date: Wed, 20 May 2009 07:43
Date: Wed, 20 May 2009 07:43
24 lines
2424 bytes
2424 bytes
GDR G�nie de la Programmation et du Logiciel GPL
Groupe de travail
M�thodes de Test, V�rification et Validation (MTVV)
=====================
APPEL A PARTICIPATION
=====================
Le groupe de travail "M�thodes de Test, V�rification et Validation (MTVV)"
se r�unira � Besan�on les 30 juin et 1er juillet, sur deux demi-journ�es.
Ces journ�es, qui marqueront la seconde r�union du groupe, auront pour
th�matique la g�n�ration de tests � partir de mod�les. Elles comprendront
une conf�rence invit�e de Rob Hierons de l'universit� de Brunel
(West London), ainsi que plusieurs expos�s techniques de jeunes
chercheurs autour de cette th�matique. Les discussions initi�es lors de
la premi�re demi-journ�e pourront se poursuivre le soir � l'occasion d'un
d�ner en ville.
Pour plus de d�tails sur le programme de cette r�union, n'h�sitez pas �
consulter r�guli�rement le site de l'�v�nement
http://lifc.univ-fcomte.fr/MTVV
Si vous souhaitez participer � cette r�union, vous pouvez r�aliser
votre inscription en suivant la proc�dure d�crite sur le site des
journ�es, de pr�f�rence avant le 15 juin.
Technical Details
Message-ID:
<4A13B4B4.6000501@irisa.fr>Path:
arc1-ca.pugleaf.net!g2news2.google.com!news2.google.com!news.glorb.com!proxad.net!feeder1-2.proxad.net!news.cs.univ-paris8.fr!unice.fr!news-sop.inria.fr!news.irisa.fr!not-for-mailShow Full Headers
Complete Article Headers
X-Google-Thread: e554b7e48d,3f52878e4738717a,start X-Google-Attributes: gide554b7e48d,public,usenet X-Google-NewGroupId: yes X-Google-Language: FRENCH,ASCII Path: arc1-ca.pugleaf.net!g2news2.google.com!news2.google.com!news.glorb.com!proxad.net!feeder1-2.proxad.net!news.cs.univ-paris8.fr!unice.fr!news-sop.inria.fr!news.irisa.fr!not-for-mail From: Arnaud Gotlieb <Arnaud.Gotlieb@irisa.fr> Newsgroups: inria.general,inria.forum,fr.comp.divers,inria.thesards,irisa.seminaires Subject: [GDR-GPL] Réunion MTVV -- 30 Juin - 1 Juillet 2009 à Besançon Date: Wed, 20 May 2009 09:43:48 +0200 Organization: Irisa, Rennes (FR) Lines: 24 Message-ID: <4A13B4B4.6000501@irisa.fr> NNTP-Posting-Host: radisnoir.irisa.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: amma.irisa.fr 1242805428 5486 131.254.15.53 (20 May 2009 07:43:48 GMT) X-Complaints-To: abuse@irisa.fr NNTP-Posting-Date: Wed, 20 May 2009 07:43:48 +0000 (UTC) To: mtv2@listes.irisa.fr User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)