Juillet 2015
Lundi
Mardi
Mercredi
Jeudi
Vendredi
29
12:15
BE-PUM: A tool of Binary Emulation for Pushdown Model generation
Salle B107, bâtiment B, Université de Villetaneuse
14:00
Annotation et exploration de textes de spécialité - fragments d'une expérience
Salle B107, bâtiment B, Université de Villetaneuse
30
1
2
12:30
Solving the quadratic shortest path problem
Salle B107, bâtiment B, Université de Villetaneuse
14:30
Action synthesis for branching time logic: theory and applications
Salle B107, bâtiment B, Université de Villetaneuse
3
6
7
14:00
Nonlinear dynamics and complex systems [TBC]
Salle B107, bâtiment B, Université de Villetaneuse
8
9
10
13
14
15
16
17
20
21
22
23
24
11:00
Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style
Salle B107, bâtiment B, Université de Villetaneuse
27
28
29
30
31