Juillet 2013
Lundi
Mardi
Mercredi
Jeudi
Vendredi
1
0:59
After the f-score: applying parser output in sentiment analysis, grammatical error detection and quality estimation for machine translation
Salle B107, bâtiment B, Université de Villetaneuse
2
3
4
5
0:59
Forcing in classical realizability: the case study of Herbrand trees
Salle B107, bâtiment B, Université de Villetaneuse
8
9
10
13:30
Soutenance à mi-parcours
Salle B107, bâtiment B, Université de Villetaneuse
14:30
Soutenance à mi-parcours
Salle B107, bâtiment B, Université de Villetaneuse
15:30
Soutenance à mi-parcours
Salle B107, bâtiment B, Université de Villetaneuse
16:30
Goûter de clôture
Salle B107, bâtiment B, Université de Villetaneuse
11
12
0:59
Bisimulations from graphical encodings (DPOs, RPOs, cospans, and all that)
Amphi Copernic, Institut Galilée, Université de Villetaneuse
15
16
17
18
19
22
23
24
25
26
29
30
31
1
2