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/2024
|
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 :
Université Paris-Est, depuis le 01/01/2007
|
