Journée scientifique organisée en l'honneur de Jean-Louis Laurière
le mercredi 22 mars 2006
Amphi Pasquier, 15 rue de l'école de Médecine
75006 Paris
Affiche de présentation
9h - Introduction
Jean-Charles Pomerol, Président de l'Université Pierre et Marie Curie
Patrick Gallinari, Directeur du LIP6
9h30 - Première session : Président Jacques Pitrat (LIP6-Paris 6)
- Jean-Yves Lucas (EDF) Quand le programme est un problème.
- Dominique Pastre (Crip5-Paris 5) Démonstration automatique de théorèmes, méthodes naturelles ou principe de résolution.
- Basile Starynkevitch (CEA) Méta-connaissance pour générer des programmes pour le web.
- Tristan Cazenave (Paris 8) Transformation des représentations de connaissances et recherche heuristique dans les jeux.
- Monique Baron, Hélène Giroire, Odile Paliès et Alain David (Paris-6) Enseigner les travaux de Jean-Louis Laurière.
14h Deuxième session : Président Daniel Kayser (LIPN-Paris 13)
- Jean-Luc Dormoy (CEA) ALICE, SNARK et RABBIT : l'efficacité par la généralité.
- Patrick Albert (ILOG) De SNARK et ALICE aux règles métier.
- Mehmet Dincbas (COSYTEC) Des contraintes de ALICE aux contraintes de CHIP.
- Jacques Pitrat (LIP6-Paris 6) ALICE, un outil fondamental pour un chercheur artificiel en Intelligence Artificielle.
16h - Pause
16h30 - Troisième session : Président Jean-François Perrot (LIP6-Paris 6
- Michel Gondran (EDF) Modélisation de l'Éthique de Spinoza en SNARK.
- Michèle Sebag (LRI-Paris 11) L'apprentissage supervisé comme un problème de satisfaction de contraintes.
- Jean-Gabriel Ganascia (LIP6 Paris 6) Les changements de représentation et la reformulation en résolution de problèmes.
- François Pachet (Sony) Des idées venues d'Alice pour trouver des "bonnes" fonctions du signal.
18h30 - Réception
Information fournie par Chantal Perrichon et Frédéric Delvalle.