200715457A : LACL Laboratoire d'Algorithmique, Complexité et Logique
- Unité de recherche
Responsables
1 responsable ne souhaite pas publier ses coordonnées.
Adresse : UPEC Faculté des sciences 61 avenue du General de Gaulle 94010 CRETEIL CEDEX
Site : http://lacl.u-pec.fr
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, ...)
Ecole(s) doctorale(s) de rattachement :
- ED 532 - MATHÉMATIQUES ET SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION (MSTIC)
- ED 183 - ED DE SCIENCES ET D' INGENIERIE: MATERIAUX, MODELISATION, ENVIRONNEMENT.
Rattachée au(x) thème(s) de recherche suivant(s):
- Logique, calcul et programmation
- Spécification et vérification de systèmes
Liens avec d'autres structures :
Aucun
Aucun
Contact: julien.cervelle@u-pec.fr
Année de création : 2007
Site ESR :
- Université Paris-Est, depuis le 01/01/2007
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 :
- 9 : Sciences et technologies de l'information et de la communication 2007
- 1 : Mathématiques et leurs interactions 2007
|
UPEC
-
Université Paris est Créteil Val de Marne
(EA 4219)
(établissement tutelle à partir de 2007) |
Etablissement référent |
-
Filiation
Structure(s) mère(s) :- 200316940E - LABORATOIRE D'ALGORITHMIQUE, COMPLEXITE ET LOGIQUE (LACL) (renouvellement)
-
Libellé(s) de structure
- 15/12/2015 : Laboratoire d'algorithmique, complexité et logique
- 29/06/2010 : LACL
- 29/06/2010 : LABORATOIRE D'ALGORITHMIQUE, COMPLEXITE ET LOGIQUE
-
Responsable
- 01/01/2007 - 31/12/2008 : Gaétan HAINS (DIR)
-
Label et Numéro d'établissement
-
29/06/2010 : EA 4219
UPEC - Université Paris est Créteil Val de Marne (EA 4219)
-
29/06/2010 : EA 4219
-
Etablissements
- 2007 - 2008 : CNRS- Centre national de la recherche scientifique