From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 560EBBB81 for ; Wed, 7 Dec 2005 20:06:47 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jB7J6fdP024802 for ; Wed, 7 Dec 2005 20:06:41 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA00592 for ; Wed, 7 Dec 2005 20:06:40 +0100 (MET) Received: from pm-mx5.mx.noos.fr (pm-mx5.mgn.net [195.46.220.209]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jB7J6d70024793 for ; Wed, 7 Dec 2005 20:06:39 +0100 Received: from blosi78zhq8wg2 (m48.net81-66-8.noos.fr [81.66.8.48]) by pm-mx5.mx.noos.fr (Postfix) with ESMTP id 9B0622721E; Wed, 7 Dec 2005 19:33:00 +0100 (MET) From: "bloch" To: , , , , , , Cc: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Date: Wed, 7 Dec 2005 19:33:02 +0100 Message-ID: <000501c5fb5c$abb00610$30084251@blosi78zhq8wg2> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0006_01C5FB65.0D746E10" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.6626 Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-Miltered: at nez-perce with ID 439732C1.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 439732BF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-j-chkmail-Score: MSGID : 439732C1.002 on nez-perce : j-chkmail score : X : 0/20 1 X-Spam: no; 0.00; soutenance:01 intitulee:01 automates:01 algorithmes:01 sequences:01 rapporteurs:01 orsay:01 examinateurs:01 soutenance:01 intitulee:01 algorithmes:01 sequences:01 rapporteurs:01 examinateurs:01 ariel:98 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=FORGED_RCVD_HELO, HTML_FONT_BIG,HTML_MESSAGE,HTML_TEXT_AFTER_BODY,HTML_TEXT_AFTER_HTML, MISSING_SUBJECT autolearn=disabled version=3.0.3 This is a multi-part message in MIME format. ------=_NextPart_000_0006_01C5FB65.0D746E10 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Bonjour, =20 J'ai le plaisir de vous inviter =E0 la soutenance de la th=E8se de Ariel = STULMAN =20 =20 le 15 d=E9cembre 2005 =E0 14h.30 Salle Lucien BERNARD Bat 6 (Salle = 206) UFR des Sciences exactes et naturelles -Campus Moulins de la Housse Rond Point La d=E9fense =20 =20 Intitul=E9e : Contributions aux m=E9thodes de tests des impl=E9mentations = sp=E9cifi=E9es =E0 l=92aide d=92automates temporis=E9es ( Timed Input Output State Machines) Algorithmes de recherche de s=E9quences sp=E9cifiques et tests =E0 = distance. =20 =20 =20 Composition du Jury : =20 Pr=E9sident : Monsieur le Professeur Alain BUI (Universit=E9 de REIMS) Rapporteurs : Monsieur le Professeur Guy VIDAL NAQUET ( Universit=E9 d=92ORSAY ) Monsieur le Professeur Hac=E8ne FOUCHAL (Universit=E9 des ANTILLES ) Examinateurs : Monsieur le Professeur Roland GROZ (CNET, Universit=E9 de GRENOBLE) Monsieur le Professeur H.G. MENDELBAUM ( JCT et Universit=E9 PARIS 5) Monsieur le Professeur Michael KRAJECKI ( Universit=E9 de REIMS) Directeur de la th=E8se : Monsieur le Professeur Simon BLOCH (Universit=E9 de REIMS) =20 =20 Bien cordialement, Simon BLOCH =20 =20 =20 =20 ------------------------------------------ Simon BLOCH CReSTIC/LICA - Universit=E9 de Reims Champagne-Ardenne UFR Sciences Exactes et Naturelle D=E9partement de Math=E9matiques/Informatique - Batiment 3 "Moulin de la Housse" - BP 1039 51687 REIMS CEDEX 2 T=E9l : 03.26.91.32.18 Fax : 03.26.91.33.97 E-Mail : HYPERLINK "mailto:simon.bloch@univ-reims.fr"simon.bloch@univ-reims.fr =20 Page personnelle=20 HYPERLINK "http://cosy.univ-reims.fr/~sbloch" \nhttp://cosy.univ-reims.fr/~sbloch=20 ------------------------------------------ =20 --=20 No virus found in this outgoing message. Checked by AVG Free Edition. Version: 7.1.371 / Virus Database: 267.13.12/193 - Release Date: = 06/12/2005 =20 ------=_NextPart_000_0006_01C5FB65.0D746E10 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Bonjour,

 

J'ai le plaisir de vous inviter =E0 la soutenance de la th=E8se de = Ariel = STULMAN

 

 

le 15 = d=E9cembre 2005=A0 =E0 14h.30=A0=A0=A0 Salle Lucien BERNARD=A0=A0 Bat 6 (Salle = 206)

UFR des = Sciences exactes et naturelles -Campus Moulins de la Housse Rond Point La = d=E9fense

 

 

Intitul=E9e :

Contributions aux m=E9thodes de tests des impl=E9mentations=A0 = sp=E9cifi=E9es =E0 = l’aide

d’automates temporis=E9es ( Timed Input Output State = Machines)

Algorithmes de recherche de s=E9quences sp=E9cifiques et tests =E0 = distance.

 

 

 

Composition du = Jury :

 

Pr=E9sident : = Monsieur le = Professeur Alain BUI=A0 (Universit=E9 de REIMS)

Rapporteu= rs :

Monsieur le Professeur Guy=A0 VIDAL NAQUET ( Universit=E9 d’ORSAY = )

Monsieur le Professeur=A0 Hac=E8ne FOUCHAL=A0=A0 (Universit=E9 des ANTILLES = )

Examinateurs :

Monsieur le Professeur Roland GROZ=A0=A0 (CNET, = =A0Universit=E9 de GRENOBLE)

Monsieur le Professeur H.G. MENDELBAUM=A0=A0 ( JCT=A0 et Universit=E9 = PARIS 5)

Monsieur le Professeur = Michael KRAJECKI=A0 ( Universit=E9 de REIMS)

Directeur= de la th=E8se :

=A0Monsieur le Professeur = Simon BLOCH (Universit=E9 de REIMS)

 

 

Bien = cordialement,

Simon = BLOCH

 

 

 

 

------------------------------------------

Simon BLOCH

CReSTIC/LICA - Universit=E9 de Reims = Champagne-Ardenne

UFR Sciences Exactes et = Naturelle

D=E9partement de Math=E9matiques/Informatique = - Batiment 3

"Moulin de la Housse" - BP = 1039

51687 REIMS CEDEX 2

T=E9l : 03.26.91.32.18

Fax : 03.26.91.33.97

E-Mail : simon.bloch@univ-reims.fr

 

Page personnelle

http://cosy.univ-reims.fr/~sbloch =

------------------------------------------

 


--
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.1.371 / Virus Database: 267.13.12/193 - Release Date: = 06/12/2005

------=_NextPart_000_0006_01C5FB65.0D746E10--