LIP6 » Recherche » Équipes

Le laboratoire couvre un large spectre d'activités : vingt-deux équipes regroupées au sein de quatre axes de recherche :

Équipes / Axes	AID	ASN	SSR	TMC
ACASA	👥👥
ALMASTY			👥👥	👥👥
ALSOC		👥👥	👥👥	👥
APR		👥	👥👥	👥👥
BD	👥👥	👥👥
CIAN		👥👥	👥👥
ComplexNetworks	👥👥	👥	👥	👥👥
DECISION	👥👥			👥👥
DELYS	👥	👥👥	👥👥
LFI	👥👥
MLIA	👥👥			👥👥
MOCAH	👥👥
MoVe		👥	👥👥	👥
NPA	👥	👥👥	👥👥	👥👥
PEQUAN			👥👥	👥👥
Phare		👥👥	👥👥	👥
PolSys			👥👥	👥👥
QI	👥	👥👥	👥👥	👥👥
RO	👥	👥		👥👥
SMA	👥👥	👥
SYEL	👥	👥👥	👥	👥👥
Whisper		👥	👥👥

CHIFFRES CLÉS

489 personnes au LIP6

213 personnels permanents

157 enseignants chercheurs
26 chercheurs CNRS
6 chercheurs INRIA
12 personnels administratifs
12 ingénieurs

276 personnels non permanents dont :

173 doctorants
17 postdocs
13 ingénieurs en CDD

Actions d'excellence

4 ERC
2 chaires
3 LabEx
1 Equipex
3 membres de l'IUF

Publications 2014 - 2019

615 articles de revue
1508 conférences
259 thèses
36 HDR

Actualité LIP6

Thèses (LIP6)

26/02/2019 - 14h : SUZANNE Thibault
Vérification par interprétation abstraite en mémoire faiblement cohérente
Salle W, École Normale Supérieure : 45 rue d'Ulm, 75005 Paris

Le LIP6 organise (LIP6)

14/02/2019 - Free Silicon Conference (FSiC) 2019
The second Free Silicon Conference (FSiC) will be held at Sorbonne Université (Paris) on March 14-16 2019. The conference will bring together experts and enthusiasts who want to build a complete Free and Open Source CAD ecosystem for desig...
salle 105, couloir 25-26, 4 place Jussieu, 75005 Paris - https://wiki.f-si.org/index.php/FSiC2019
21/02/2019 - Towards verified modelling of Digital Signal Processing algorithms
Horaire : 16h
Intervenant(s) : Emilio J. Gallego Arias (MINES ParisTech)
We study the formal verification of some aspects of Digital Signal Processing algorithms. In particular, we are interested in the high-level theory of Linear-Time-Invariant (LTI) systems, including typical algorithms such as filters and res...
Couloir 15-16 salle 101, 4 place Jussieu - 75005 Paris - https://www-apr.lip6.fr/~chaillou/Public...
07/03/2019 - Decomposable Probabilistic and Possibilistic Graphical Models: On Learning, Fusion and Revision
Horaire : 10h30
Intervenant(s) : Rudolf Kruse (University of Magdeburg)
Decomposable Graphical Models are of high relevance for complex industrial applications. The Markov network approach is one of their most prominent representatives and an important tool to decompose uncertain knowledge in high dimensional d...
LIP6, salle 105 (1er étage), couloir 25-26, 4 place Jussieu, 75005 Paris - http://webia.lip6.fr/~dapa/web/?q=semina...
15/04/2019 - Workshop on Randomness and Arithmetics for Cryptography on Hardware
The workshop is dedicated to low-level arithmetics and the use of randomness in cryptographic settings, in particular for hardware implementation.

Roscoff - https://wrach2019.lip6.fr/index.html