LaBRI-Hebdo 154
Vendredi 23 Novembre 2007
Un merci tout particulier cette semaine à Louis Esperet pour le coup de main donné à la rédaction de ce numéro.
Bonne lecture
Après les deux premières sessions, qui ont eu lieu en 2002 à Toulouse et en 2003 à Marseille, les troisèmes Journées AltaRica font étape au LaBRI, ce 27 et 28 novembre. Aujourd'hui, des outils permettant d'analyser des modèles AltaRica de différentes manières sont disponibles et certains sont intégrés dans l'environnement Cecilia AltaRica-OCAS (Dassault Aviation). De plus, la communauté universitaire travaillant dans le domaine de la validation des architectures Système a été séduit par le langage AltaRica et de nombreux développements ont été effectués ces dernières années autour de ce langage. Ces journées sont organisées autour de présentations des travaux autour du langage AltaRica.
Jour | Horaire | Lieu | Intitulé |
Mardi | 8h30-18h | Amphi LaBRI | Colloque: Troisièmes journées AltaRica |
11h00-12h | Salle 76 | GdT Graphes et Logique: Igor Walukiewicz (LaBRI) : Tree Algebras | |
Mercredi | 8h30-18h | Amphi LaBRI | Colloque: Troisièmes journées AltaRica |
Jeudi | 11h00-12h15 | 076 LaBRI |
GdT Modélisation et Vérification :
Thomas Gazagnaire (IRISA, Rennes) HMSC Causaux |
11h00-12h00 | 075 LaBRI |
GdT Image&Son :
Jean-Sébastien Franco (LaBRI) Modélisation 3D à partir de vidéos pour l'interaction |
|
14h00-15h30 | Amphi LaBRI |
Séminaire-École sur les décompositions des graphes :
Bruno Courcelle (LaBRI) Largeurs de clique et de rang (suite) |
|
Vendredi | 10h45-12h | 076 LaBRI |
GdT Combinatoire énumérative et génération aléatoire :
Vincent Pilaud : Étoiles et multi-triangulations |
14h00-15h00 | 075 LaBRI |
GdT Graphes et Applications : Mickaël Montassier (LaBRI) Une relaxation du problème de Havel |
Toutes les échances en cours sont répertoriées une page annexe. Seules les échances du mois sont indiquées ici.
Date | Intitulé | |
Novembre | 28 | Ministère : Prix Gay-Lussac/Humboldt collaboration franco-allemande |
29 | FP7-ICT-SEC-2007-1 : Sécurité et Technologies de l'information et de la communication | |
30 | Pôles de compétitivité : 5ème appel | |
Décembre | 2 | Ministère : Candidature pour un poste à l'étranger |
7 | Egide - PHC : STAR - collaboration avec la Corée | |
15 | Programme Asgard : session printemps 2008 - collaboration Frane - Norvège | |
IUF : appel à candidature | ||
18 | AUF : bourses de thèse et post-doctorales - dans la Francophonie. |
Envoi de critiques, suggestions, articles et informations à :
LaBRI-Hebdo@labri.fr
(au plus tard le jeudi à 22h).
Abonnement et désabonnement sur simple demande auprès de la
rédaction.