Accès direct au contenu

UPEC

E-campus

Recherche avancée

Formations et inscriptions
Connexion à l'intranet

mot de passe oublié

logo_pdf

Site de l'Université > Laboratoires


Laboratoire d'Algorithmique, Complexité et Logique (LACL) - EA 4219

  • Version pdf
  • Imprimer la page
  • Envoyer à un ami
  • Partager
Directeur :
MME Regine Laleau
Adresse :
Université Paris-Est Créteil Val de Marne (UPEC)
61, avenue du Général de Gaulle
94010 Créteil Cedex
Courriel :
laleau@u-pec.fr
Site Internet :
http://lacl.u-pec.fr
Téléphone :
+33 (0)1 45 17 16 47
Télécopie :
+33 (0)1 45 17 66 01
Rattachement(s) :
UFR des Sciences et technologie

Axe(s) de recherche

STIC et mathématiques
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 l'étude de modèles formels (calcul spatial, théories logiques, automates...)
- "Spécification et Vérification de Systèmes" : étude et le 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, ...)

Recherche d'un laboratoire

Recherche d'un laboratoire

mise à jour le 27 septembre 2013

Université Paris-Est Créteil Val de Marne (UPEC) Université Paris-Est

Université Paris-Est Créteil Val de Marne

61 avenue du Général de Gaulle
94010 Créteil Cedex France