* (no subject)
@ 2005-12-07 18:33 bloch
0 siblings, 0 replies; only message in thread
From: bloch @ 2005-12-07 18:33 UTC (permalink / raw)
To: arp, jct-on-line, propahn, project, coq-club, caml-list,
skeletons-request
Cc: abdelkader.bouzouina, alain.bui, alain.chaure, alain.lodini,
alain.ninet, andre.unterberger, arnaud.renard, beatrice.beaujet,
bernard.mothon, christelle.marion, christiane.morois,
christie.groszouzac, christophe.jaillet, claudy.cancelier,
clement.delamare, devan.sohier, elise.benlolo, emmanuel.pedon,
florent.nolot, francine.bruyant, francis.deligny,
francis.rousseaux, francois.lefevre, frederic.blanchard,
frederic.herau, gerard.cauchon, gilles.cabart, gilles.loppin,
guy.brouard, guy.tricot, helene.authier, hichem.baala,
houria.touahri, isabelle.titeux, jacques.alev, jacques.meyer,
jc.lor, jean.nourrigat, jm.bois, jp.buffet, jp.gaudin,
jules.maes, jules.sadefo-kamdem, julien.richard, laurent.amour,
laurent.debraux, lisette.jager, loic.foissy, louani,
marielouis.vanharen, michael.krajecki, michael.pevzner,
michel.percy, mohamed.khodja, nathalie.hinschberger,
odile.fleury, olivier.flauzac, pascal.mignot, amor.keziou,
pierre.levy-bruhl, r.brummelhuis, remi.schuller,
satyanad.kichenassamy, simon.bloch, stephane.cormier,
stephane.launois, stephanie.lohrengel, sylvain.rampacek,
thibault.bernard, thierry.raoux, victor.tchoulaevski,
yves.delmas, abdelhamid.hebbache, bertrand.turco, jeremy-faupin,
salmi-med, christian.trajcevski, abidi-abderraouf, abdelhalimgbs,
stephane.fidanza, pp.merel, cyril.rabat, urmie.ray
[-- Attachment #1: Type: text/plain, Size: 1904 bytes --]
Bonjour,
J'ai le plaisir de vous inviter à la soutenance de la thèse de Ariel STULMAN
le 15 décembre 2005 à 14h.30 Salle Lucien BERNARD Bat 6 (Salle 206)
UFR des Sciences exactes et naturelles -Campus Moulins de la Housse Rond
Point La défense
Intitulée :
Contributions aux méthodes de tests des implémentations spécifiées à l’aide
d’automates temporisées ( Timed Input Output State Machines)
Algorithmes de recherche de séquences spécifiques et tests à distance.
Composition du Jury :
Président : Monsieur le Professeur Alain BUI (Université de REIMS)
Rapporteurs :
Monsieur le Professeur Guy VIDAL NAQUET ( Université d’ORSAY )
Monsieur le Professeur Hacène FOUCHAL (Université des ANTILLES )
Examinateurs :
Monsieur le Professeur Roland GROZ (CNET, Université de GRENOBLE)
Monsieur le Professeur H.G. MENDELBAUM ( JCT et Université PARIS 5)
Monsieur le Professeur Michael KRAJECKI ( Université de REIMS)
Directeur de la thèse :
Monsieur le Professeur Simon BLOCH (Université de REIMS)
Bien cordialement,
Simon BLOCH
------------------------------------------
Simon BLOCH
CReSTIC/LICA - Université de Reims Champagne-Ardenne
UFR Sciences Exactes et Naturelle
Département de Mathématiques/Informatique - Batiment 3
"Moulin de la Housse" - BP 1039
51687 REIMS CEDEX 2
Tél : 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
Page personnelle
HYPERLINK "http://cosy.univ-reims.fr/~sbloch"
\nhttp://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
[-- Attachment #2: Type: text/html, Size: 11244 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-12-07 19:06 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-12-07 18:33 bloch
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox