index - Laboratoire d'Algorithmique Complexité et Logique

Laboratoire d'Algorithmique Complexité et Logique (LACL) - EA 4219
Directeur	Julien Cervelle
Directeur Adjoint	Pierre Valarcher
Institutions	UPEC
Site web	https://www.lacl.fr/fr/
Thèmes de recherche	L'objectif scientifique principal du Laboratoire d'Algorithmique Complexité et Logique est de développer les modélisations formelles à plusieurs niveaux. Le LACL est organisé autour de deux équipes : Logique, calcul et Programmation se concentre sur les probématiques liées à la calculabilité, la théorie des algorithmes, la théorie des langages de programmation et aux problèmes de précisions liés aux théories logiques. Spécification et Vérification de Systèmes s'articule autour des des problèmes de modélisation, de vérification et de synthèses 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.

RECHERCHE DANS LES PUBLICATIONS DU LACL