Soutenance de thèse de Julien Sopena

Bonjour,

j'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Algorithmes d'exclusion mutuelle : tolérance aux fautes et adaptation
aux grilles", ainsi qu'au pot qui suivra.

Date et Lieu :

La soutenance aura lieu le lundi 8 décembre à 14h00 en salle 549 (5ème
étage) au Laboratoire d'Informatique de Paris 6 (LIP6), situé au 104
avenue du Président Kennedy, 75016 Paris
Plan d'accès: http://www.lip6.fr/fr/informations/comment.php
Composition du Jury :

Roberto BALDONI, Professeur à l'Université Rome I (Rapporteur).
Frédéric DESPREZ, Directeur de recherche à l'INRIA (Rapporteur).
Marin BERTIER, Maître de conférences à l'INSA de Rennes (Examinateur).
André SCHIPER, Professeur à l'École Polytechnique Fédérale de Lausane
(Examinateur).
Sebastien TIXEUIL, Professeur à l'Université Paris VI (Examinateur).
Pierre SENS, Professeur à l'Université Paris VI (Directeur).
Luciana ARANTES, Maître de conférences à l'Université Paris VI
(Co-Encadrante).

Résumé :

Cette thèse étudie les algorithmes distribués d'exclusion mutuelle dans
le cadre des systèmes répartis à grande échelle. Elle s'intéresse plus
particulièrement à la gestion des défaillances, ainsi qu'à la prise en
compte des spécificités des topologies de type grille.

Dans une première partie, nous proposons un nouvel algorithme
d'exclusion mutuelle tolérant aux défaillances, basé sur l'algorithme de
Naimi-Tréhel. Ce nouvel algorithme conserve la complexité originale en
O(log(n)), limite l'utilisation de la diffusion et minimise le nombre
des ré-émissions de requêtes en cas de défaillances. Une étude de
performance, réalisées dans un cadre réel, a permis de montrer qu'il est
particulièrement bien adapté aux systèmes répartis à grande échelle.

Dans une deuxième partie, nous proposons un algorithme générique
permettant de composer les algorithmes d'exclusion mutuelle de la
littérature, pour prendre en compte la spécificité des grilles de
calcul, à savoir : une grande différence de latence et de débit entre
les réseaux locaux et le réseau inter-connectant les différentes grappes
(clusters). Des expériences menées sur la grille expérimentale GRID'5000
ont, entre autre, permis de dégager des choix de composition en fonction
du type d'application. Dans une autre étude de performances, nous
étudions l'importance de la répartition des machines dans les différents
clusters, sur l'efficacité de la composition.

Amicalement,
Julien Sopena

Soutenance de thèse de Samir GHAMRI-DOUDANE (LIP6, mercredi 10 décembre 14h30, Salle 549)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée : "Une
approche pair à pair pour la découverte de ressources à large échelle",
ainsi qu'au pot qui suivra.

Date et Lieu :

La soutenance aura lieu le mercredi 10 décembre à 14h30 en salle 549 (5ème
étage) au Laboratoire d'Informatique de Paris 6 (LIP6), situé au
104 avenue du Président Kennedy, 75016 Paris
Plan d'accès: http://www.lip6.fr/fr/informations/comment.php

Composition du Jury :

M. Raouf BOUTABA, Professeur à l'Université de Waterloo (Rapporteur).
M. Ken CHEN, Professeur à l'Université de Paris 13 (Rapporteur).
M. Prosper CHEMOUIL, Directeur de Recherche à Orange Labs - France Télécom
(Examinateur).
M. Ahmed KARMOUCH, Professeur à l'Université d'Ottawa (Examinateur).
M. Nazim AGOULMINE, Professeur à l'Université d'Evry Val d'Essonne
(Directeur).
M. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie - Paris 6
(Directeur).

Résumé :

Le pair à pair constitue actuellement le modèle de référence pour la
découverte et le partage des ressources à large échelle. Toutefois, les
technologies proposées arrivent difficilement à concilier efficacité de
fonctionnement, flexibilité des recherches et distribution complète de
l'architecture. Dans cette thèse, nous commençons par étudier, évaluer et
discuter les différentes approches proposées dans ce contexte. Nous
détaillons ensuite notre proposition pour un système de découverte de
ressources qui puisse répondre aux différents besoins applicatifs tout en
exhibant des propriétés d'adaptation à des environnements de déploiement
hétérogènes. Le système ainsi proposé offre un outil de recherche
déterministe, efficace et flexible. Ses performances sont comparées à celles
d'autres systèmes pair à pair structurés et non structurés. Puis, nous
concentrons notre étude sur la répartition de charge en proposant des
mécanismes complémentaires, dont l'évaluation montre que leur utilisation
combinée garantit une répartition équitable des charges de stockage, de
traitement et de trafic réseau. Ceci a pour objectif de préserver les
performances du système dans des environnements denses et déséquilibrés.
Enfin, nous nous assurons que les objectifs fixés pour un système de
découverte de ressources utile et efficace sont atteints.

Cordialement,
Samir.

Soutenance de thèse de Thomas BEGIN (LIP6=?iso-8859-1?Q?= 2C_vendredi_5_d=E9cembre_10h30=2C_Salle_549?=)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Modélisation et Calibrage Automatiques de Systèmes"
qui aura lieu le vendredi 5 décembre à 10h30 en salle 549 (5ème étage) au
Laboratoire d'Informatique de Paris 6 (LIP6), situé au 104 avenue du
Président Kennedy, 75016 Paris (Plan d'accès disponible à :
http://www.lip6.fr/fr/informations/comment.html) ainsi qu'au pot qui
suivra en salle 550.

Composition du jury :

M. Raymond MARIE, Professeur à l'Université Rennes 1, (Rapporteur)
M. Philippe NAIN, Directeur de Recherche à l'INRIA (Rapporteur)
M. Alexandre BRANDWAJN, Professeur à l'Université de Californie Santa Cruz
(Examinateur)
M. Philippe CHRETIENNE, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
M. Bernd WOLFINGER, Professeur à l'Université de Hambourg (Examinateur)
M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie (Directeur)
M. Bruno BAYNAT, Maître de Conférence à l'Université Pierre et Marie Curie
(Co-Encadrant)

Résumé :

Cette thèse s'intéresse au calibrage et à la génération automatiques de
modèles.
Une nouvelle méthode de modélisation, nommée HLM ("High Level Modeling")
est proposée afin de permettre la modélisation rapide et automatique de
systèmes opérationnels de type "boîte noire" pour lesquels on dispose
uniquement de mesures. Son principe consiste à rechercher parmi un
ensemble présupposé de modèles génériques si, une fois correctement
calibré, l'un d'eux permet de reproduire le comportement d'entrée/sortie
du système tel qu'il est décrit par les mesures. La méthode HLM comprend
la description (1) de modèles classiques de type file d'attente ainsi que
des modèles plus originaux et (2) d'une méthode de calibrage automatique
permettant de déterminer les paramètres d'un modèle de type file d'attente
à partir de mesures. La recherche du calibrage est formulée comme un
problème d'optimisation numérique pour lequel un algorithme de recherche
efficace de type "Derivative Free Optimization" est proposé. Des exemples
d'applications de la méthode HLM sur des systèmes réels et variés sont
présentés.
Enfin, une partie de cette thèse concerne l'influence que peuvent avoir
les propriétés distributionnelles d'ordre supérieur sur les performances
de files classiques de la théorie des files d'attente.

Mots clés :
Modélisation; Calibrage; Automatique; Boîte Noire; Files d'attente;
Moments d'ordre supérieur

Bien cordialement,

Thomas

Soutenance de thèse de Chloé ROLLAND (LIP6, vendredi 5 décembre 15h00, Salle 549)

Bonjour, 

j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Modèles orientés objet pour une meilleure prédiction du trafic Internet", ainsi qu'au pot qui suivra.

La soutenance aura lieu le vendredi 5 décembre à 15h00 en salle 549 (5ème étage) au Laboratoire d'Informatique de Paris 6 (LIP6), situé au 

104 avenue du Président Kennedy, 75016 Paris

(Plan d'accès disponible à : http://www.lip6.fr/fr/informations/comment.html).

Composition du jury :

M. Fabrice GUILLEMIN, Ingénieur R&D, France Télécom R&D (Rapporteur)

M. Bernd WOLFINGER, Professeur à l'Université de Hambourg (Rapporteur)

M. Pierre BORGNAT, Chargé de Recherche CNRS, ENS Lyon (Examinateur)

M. Pierre EISENMANN, Directeur des Opérations, N2NSoft (Examinateur)

M. Sébastien TIXEUIL, Professeur à l'Université Pierre et Marie Curie - Paris VI (Examinateur)

M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie - Paris VI (Directeur)

M. Bruno BAYNAT, Maître de Conférence à l'Université Pierre et Marie Curie - Paris VI (Encadrant)

Résumé :

Cette thèse s'intéresse à la modélisation du trafic Internet. Elle propose une approche dont le but est de dépasser les limites des modèles traditionnels et des modèles de type boîte noire, afin de concevoir des modèles de trafic structurels, alliant précision et simplicité d'utilisation. Elle s'intéresse en premier lieu à un modèle hiérarchique, Basic LiTGen, orienté utilisateur et application, où les entités de trafic considérées sont les sessions, les pages, les objets et les paquets. Une analyse en ondelettes permet d'aiguiller l'analyse sur l'organisation des paquets dans les objets et de proposer une structure originale s'imbriquant au niveau paquet du modèle, permettant de reproduire la dépendance à long terme observée de manière réaliste. Le modèle ainsi obtenu, Extended LiTGen, est très précis, mais la structure introduite le rend aussi complexe. Une deuxième étape s'intéresse alors à simplifier le modèle. Elle se concentre sur la structure en rafales des paquets dans les objets, et propose un modèle simple pour la modéliser, Bursts LiTGen, reproduisant finement la dépendance à long terme observée. Les modèles proposés, Extended et Bursts LiTGen, reproduisent des paramètres de performance réalistes et peuvent être utilisés dans le cadre de la prédiction de trafic.

Mots clés : 

Trafic Internet ; Modélisation de trafic ; Analyse en ondelettes ; Analyse de performance ; Dépendance à long terme.

Cordialement

Chloé

[Fwd: Soutenance de thèse d'Adrien Angeli]

begin:vcard
fn:Stephane Doncieux
n:Doncieux;Stephane
org:ISIR - UPMC
adr;quoted-printable:;;104 avenue du pr=C3=A9sident Kennedy;PARIS;;75016;FRANCE
email;quoted-printable;internet:St=C3=A9phane.Doncieux@isir.fr
title;quoted-printable:Maitre de Conf=C3=A9rences/Professor Assistant
tel;work:+33 144 27 87 45
x-mozilla-html:FALSE
version:2.1
end:vcard

Soutenance de thèse de Guillaume Moroz

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée:
"Sur la décomposition réelle et algébrique des systèmes dépendant de paramètres",
ainsi qu'au pot qui suivra.

Elle se tiendra le mardi 9 décembre à 14h,
au LIP6 en salle 549 (5ème étage):
104 av du Président Kennedy
75016 Paris
Plan d'accès: http://www.lip6.fr/fr/informations/comment.php

Le jury sera composé de:
K. Yokoyama (Rapporteur), professeur à Rikkyo university
H. Hong (Rapporteur), professeur à North Carolina State university
M.-F. Roy (Examinateur), professeur à l'université de Rennes
D. Lazard (Examinateur), professeur à l'université Pierre et Marie Curie
P. Wenger (Examinateur), directeur de recherche à l'IRCCyN
D. Chablat (Examinateur), chargé de recherche à l'IRCCyN
F. Rouillier (Directeur), directeur de recherche à l'INRIA

Résumé:
Cette thèse traite des systèmes paramétrés. Ils modélisent de nombreuses
applications apparaissant dans divers domaines, comme la robotique ou la
calibration. Soit S un système d'équations et d'inéquations polynomiales
dépendant de paramètres. Nous abordons le problème de décrire l'ensemble des
ouverts connexes U de l'espace des paramètres tels que S restreint à U admet un
nombre constant de solutions réelles.

En robotique, notre approche nous a permis de détecter les positions cus-
pidales, importantes pour la planification de trajectoire des robots parallèles
3-RPR dans le plan. En calibration photographique, nous avons pu décrire
le nombre de solutions physiquement réalisables du problème Perspective-3-
Points.

D'un point de vue théorique, nous analysons le problème du calcul de la
variété discriminante d'un système paramétré. Sous certaines hypothèses,nous
montrons que le calcul de la variété discriminante peut se réduire à un calcul
de projection. En particulier, nous présentons un algorithme polynomial en
espace pour la calculer.

Dans le cas des systèmes d'équations polynomiales quelconques, nous in-
troduisons les décompositions régulières, où chaque composante est représen-
tée par une suite régulière en dehors d'une hypersurface. Notre algorithme
pour les calculer est basé sur la saturation d'idéal et possède de bonnes per-
formances en pratique. Cette représentation permet en outre, dans le cadre
des systèmes paramétrés, de diminuer la combinatoire liée au calcul de lieux
critiques pour la discrimination des paramètres. Par ailleurs, nous déduisons
de ces travaux un nouvel algorithme pour le calcul du radical d'un idéal.

Soutenance de thèse de Hicham KHALIFE / le 28 novembre à 15h30

Bonjour, 

j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :

"Techniques de contrôle pour réseaux sans fil multi-sauts"

qui sera présentée le vendredi 28 novembre à 15h30 au Laboratoire d'Informatique de Paris 6 (LIP6), situé au 

 104 avenue du Président Kennedy, 75016 Paris

(Plan d'accès disponible à : http://www.lip6.fr/fr/informations/comment.html),

salle 847, ainsi qu'au pot qui suivra.

Jury :

M. Christian BONNET, Professeur à l'institut Eurécom (Rapporteur)

M. Eric FLEURY, Professeur à l'Ecole Normale Supérieure de Lyon (Rapporteur)

M. Vania CONAN, Thales Communications (Examinateur)

M. Marwan KRUNZ, Professeur à l'Université d'Arizona (Examinateur)

M. Sébastien TIXEUIL, Professeur à l'Université Pierre et Marie Curie - Paris VI (Examinateur)

M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie - Paris VI (Directeur)

M. Naceur MALOUCH, Maître de conférence à l'Université Pierre et Marie Curie - Paris VI (Encadrant)

Résumé :

Les réseaux sans fil ont subi une évolution accélérée ces dernières années. De nombreux aspects relatifs 

à la communication sans fil dans le cadre d'un accès à travers une seule cellule ont déjà été résolus. Néanmoins, 

les réseaux sans fil multi-sauts fournissent toujours de faibles débits et un service non fiable aux utilisateurs. Dans 

cette thèse, nous visons à fournir une qualité de service acceptable en termes de débit et de taux de pertes aux 

utilisateurs dans le cadre des réseaux sans fil multi-sauts.

Nous proposons trois nouvelles techniques de contrôle spécialement développées pour améliorer le débit observé 

par un utilisateur final dans un réseau sans fil multi-sauts. Nous présentons d'abord un modèle mathématique qui 

permet d'évaluer les pertes dues au terminal caché. Ce modèle est ensuite exploité pour présenter une solution au 

niveau de la couche MAC permettant d'améliorer le débit des connexions TCP. La deuxième technique que nous 

proposons tente d'exploiter les propriétés de diffusion du canal radio. En effet, notre deuxième technique, HbH, 

utilise le fait que chaque transmission sans fil peut être entendue par les nœuds à proximité, pour détecter la panne 

d'un nœud voisin. Avec HbH, chaque nœud et après la transmission d'un message procède à une écoute du canal afin 

de savoir si son voisin a retransmis le paquet avant que le premier ne prenne la décision de le jeter. Ainsi, les 

propriétés du canal sont utilisées pour remplacer d'éventuels messages de contrôle. HbH peut être utilisé pour détecter 

la disparition de nœuds voisins due à la mobilité par exemple.

Finalement, dans cette thèse nous nous intéressons aux réseaux radios cognitifs vus comme l'avenir et la 

généralisation de tous les réseaux sans fil existants. Dans ce nouveau domaine où l'accès aux bandes de fréquences 

disponibles est complètement opportuniste, des problèmes de base restent encore non résolus. Ainsi, une première 

technique de contrôle envisageable dans ce domaine consiste à présenter des mécanismes de routage capables 

d'établir un chemin de bout en bout tout en tenant compte de l'instabilité de ces réseaux. Pour ces raisons, nous 

proposons MPP, un algorithme de routage spécialement conçu pour les réseaux radios cognitifs multi-sauts. Notre 

protocole établit un chemin et un ensemble de canaux radios à utiliser entre un nœud source et une destination en se 

basant sur des calculs probabilistes qui prennent en compte l'emplacement et l'activité des nœuds primaires plus 

prioritaires sur les canaux en questions. 

Enfin, nous évaluons nos techniques de contrôle analytiquement et par simulations.

Cordialement

Hicham

Soutenance de thèse de Alexandre Chapoutot / 8 décembre à 14h30

Bonjour, 

J'ai le plaisir du vous inviter à ma soutenance de thèse 

            Simulation abstraite : une analyse statique de modèles Simulink

qui se déroulera le 

                lundi 8 décembre 2008 à 14h30 

à l'École Polytechnique, amphithéâtre Monge; ainsi qu'au pot qui suivra. 

Pour vous rendre à l'École Polytechnique, Cf: 

    http://www.polytechnique.fr/campus/campus_plans.php 

L'amphithéâtre Monge est à côté du numéro 20 du plan: 

    http://www.polytechnique.fr/images/campus/plan_ecole.pdf 

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

Le jury est composé de :

Jean-Marie Chesneaux, Université Pierre et Marie Curie (Rapporteur)

Nicolas Halbwachs, Vérimag (Rapporteur)

Daniel Krob,  Ecole Polytechnique (Examinateur)

Bruno Pagano, Esterel Technologies (Examinateur)

Marc Pouzet, Université Paris-Sud (Examinateur)

Matthieu Martel, Université de Perpignan Via Domitia (Directeur)

---------------------------------------------------------------------------------
Résumé de la thèse :

La conception de systèmes embarqués nécessite de plus en plus

l'utilisation d'outils logiciels afin de contenir la complexité

croissante de ceux-ci. Les deux principaux outils industriels dans ce

domaine sont Simulink et Lustre/Scade. Ces deux outils possèdent de nombreuses 

fonctionnalités comme un moteur de simulations, des générateurs de tests ou de code. 

Cependant, Simulink est, dans la majorité des cas, utilisé pour la conception de systèmes

embarqués et ceci parce qu'il a une expressivité plus importante. Il

est capable de modéliser et de simuler des systèmes à temps continu, à

temps discret et un mélange des deux, c'est-à-dire des systèmes hybrides. Pour

la conception des systèmes embarqués, Simulink permet de modéliser

l'environnement physique et le logiciel embarqué dans un même

formalisme. L'application des méthodes formelles sur de telles

spécifications est un défi industriel et scientifique important pour

la validation des logiciels embarqués. De plus, l'utilisation de

méthodes formelles, au plus tôt dans le cycle de développement, est un

challenge essentiel dans l'industrie afin de réduire les coûts liés à 

la correction de bogues.

Dans cette thèse, nous définissons une analyse statique par

interprétation abstraite de modèles Simulink. Nous appelons cette

analyse simulation abstraite. L'objectif de la simulation

abstraite est de fournir un critère de correction des comportements

numériques des exécutions des modèles Simulink. Ces simulations sont

souvent utilisées pour valider les systèmes modélisés, mais elles sont

plus proches de l'activité de tests que celle de la preuve. En

conséquence, elles ne permettent pas de valider vis-à-vis des

spécifications un système modélisé avec Simulink. La simulation

abstraite fournit un critère de correction dans le sens que les

comportements des modèles Simulink représentent au mieux les

comportements du monde réel.

Nous supposons que le modèle mathématique, représenté par un modèle

Simulink, est correcte vis-à-vis du monde réel. Notre objectif est de

calculer automatiquement et conjointement une sur-approximation des

comportements mathématiques et des comportements issus de la

simulation numérique pour une plage d'entrées possibles. Nous sommes

ainsi capable d'estimer l'ensemble des imprécisions introduit par la

simulation numérique, c'est-à-dire les erreurs d'arrondi ou les erreurs de

troncature liées, par exemple, aux capteurs. Le critère de correction

des modèles à temps continu est obtenu en évaluant la distance

séparant les résultats des méthodes d'intégration numérique, utilisées

par le moteur de simulations, des résultats obtenus par un méthode

d'intégration numérique garantie. Le critère de correction des modèles

à temps discret est donné par l'utilisation le domaine numérique

abstrait des nombres flottants avec erreurs différentiées. Ce nouveau

domaine numérique est issu de la combinaison du domaine des flottants

avec erreurs et la méthode de différentiation automatique permettant

d'avoir une meilleure abstraction des erreurs. Nous définissons

également une abstraction d'un domaine des séquences utilisant les

partitions d'un ensemble. Nous sommes ainsi en mesure de représenter

des simulations infinies d'une manière finie. L'ensemble de ces

domaines permet alors d'estimer les erreurs introduites par les

traitements numériques présents lors des simulations. Nous obtenons

alors une méthode de validation des comportements numériques des

systèmes embarqués modélisés en Simulink. 

soutenance de thèse de Carine Pivoteau / le 3 décembre à 14h30

Bonsoir à tous,

J'ai le plaisir de vous annoncer la soutenance de ma thèse intitulée

"Génération aléatoire de structures combinatoires :
méthode de Boltzmann effective."

qui aura lieu le 3 décembre 2008 à 14h30 en salle 549, au cinquième
étage du LIP6, situé au 104 Av. du Pdt Kennedy, 75016 Paris.

Vous êtes également invités au traditionnel pot qui suivra (même
bâtiment, salle 847, 8ème étage).

---------------------------------------------------------------------------------
Composition du jury:

François Bergeron, Lacim, UQAM (rapporteur)
Alain Denise, LRI, Université de Paris Sud (rapporteur)
Philippe Flajolet, INRIA Rocquencourt (examinateur)
Patrick Gallinari, LIP6, UPMC (examinateur)
Jacques Malenfant, LIP6, UPMC (examinateur)
Conrado Martínez, Université Polytechnique de Catalogne (examinateur)
Bruno Salvy, INRIA Rocquencourt (examinateur)
Michèle Soria, LIP6, UPMC (directrice)

---------------------------------------------------------------------------------
Résumé de la thèse:

La génération aléatoire uniforme est un problème central en combinatoire
algorithmique.Dans le modèle de Boltzmann, les structures combinatoires
sont engendrées avec une taille variable ce qui permet de concevoir des
générateurs efficaces.

Cette thèse vise à rendre effective cette méthode de génération
aléatoire pour un grand nombre de classes combinatoires décomposables,
en automatisant l'ensemble des traitements intervenant dans la
conception des générateurs de Boltzmann.

La première partie est consacrée à l'étude des algorithmes de
génération. Nous commençons par compléter le dictionnaire initial des
générateurs de Boltzmann afin de pouvoir traiter les classes
combinatoires non étiquetées. Ces algorithmes génériques sont présentés
en détails, validés par des preuves et illustrés sur des exemples
classiques en combinatoire. Des données expérimentales viennent
également souligner les performances de ces générateurs; une application
à la génération aléatoire de partitions planes complète cette étude.

Dans la méthode de Boltzmann, les générateurs sont paramétrés par une
valeur numérique x qui contrôle l'espérance de la taille des
structures engendrées. L'uniformité de la génération repose sur une
fonction d'oracle qui associe à toute classe combinatoire la valeur de
sa série génératrice en x.
La seconde partie de ce mémoire présente une méthode de calcul
automatique et efficace de cet oracle, par itération de Newton
numérique. La validité de cette méthode repose sur la convergence de
l'itération de Newton pour les structures combinatoires. Cette itération
est ensuite relevée au niveau des séries formelles puis au niveau des
valeurs numériques.
L'itération sur les séries conduit par ailleurs à un algorithme de
complexité quasi-optimale pour calculer les premiers coefficients des
séries de dénombrement.
---------------------------------------------------------------------------------

Cordialement,

Carine Pivoteau.

======================
Informations pratiques
======================
Adresse :
Site Passy-Kennedy
LIP6
104 avenue du Président Kennedy
75016 Paris

Comment venir au LIP6 (site de Kennedy) :
http://www.lip6.fr/fr/informations/comment.php

Pour les personnes extérieures, vous devrez vous présenter à l'accueil
afin de pouvoir accéder à la salle de soutenance. Si vous avez le
moindre problème d'accès, vous pourrez me contacter au : 01 44 27 88 25.