| Welcome to LIPN! | LIPN: Members | LIPN: Research | LIPN: Teachings | LIPN: Publications | Libraries | Seminars | Intranet |
| A3 Team | AOC Team | CALIN Team | LCR Team | RCLN Team | News | Distinctions | Positions 2012 |
Le laboratoire d'informatique de Paris Nord vous invite à fêter ses 20 ans le 16 et 17 novembre 2006, dans l'amphi Euler de l'institut Galilée (voir le plan).
Pour assister aux journées, merci de vous inscrire! [liste des inscrits]
9h15 : accueil/café
9h30 :
Christophe Fouqueré, directeur du LIPN &
Alain Neuman, président de Paris 13. Ouverture.
10h : Christophe Fouqueré Présentation de l'équipe LCR
10h15-11h15 : Philippe Schnoebelen (DR CNRS, LSV Cachan) De nouvelles applications pour le model-checking
11h15-12h15 : Laure Petrucci (prof., LIPN) Spécification et vérification de systèmes complexes : une approche modulaire.
12h15-14h : buffet + posters
14h : Christian Lavault Présentation de l'équipe OCAD [.pdf]
14h15-15h15 : Philippe Flajolet (DR Inria, Rocquencourt) Comptage probabiliste : entre mathématique et
informatique [.pdf]
15h15-15h30 : pause-café
15h30-16h : Cyril Banderier (CR CNRS, LIPN)
Analyse en moyenne d'algorithmes et de structures combinatoires
[.ps]
16h-16h30 : Sophie Toulouse (MdC, LIPN)
Analyse d'algorithmes NP et approximation
[.pdf]
16h30-19h : photo, cocktail/buffet & anecdotes dinosauriennes
19h-... : Et si le lipn vous était compté, chanté, ...
9h45 : accueil/café
10h : Adeline Nazarenko Présentation de l'équipe RCLN : "Entre textes et connaissances"
10h15-11h15 : Martin Rajman (EPFL, Lausanne) Traitement automatique des langues naturelles, défis et perspectives.
11h15-12h15 : Thierry Poibeau (CR CNRS, LIPN) Sur quelques applications d'analyse sémantique,
vues au travers de la linguistique cognitive.
12h15-14h : buffet + posters
14h : Younès Bennani Présentation de l'équipe A3 : "A3 en perspective"
14h15-15h15 : Françoise Soulié-Fogelman (KXEN) Industrialiser le data mining : pourquoi et comment ?
15h15-15h30 : pause-café
15h30-16h30 : Érick Alphonse (MdC, LIPN) Apprentissage symbolique guidé par les données.
16h30-17h : pause-café, posters
Voici une liste détaillée des posters/démonstrations.
| Last modified: Saturday 11 December 2010 |
|
Contact for this webpage: |