Précédent

Novembre 2018

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
29
30
31
1
2
5
14:00 Learning to Navigate and Extract Information from Web Results
Salle B107, bâtiment B, Université de Villetaneuse
15:00 State Compression Based on One-Sided Communications for Distributed Model Checking
Salle A303, bâtiment A, Université de Villetaneuse
6
7
8
9
12
13
12:30 On importance splitting and the automation of rare event simulation
Salle A303, bâtiment A, Université de Villetaneuse
14
15
16
19
20
21
22
10:30 Soft modalities as prices: a game model for intuitionistic linear logic with subexponentials
Salle B107, bâtiment B, Université de Villetaneuse
23
26
27
28
29
10:15 Linear MSO and Church synthesis
Salle B107, bâtiment B, Université de Villetaneuse
30