index - Laboratoire d'Algorithmique Complexité et Logique

RECHERCHE DANS LES PUBLICATIONS DU LACL

 

DÉPÔT DOCUMENTS

326

 

DÉPÔT NOTICES

Chargement de la page

 

 

  

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 :
 
  1. 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.
  2. 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.
 

EVOLUTION DES DÉPÔTS

 

TYPE DE DOCUMENTS

Chargement de la page