Laboratoire d'Algorithmique, Complexité et Logique (LACL) - EA 4219

Adresse :
Université Paris-Est Créteil Val de Marne (UPEC)
61, avenue du Général de Gaulle
94010 Créteil Cedex
Tél :
+33 (0)1 45 17 16 63
Mail :
julien.cervelle@u-pec.fr
Sur Internet :
http://lacl.u-pec.fr

Informations générales

Structure(s) de rattachement :

UPEC - UFR de Sciences et technologie

Organisation

Composition de l'équipe :

Activités

Axe(s) de recherche

MSTIC

Thèmes de recherche

Les thèmes de recherche du laboratoire LACL s'organisent autour de la définition et l'étude d'outils pour la modélisation formelle de systèmes.

Le LACL est organisé autour de deux équipes :
• Logique, Calcul et Programmation (LCP) ;
• Spécification et Vérification de Systèmes (SVS).

La première équipe se concentre sur les problématiques liées à la calculabilité, la théorie des algorithmes, la théorie des langages de programmation et aux problèmes de décision liés aux théories logiques.

La seconde s’articule autour des problèmes de modélisation, de vérification et de synthèse pour les systèmes concurrents, temporels, probabilistes, cyberphysiques et multi-agents ainsi qu’autour des applications de la méthode B et des outils associés.

Le laboratoire se distingue par la qualité et la quantité de ses résultats scientifiques aussi bien en publications qu’en manifestations scientifiques. Les membres de l’unité répondent également à de nombreux appels à projet souvent en nouant des collaborations avec des partenaires industriels.

Aujourd’hui, le laboratoire souhaite investir le champ de l’intelligence artificielle théorique afin de s’inscrire pleinement dans les intérêts et enjeux de société.
Les thèmes de recherche du laboratoire s'organisent autour de la définition et l'étude d'outils pour la modélisation formelle de systèmes.

Le LACL a été créé en 1997 sous l’unique tutelle de l’UPEC. À plusieurs égards, cette unité de recherche a une position unique en France. En effet, c’est l’un des seuls laboratoires d’informatique purement fondamentaux et le seul laboratoire en France où l’on fait de la logique mathématique et de la calculabilité.

> Télécharger la fiche de présentation du laboratoire [PDF]