Précédent

Février 2015

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
26
14:00 Apprentissage faiblement supervise d'un etiqueteur morpho-syntaxique par transfert cross-lingue
Salle B107, bâtiment B, Université de Villetaneuse
27
14:00 Soutenance de thèse (AOC-RCLN)
Salle B107, bâtiment B, Université de Villetaneuse
28
29
30
11:00 Une introduction à la théorie de Squier
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Cost Linear Temporal Logic for Verification
Salle B107, bâtiment B, Université de Villetaneuse
14:40 Vérification de Spécifications EB-3 à l'aide de Techniques de Model Checking
Salle B107, bâtiment B, Université de Villetaneuse
2
3
14:00 Graph polynomials and relations with physics
Salle B107, bâtiment B, Université de Villetaneuse
4
5
6
9
10
14:00 Énumérer les cartes farcies de toute topologie (avec un soupçon de combinatoire analytique)
Salle B107, bâtiment B, Université de Villetaneuse
11
12
13
11:30 Model checking en logique de dépendance
Salle B107, bâtiment B, Université de Villetaneuse
16
17
14:00 Problèmes de satisfaction de contraintes et graphes inhomogènes
Salle B107, bâtiment B, Université de Villetaneuse
18
19
16:00 Modelling Timed Concurrent Systems Using Activity Diagram Patterns
Salle B107, bâtiment B, Université de Villetaneuse
20
11:00 Coherence spaces for computable analysis
Salle B107, bâtiment B, Université de Villetaneuse
23
24
14:00 Profile of random trees
Salle B107, bâtiment B, Université de Villetaneuse
25
14:00 Quasi-random properties of subsequences of sequences generated by finite automata
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Quasi-Random Properties of Subsequences of Sequences Generated by Finite Automata
Amphi A
26
27
11:00 Linear numeral systems
Salle B107, bâtiment B, Université de Villetaneuse