A PHP Error was encountered

Severity: Warning

Message: fopen(/var/lib/php/sessions/ci_session4df2vuj2r46rgj6j909s83r7i2eff32d): failed to open stream: No space left on device

Filename: drivers/Session_files_driver.php

Line Number: 174

Backtrace:

File: /var/www/html/apps/ci2/ci/applications/litislab/controllers/beta/Demo.php
Line: 25
Function: __construct

File: /var/www/html/apps/ci2/ci/litislab.php
Line: 334
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: session_start(): Failed to read session data: user (path: /var/lib/php/sessions)

Filename: Session/Session.php

Line Number: 143

Backtrace:

File: /var/www/html/apps/ci2/ci/applications/litislab/controllers/beta/Demo.php
Line: 25
Function: __construct

File: /var/www/html/apps/ci2/ci/litislab.php
Line: 334
Function: require_once

LITIS

Combinatoire et Algorithmes

...

Responsable d'équipe : Magali BARDET

L’équipe « Combinatoire et algorithmes » du LITIS s’intéresse à l’étude des aspects fondamentaux des algorithmes ou problèmes informatiques : le travail est centré autour de l’étude combinatoire et algorithmique de modèles de nature algébrique utilisés pour le traitement de l’information (mots, monoïdes libres, automates, séries génératrices, systèmes polynomiaux). L’équipe applique aussi ses concepts, méthodes et résultats en cryptographie, physique théorique, traitement des documents arborescents, validation temps-réel, etc.

Les résultats de l’équipe se répartissent dans ses principales thématiques :

  • Combinatoire
  • Cryptographie et calcul formel
  • Théorie des langages et automates

Approches

  • Étude structurelle et combinatoire des modèles algébriques (mots, monoïde libre, polynômes) ; classification
  • Étude algorithmique effective (automates finis, algèbres, logique formelle, systèmes de calcul symbolique)
  • Extension des modèles existants et construction de nouveaux modèles (automates d’arbres, d'ordres, algèbres de Hopf combinatoire, information quantique)
  • Codes correcteurs d'erreurs, cryptography

Applications

  • Systèmes d’informations, Sécurité, Cryptographie ;
  • Analyse automatique d’algorithme ;
  • Compression de données, codes correcteurs d’erreur ;
  • Physique statistique, information quantique, algèbre, théorie des représentations.
  • Compilation, recherche de motifs
  • Calcul formel
  • Logique formelle

Nos partenaires

  • LMNO (UMR 6139 CNRS, Univ. Caen)
  • LMRS (UMR 6085 CNRS, Univ. Rouen)
  • INRIA Paris
  • XLIM (Limoges)
  • IMB (UMR 5251 CNRS, Univ. Bordeaux)
  • LMRS (UMR 6085 CNRS, Univ. Rouen)
  • IRSEEM (ESIGELEC, Rouen)
  • GPM (UMR 6634 CNRS, Univ. Rouen)
  • LMSM (EA 4312, Univ. Rouen)
  • LMI (EA 3226, INSA Rouen)
  • LABRI (UMR 5800 CNRS)
  • LRI (UMR 8623 CNRS)
  • LIPN (UMR 7030 CNRS)
  • LIGM (UMR 8049 CNRS)
  • ICJ (UMR 5208 CNRS)
  • LAGA (UMR 7539 CNRS)
  • LIM (EA 2525)
  • USTHB (Algérie)
  • Univ. Oran (Algérie)
  • EEIDS (Algérie)
  • Univ. Sfax (Tunisie)
  • Univ. Mohammed V (Maroc)

Projets

Projets en cours :

  • PQ-TLS (ANR PEPR), 01/2022-12/2028
  • SWAP (ANR), 01/2022-09/2026

Projets passés :

  • CBCrypt (ANR), 2017-2022
  • ARTIQ (Région Normandie), 2018-2021
  • MinMacs (Région Normandie), 2019-2022
  • MOUSTIC (Région Normandie, FEDER), 2016-2020 
  • MIDI (Région Normandie), 2014-2015
  • IThèm (PHC Maghreb), 2014-2016