Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation

Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation

rnSr

200715457A : LACL Laboratoire d'Algorithmique, Complexité et Logique 
Unité de recherche   (situation 2026) 

Responsable(s)

Directeur - Le responsable ne souhaite pas publier ses coordonnées.

Etablissement
UPEC UPEC - Université Paris est Créteil Val de Marne (EA 4219)
(établissement tutelle à partir de 2007)
Etablissement référent
Adresse
UPEC Faculté des sciences 61 avenue du General de Gaulle
94010 CRETEIL CEDEX
   Contact
  courriel : julien.cervelle@u-pec.fr
Site web : http://lacl.u-pec.fr
Taille en ETP (sans compter les stagiaires): entre 10 et 50.
Descriptif :
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 laboratoire comporte deux équipes : - "Logique, Calcul et Programmation" : définition et étude de modèles formels (calcul spatial, théories logiques, automates...) - "Spécification et Vérification de Systèmes" : étude et développement de techniques et de méthodologies formelles d'analyse, de conception et de vérification pour différents types de systèmes (parallèles, concurrents, distribués, probabilistes, ...)
Année de création : 2007
Mission de la structure : Recherche
Mode de gestion de la structure : Non renseigné.
SIRET de la structure : Non renseigné.
Classement scientifique ERC
 - PE1 : Mathematics : All areas of mathematics, pure and applied, plus mathematical foundations of computer science, mathematical physics and statistics
 - PE6 : Computer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems
Domaine scientifique
 - 1 : Mathématiques et leurs interactions 2007 0
 - 9 : Sciences et technologies de l'information et de la communication 2007 0
Ecole(s) doctorale(s) de rattachement
 -  ED 532 - MATHÉMATIQUES ET SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION (MSTIC), depuis le 01/01/2010, fin d'accréditation le 31/12/2025
Rattachée au(x) programme(s) LOLF suivant(s):
Non renseigné
Rattachée au(x) thème(s) de recherche suivant(s):
Logique, calcul et programmation; Spécification et vérification de systèmes;
Origine de la structure
renouvellement en 2007 de :
 -  200316940E - LABORATOIRE D'ALGORITHMIQUE, COMPLEXITE ET LOGIQUE (LACL)
Liens avec d'autres structures :
Aucun.
Site ESR :
Aucun.

Fiche mise à jour par Lionel Casterman le 14/04/2020 à 15:35