Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > 1er colloque scientifique Franco-Brésilien
1er colloque scientifique Franco-Brésilien
1er colloque scientifique Franco-Brésilien 1er colloque scientifique Franco-Brésilien
25 mars 2008

Organisé par Paris Sud 11, les 25 et 26 mars 2008, cet événement est consacré aux thématiques suivantes: les Sciences et Technologies de l’Information et de la Communication (STIC) ; les
Nanosciences ; la Pharmacie/Santé.
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.


Pour en savoir plus: http://adonis.u-psud.fr/depot/1078/Livret_FRANCE-BRESIL.pdf
News
SWERC 2019-2020
25 janvier 2020
Trois membres du LRI contribuent à l'organisation du SWERC 2019-2020

Wendy Mackay nommée ACM Fellow
19 janvier 2020
pour ses contributions à l'Interaction Humain-Machine et son leadership au sein de l'ACM SIGCHI

Prix de stage de recherche de l'École polytechnique
19 novembre 2019
Quentin Soubeyran a reçu le prix de stage de recherche de l'École polytechnique pour son travail au LRI dans l'équipe Systèmes Parallèles.