Laboratoire

Laboratoire d'Algorithmique, Complexité et Logique

LACL

Mathématiques et leurs interactions et Sciences et technologies de l'information et de la communication. Les publications HAL repérées abordent notamment Event-B, SysML/KAOS, Refinement.

Domaines et travaux documentés

Consulter le site de la structure →

Domaines scientifiques déclarés au RNSR

Mathématiques et leurs interactionsSciences et technologies de l'information et de la communication

Panels ERC déclarés au RNSR

Mathematics : All areas of mathematics, pure and applied, plus mathematical foundations of computer science, mathematical physics and statisticsComputer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems

Mots-clés des publications HAL repérées

Event-BSysML/KAOSRefinementComputabilityCellular automataOntologiesComputational completenessVerificationFormal methodsLinear logicMéthodes formellesSimulation

Projets ANR

Publications HAL récentes repérées

Greedy window stochastic optimization algorithm for reducing data center energy consumption · 2026
Résumé de la publication : This paper presents a stochastic model for Dynamic Power Management (DPM) in data centers-a strategy that involves dynamically activating and deactivating servers to balance energy efficiency with the maintenance of high Quality of Service (QoS). Unlike traditional methods that rely on predefined…
Representations · 2026
Résumé de la publication : The formal analysis of automated systems is an important and growing industry. This activity routinely requires new verification frameworks to be developed to tackle new programming features, or new considerations (bugs of interest). Often, one particular property can prove frustrating to establish:…
Sampling methods for probabilistic approximations of ODEs · 2026
Résumé de la publication : Ordinary Differential Equations (ODEs) are used to model dynamical systems, notably in biology and biochemistry. In such systems, the estimation of parameters from experimental data is a central challenge, with applications such as drug discovery or clinical diagnosis. Liu B. et al.…
Activity Diagrams analysis for Visually Impaired students* · 2026
Résumé de la publication : Diagrams are a crucial part of education, learning, and understanding, enabling the transmission of complex ideas in a visual format. However, there are substantial limitations in current accessibility technologies that allow visually impaired people to access these materials. Traditional approaches that are…
Line Graph Interpretation Tool for Visually Impaired Users · 2026
Résumé de la publication : Line diagrams and mathematical function plots are commonly used in scientific and educational textbooks and articles to convey quantitative relationships. However, their visual nature presents significant challenges and barriers for visually impaired learners. Despite the ongoing efforts to improve acces- sibility in…

Implantations

Adresse RNSR : UPEC Faculté des sciences 61 avenue du General de Gaulle, 94010, Créteil, France

Liens et rattachements

Deux vues des mêmes relations. Parcourez les pages ou choisissez une entité pour explorer ses liens.

Laboratoire d'Algorithmique, Complexité et Logique

Tutelles et structures parentes

Sous tutelle deUniversité Paris est Créteil Val de MarneÉtablissementConsulter →

Projets et participations

Participe au projetEnrichissement de EventB et de RODIN : EventB-Rodin-PlusProjet ANRConsulter →
Participe au projetIntégration correcte de modèles discrets et continusProjet ANRConsulter →
Participe au projetMéthodes d'analyse pour la vérification de propriétés quantitativesProjet ANRConsulter →
Participe au projetMéthodes formelles pour l'analysis et le développement de systèmes cyber-physiques intégrant l'intelligence artificielleProjet ANRConsulter →
Participe au projetThéorie de la complexité avec des équations différentielles discrètesProjet ANRConsulter →
Coordonne le projetVersionnage des lois sémantique et exécutableProjet ANRConsulter →
Participe au projetZoologie de méthodes algorithmiques pour les jeux dynamiquesProjet ANRConsulter →

Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.

Sources et actualisation

Site de la structure · RNSR · HAL

Fiche mise à jour: 10/10/2026

Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.

Compléter ou corriger cette fiche

Une information manque ou vous souhaitez réagir ? Connectez-vous pour proposer une correction ou laisser un commentaire.

Se connecter pour contribuer · Créer un compte

Commenter cette fiche