www.lix.polytechnique.fr Open in urlscan Pro
193.55.176.29  Public Scan

Form analysis
0 forms found in the DOM

Text Content

 * 


UMR 7161

 * Actualités
 * Laboratoire
 * Recherche
 * Enseignement
 * Informations
 * Recrutement

 * Wiki
 * Webmail

 * Se connecter

 * 
 * 

 * 
 * 


LABORATOIRE D'INFORMATIQUE DE L'ÉCOLE POLYTECHNIQUE


SÉMINAIRES

Making proofs by hand: attempt for a novel interface for Coq 2023-06-20


LE LABORATOIRE LIX

Le sigle LIX désigne le Laboratoire d’Informatique de l’École polytechnique, la
lettre X désignant l’École polytechnique dans la tradition française. Le LIX est
une unité mixte de recherche (UMR 7161) avec deux tutelles, l’École
polytechnique, membre de l’Institut polytechnique de Paris, et le Centre
national de la recherche scientifique (CNRS), ainsi qu’un partenaire, le centre
Inria Saclay Ile de France. Le LIX relève au sein du CNRS de l’Institut national
des sciences de l’information et de leurs interactions (INS2I) et au sein de
l’Institut polytechnique de Paris, du département Informatique, Data,
Intelligence Artificielle.

Le directeur du LIX est Gilles Schaeffer.


ÉQUIPES


MATHÉMATIQUES INFORMATIQUES

Combi: Modélisation combinatoire

Max: Modélisation algébrique

OptimiX: Optimisation


ANALYSE DES DONNÉES ET APPRENTISSAGE AUTOMATIQUE

Cedar: Exploration de données massives

Comète: Concurrence, mobilité et transactions

DaSciM: Données massives et fouille de données


COMMUNICATIONS SÛRES ET EFFICACES

Crypto/Grace: Théorie algorithmique des nombres et théorie des codes pour la
cryptographie

Networks: Communications hautes performances


MODÉLISATION, SIMULATION ET APPRENTISSAGE

Amibio: Algorithms and models for integrative biology

GeomeriX: Geometrie au service du numérique

VISTA: Visual Worlds: Temporal Analysis, Animation and Authoring


PREUVES ET ALGORITHMES

AlCo: Algorithmes et complexité

Cosynus: Analyse des programmes et systèmes numériques et distribués

Partout: Proof Automation and RepresenTation: a fOundation of compUtation and
deducTion

Nous suivre
 * RSS
 * Email
 * Twitter



Mentions légales

Propulsé par Yesod
Mise en forme basée sur Pure