Mardi 25
11h : Celso Ribeiro, Universidade Fluminense, Univ. Fluminense, Niteroi, RJ,
Optimisation sur les graphes et applications aux problèmes de synthèse et
routage dans les réseaux
11h45 : Marie-Claude Gaudel, LRI,
Coverage-biased random exploration of large models, ( avec Alain Denise et
Johan Oudinet)

14h00 : Nicolas Spyratos, LRI,
A Functional Model for Data Analysis
14h25 : Cynthia Junquera, Instituto de Aeronáutica e Espaço (IAE), São
José dos Campos, SP,
 Analyse des antennes ULB en mode impulsionnel, (avec Benedito Sa de
Araujo Filho, et Marcelo Perotoni)
14h50 : A. Raizer, Université Fédérale de Santa Catarina – UFSC –
Florianópolis,
Modélisation et Optimisation de la position d’émetteurs dans des systèmes
de communication sans fils, avec A. Dalla’Rosa, et L. Pichon (LGEP)
15h15 : Rafael Andrade, Université Fédérale de Ceará,
Aide à la décision pour l ?expansion de réseaux de télécommunications
à très haut débit pour le modèle multi-client muti-classe de service


Mercredi 26
11h00 : David Deharbe, Université Fédérale du Rio Grande do Norte (UFRN),
A prospective study on a formal compilation approach based on the B method
11h25 : Ana C. Viera de Melo, Université de Saõ Paulo,
Software Engineering and Formal Methods at USP
11h50 : Alvaro Moreira, Universidade Federal do Rio Grande do Sul,
Research in Formal Methods  in Computer Science, with Daltro NUNES, Leila
RIBEIRO, Luciana BURIOL, Luís DA CUNHA LAMB, Markus RITT, Roberto DA SILVA
12h15 : Abdel Lisser, LRI,
Optimisation Combinatoire Stochastique

Les conferences ont lieu au LAL, Bâtiment 200.