Précédent

Octobre 2014

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
29
14:00 Peuplement d'ontologies par des techniques de TAL
Salle B107, bâtiment B, Université de Villetaneuse
30
14:00 Polynomials invariants on stranded graphs
Salle B107, bâtiment B, Université de Villetaneuse
1
2
3
6
7
14:00 Le langage asymptotique des courbes lisses
Salle B107, bâtiment B, Université de Villetaneuse
8
9
16:00 Unfolding-based Reachability Checking of Petri Nets
Salle B107, bâtiment B, Université de Villetaneuse
10
13
14:00 (Digital) goodies from the ERC Wishing Well: BabelNet, Babelfy, video games with a purpose and the Wikipedia bitaxonomy
Salle B107, bâtiment B, Université de Villetaneuse
14
14:00 Transcendence et algorithme de remplacement
Salle B107, bâtiment B, Université de Villetaneuse
15
16
17
20
21
14:00 A general theory of Wilf-equivalence for Catalan structures
Salle B107, bâtiment B, Université de Villetaneuse
22
23
15:30 The implementation of GPGPU for Model Checking Problems
Salle A303
24
10:30 Construction de l'exponentielle libre en logique linéaire
Salle B107, bâtiment B, Université de Villetaneuse
27
28
14:00 Graphes d'interaction et équations d'évolution
Salle B107, bâtiment B, Université de Villetaneuse
29
30
15:30 Modèles et paradigmes de programmation parallèle distribuée
Salle B107, bâtiment B, Université de Villetaneuse
31