lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

Les prochains séminaires du LIPN

Vendredi 24 février 2017
Jean-Vincent Loddo (LIPN)    
Expérimenter un modèle de programmation fonctionnel, réactif et concurrent (à environnement global) compositionnel en OCaml.
Note: Il s'agit d'un groupe de travail informel et non d'une présentation
Salle B107, bâtiment B, Université de Villetaneuse, 11h00
Note: Il s'agit d'un groupe de travail informel et non d'une présentation

Mardi 28 février 2017
CALIN ()
réunion d'équipe (12h30-14h30)
Salle B107, bâtiment B, Université de Villetaneuse, 12h30

Jeudi 2 mars 2017
Prof. Andrea Lodi (Department of Mathematics and Industrial Engineering - École Polytechnique de Montréal)    
On big data, optimization and learning
Salle B107, bâtiment B, Université de Villetaneuse, 12h30

Adrien Pommellet (LCR, LIPN, Paris 13)    
Reachability Analysis of Pushdown Systems with an Upper Stack
Salle B107, bâtiment B, Université de Villetaneuse, 14h00

Jeudi 23 mars 2017
Huu-Vu Nguyen (LCR, LIPN, Paris 13)    
CARET Model Checking For Pushdown Systems
Salle B107, bâtiment B, Université de Villetaneuse, 14h00

pres

w3c-xhtml