La sémantique et les techniques d'implémentation de
langages comme Smalltalk, Eiffel ou CLOS sont relativement
stabilisées - certains de ces langages sont même en voie de
normalisation - et permettent leur mise en 
uvre quasi
industrielle.
Cependant le succès des langages à objets a contraint les
concepteurs à en figer trop tôt certains aspects. Certains
résultats de recherches n'ont pas (encore) été intégrés dans les
langages les plus utilisés industriellement, certains sujets ont été
peu ou incomplètement traités, enfin certaines applications
font apparaître de nouveaux problèmes nécessitant des modifications
dans les modèles utilisés.
Le projet ELO regroupe des équipes de recherches académiques mais aussi industrielles travaillant sur l'utilisation, la compréhension, la sémantique ainsi que diverses évolutions des modèles et des langages de programmation à objets. Les sujets traités sont répartis en quatre grand thèmes:
- la sémantique de l'héritage et la manipulation des hiérarchies,
- la sémantique et l'évolution des différents modèles d'objets (avec ou sans classes par exemple) et la construction réflexive des langages,
- la représentation de connaissances complexes et évolutives dans les langages de programmation à objets
- l'analyse et la conception formelles de programmes à objets.