11h - 12h45 Pour un lien d'instanciation dynamique dans les langages a classes. F.Rivard: (Ecole des mines de Nantes) Conception modulaire d'objets en CROME. Etude du cas de l'interfacage graphique d'applications. Gilles Vanwormhoudt (Laboratoire d'Informatique Fondamentale de Lille) Quelques résultats sur le typage des classes formelles. JC-Royer IRIN (institut de recherche en informatique de Nantes) 12h45-14h30: Dejeuner 14h45-16h15 Les assertions quantifiées dans Eiffel. P.Collet (Univ. de Nice-Sophia Antipolis & I3S) Le point sur le mod`ele TAG/CF Pascal André & Jean-Claude Royer, IRIN. Les Systèmes classificatoires: problèmes choisis. R.Ducournau (LIRM Montpellier) 16h15-16h45: Pause. Pause. 16h45 - 17h45 CIO un modèle de contraintes inter-objets. M.Oussala - V.Puig: (LGI2P/EMA-EERIE Nimes) Discussion pôle: Organisation et financements colloques, Préparation comité scientifique, école des jeunes chercheurs, point financier, divers.