يهـتم المـخبر بأعـمال متنوعة تشرف عليها خـمسة أقـسام

وحـدات / 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		👥	👥👥

KEY FIGURES

489 people at LIP6

213 permanent people

157 teacher-researchers
26 CNRS researchers
6 INRIA researchers
12 administrative staff
12 technical staff

276 non permanent people including :

173 PhD students
17 postdocs
13 temporary research engineer

Actions of excellence

4 ERC
2 professorships
3 LabEx
1 Equipex
3 IUF members

Publications 2014 - 2019

615 journal articles
1508 conference papers
259 theses
36 HDR

أحـداث السـاعـة LIP6

الأرشـيف

مـذكرات (LIP6)

26/02/2019 - 2:00 م : 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

الأرشـيف

مخبر LIP6 (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
التـوقـيت : 4:00 م
المتدخلون) المتدخل) : 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
التـوقـيت : 10:30 ص
المتدخلون) المتدخل) : 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

الأرشـيف