From: "bloch" <sbloch@noos.fr>
To: <arp@cines.fr>, <jct-on-line@jct.ac.il>, <propahn@ml.free.fr>,
<project@caraml.org>, <coq-club@pauillac.inria.fr>,
<caml-list@inria.fr>, <skeletons-request@inf.ed.ac.uk>
Cc: <abdelkader.bouzouina@univ-reims.fr>, <alain.bui@univ-reims.fr>,
<alain.chaure@univ-reims.fr>, <alain.lodini@univ-reims.fr>,
<alain.ninet@univ-reims.fr>, <andre.unterberger@univ-reims.fr>,
<arnaud.renard@univ-reims.fr>, <beatrice.beaujet@univ-reims.fr>,
<bernard.mothon@univ-reims.fr>, <christelle.marion@univ-reims.fr>,
<christiane.morois@univ-reims.fr>,
<christie.groszouzac@univ-reims.fr>,
<christophe.jaillet@univ-reims.fr>,
<claudy.cancelier@univ-reims.fr>,
<clement.delamare@univ-reims.fr>, <devan.sohier@univ-reims.fr>,
<elise.benlolo@univ-reims.fr>, <emmanuel.pedon@univ-reims.fr>,
<florent.nolot@univ-reims.fr>, <francine.bruyant@univ-reims.fr>,
<francis.deligny@univ-reims.fr>,
<francis.rousseaux@univ-reims.fr>,
<francois.lefevre@univ-reims.fr>,
<frederic.blanchard@univ-reims.fr>,
<frederic.herau@univ-reims.fr>, <gerard.cauchon@univ-reims.fr>,
<gilles.cabart@univ-reims.fr>, <gilles.loppin@univ-reims.fr>,
<guy.brouard@univ-reims.fr>, <guy.tricot@univ-reims.fr>,
<helene.authier@univ-reims.fr>, <hichem.baala@univ-reims.fr>,
<houria.touahri@univ-reims.fr>, <isabelle.titeux@univ-reims.fr>,
<jacques.alev@univ-reims.fr>, <jacques.meyer@univ-reims.fr>,
<jc.lor@univ-reims.fr>, <jean.nourrigat@univ-reims.fr>,
<jm.bois@univ-reims.fr>, <jp.buffet@univ-reims.fr>,
<jp.gaudin@univ-reims.fr>, <jules.maes@univ-reims.fr>,
<jules.sadefo-kamdem@univ-reims.fr>,
<julien.richard@univ-reims.fr>, <laurent.amour@univ-reims.fr>,
<laurent.debraux@univ-reims.fr>, <lisette.jager@univ-reims.fr>,
<loic.foissy@univ-reims.fr>, <louani@ccr.jussieu.fr>,
<marielouis.vanharen@univ-reims.fr>,
<michael.krajecki@univ-reims.fr>, <michael.pevzner@univ-reims.fr>,
<michel.percy@univ-reims.fr>, <mohamed.khodja@univ-reims.fr>,
<nathalie.hinschberger@univ-reims.fr>,
<odile.fleury@univ-reims.fr>, <olivier.flauzac@univ-reims.fr>,
<pascal.mignot@univ-reims.fr>, <amor.keziou@univ-reims.fr>,
<pierre.levy-bruhl@univ-reims.fr>,
<r.brummelhuis@statistics.bbk.ac.uk>,
<remi.schuller@univ-reims.fr>,
<satyanad.kichenassamy@univ-reims.fr>,
<simon.bloch@univ-reims.fr>, <stephane.cormier@univ-reims.fr>,
<stephane.launois@univ-reims.fr>,
<stephanie.lohrengel@univ-reims.fr>,
<sylvain.rampacek@univ-reims.fr>,
<thibault.bernard@univ-reims.fr>, <thierry.raoux@univ-reims.fr>,
<victor.tchoulaevski@univ-reims.fr>, <yves.delmas@univ-reims.fr>,
<abdelhamid.hebbache@univ-reims.fr>,
<bertrand.turco@univ-reims.fr>, <jeremy-faupin@voila.fr>,
<salmi-med@caramail.com>, <christian.trajcevski@univ-reims.fr>,
<abidi-abderraouf@univ-reims.fr>, <abdelhalimgbs@yahoo.fr>,
<stephane.fidanza@univ-reims.fr>, <pp.merel@univ-reims.fr>,
<cyril.rabat@univ-reims.fr>, <urmie.ray@univ-reims.fr>
Date: Wed, 7 Dec 2005 19:33:02 +0100 [thread overview]
Message-ID: <000501c5fb5c$abb00610$30084251@blosi78zhq8wg2> (raw)
[-- 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 --]
reply other threads:[~2005-12-07 19:06 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='000501c5fb5c$abb00610$30084251@blosi78zhq8wg2' \
--to=sbloch@noos.fr \
--cc=abdelhalimgbs@yahoo.fr \
--cc=abdelhamid.hebbache@univ-reims.fr \
--cc=abdelkader.bouzouina@univ-reims.fr \
--cc=abidi-abderraouf@univ-reims.fr \
--cc=alain.bui@univ-reims.fr \
--cc=alain.chaure@univ-reims.fr \
--cc=alain.lodini@univ-reims.fr \
--cc=alain.ninet@univ-reims.fr \
--cc=amor.keziou@univ-reims.fr \
--cc=andre.unterberger@univ-reims.fr \
--cc=arnaud.renard@univ-reims.fr \
--cc=arp@cines.fr \
--cc=beatrice.beaujet@univ-reims.fr \
--cc=bernard.mothon@univ-reims.fr \
--cc=bertrand.turco@univ-reims.fr \
--cc=caml-list@inria.fr \
--cc=christelle.marion@univ-reims.fr \
--cc=christian.trajcevski@univ-reims.fr \
--cc=christiane.morois@univ-reims.fr \
--cc=christie.groszouzac@univ-reims.fr \
--cc=christophe.jaillet@univ-reims.fr \
--cc=claudy.cancelier@univ-reims.fr \
--cc=clement.delamare@univ-reims.fr \
--cc=coq-club@pauillac.inria.fr \
--cc=cyril.rabat@univ-reims.fr \
--cc=devan.sohier@univ-reims.fr \
--cc=elise.benlolo@univ-reims.fr \
--cc=emmanuel.pedon@univ-reims.fr \
--cc=florent.nolot@univ-reims.fr \
--cc=francine.bruyant@univ-reims.fr \
--cc=francis.deligny@univ-reims.fr \
--cc=francis.rousseaux@univ-reims.fr \
--cc=francois.lefevre@univ-reims.fr \
--cc=frederic.blanchard@univ-reims.fr \
--cc=frederic.herau@univ-reims.fr \
--cc=gerard.cauchon@univ-reims.fr \
--cc=gilles.cabart@univ-reims.fr \
--cc=gilles.loppin@univ-reims.fr \
--cc=guy.brouard@univ-reims.fr \
--cc=guy.tricot@univ-reims.fr \
--cc=helene.authier@univ-reims.fr \
--cc=hichem.baala@univ-reims.fr \
--cc=houria.touahri@univ-reims.fr \
--cc=isabelle.titeux@univ-reims.fr \
--cc=jacques.alev@univ-reims.fr \
--cc=jacques.meyer@univ-reims.fr \
--cc=jc.lor@univ-reims.fr \
--cc=jct-on-line@jct.ac.il \
--cc=jean.nourrigat@univ-reims.fr \
--cc=jeremy-faupin@voila.fr \
--cc=jm.bois@univ-reims.fr \
--cc=jp.buffet@univ-reims.fr \
--cc=jp.gaudin@univ-reims.fr \
--cc=jules.maes@univ-reims.fr \
--cc=jules.sadefo-kamdem@univ-reims.fr \
--cc=julien.richard@univ-reims.fr \
--cc=laurent.amour@univ-reims.fr \
--cc=laurent.debraux@univ-reims.fr \
--cc=lisette.jager@univ-reims.fr \
--cc=loic.foissy@univ-reims.fr \
--cc=louani@ccr.jussieu.fr \
--cc=marielouis.vanharen@univ-reims.fr \
--cc=michael.krajecki@univ-reims.fr \
--cc=michael.pevzner@univ-reims.fr \
--cc=michel.percy@univ-reims.fr \
--cc=mohamed.khodja@univ-reims.fr \
--cc=nathalie.hinschberger@univ-reims.fr \
--cc=odile.fleury@univ-reims.fr \
--cc=olivier.flauzac@univ-reims.fr \
--cc=pascal.mignot@univ-reims.fr \
--cc=pierre.levy-bruhl@univ-reims.fr \
--cc=pp.merel@univ-reims.fr \
--cc=project@caraml.org \
--cc=propahn@ml.free.fr \
--cc=r.brummelhuis@statistics.bbk.ac.uk \
--cc=remi.schuller@univ-reims.fr \
--cc=salmi-med@caramail.com \
--cc=satyanad.kichenassamy@univ-reims.fr \
--cc=simon.bloch@univ-reims.fr \
--cc=skeletons-request@inf.ed.ac.uk \
--cc=stephane.cormier@univ-reims.fr \
--cc=stephane.fidanza@univ-reims.fr \
--cc=stephane.launois@univ-reims.fr \
--cc=stephanie.lohrengel@univ-reims.fr \
--cc=sylvain.rampacek@univ-reims.fr \
--cc=thibault.bernard@univ-reims.fr \
--cc=thierry.raoux@univ-reims.fr \
--cc=urmie.ray@univ-reims.fr \
--cc=victor.tchoulaevski@univ-reims.fr \
--cc=yves.delmas@univ-reims.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox