LaBRI-Hebdo 57
vendredi
1er avril 2005
La future Agence Nationale pour la Recherche, déjà dotée d'une
structure temporaire légère à laquelle elle doit succéder (le groupement d'intérêt
public Agence Nationale pour la Recherche), bénéficie désormais
d'une Unité de Support à l'Agence Nationale pour la Recherche, qui
annoncera prochainement les 31 fonctions
pseudo-pérennes d'intérêt prioritaire ouvertes à l'immobilité de son
Comité d'Accompagnement. Les chercheurs souhaitant poser leur
candidature sont invités à consulter l'Intranet du CNRS.
Actualités
- Le numéro 224 de la Lettre de la Délégation
Aquitaine-Limousin du CNRS.
- Commission de spécialistes 27e section : l'assemblée
générale des électeurs du collège B (MdC et CR) s'est prononcée en
faveur de la candidature d'Arnaud Pecher comme suppléant de Philippe
Duchon.
Annonces, appels et rappels d'offres
- Notre ami Noël Novelli signale un poste d'ATER ouvert au
recrutement à l'université O'Timmins de Provence (alias Aix-Marseille
1). Dossiers à envoyer au plus tard le 30 avril.
- Appel à communications à FMCO 2005, 4th International Symposium on Formal Methods for Objects and Components
(Amsterdam, 1er au 4 novembre).
- Annonce du colloque FLoC'06, Federated Logic Conference (Seattle, août
2006), regroupant CAV (Computer-Aided Verification),
RTA (Rewriting Techniques and Applications), LICS
(IEEE Symposium on Logic in Computer Science),
ICLP (International Conference on Logic Programming),
SAT (Theory and Applications of Satisfiability Testing)
et IJCAR (International Joint Conference on Automated Reasoning)..
- (Rappel) Eric Sopena demande qu'on lui fasse parvenir (pour mise en ligne)
les propositions de sujets de thèse pour la rentrée 2006. A
transmettre par courrier, sous forme de fichiers HTML attachés
(voir le modèle pour un nouveau sujet, ou les sujets de 2004 et 2003
pour la mise à jour d'anciennes propositions) comportant : titre,
encadrant(s) {nom et coordonnées}, équipe(s) d'accueil (ou thème),
mots-clés, description (qui peut être un lien), références
éventuelles, commentaires éventuels.
Séminaires, groupes de travail, conférences
-
Vendredi 1er avril, 14h, salle 300 de l'IMB (Graphes et Applications) -
André Raspaud : Cycle cover.
- Vendredi 1er avril, 15h15, amphi D, bâtiment A29 (Séminaire
d'Informatique Fondamentale) -
Gwenaël Richomme (LaRIA, Université de Picardie) : Morphismes et
mots de Lyndon.
-
Lundi 4 avril, 14h - 15h, salle 200 de l'IMB (Graphes et
Logique) -
François Genest (Université de Montréal et LRI, Orsay) : Orbites
de Kotzig et orbites de Sabidussi, une étude de la complémentarité
locale dans les graphes.
- Lundi 4 avril, 16h, salle 300 de l'IMB ( |- ) -
Pierre Castéran : Formalisation des ordinaux en Coq.
- Mardi 5 avril, 14h15, salle 1 de l'IMB (Scalapplix/Runtime) -
Cédric Chevalier (Scalapplix) : Méthodes
pour le
partitionnement parallèle de problèmes numériques
de très grande taille.
- Jeudi 7 avril, 11h, salle 300 de l'IMB (Modélisation, Vérification et
Test de Systèmes Informatisés) -
Karen Godary (CITI, Lyon - candidate MdC) : Validation temporelle de TTA, architecture embarquée
tolérante aux fautes pour l'automobile.
- Jeudi 7 avril, 14h, amphi C, bâtiment A29 (Séminaire) -
Dan Istrate (Laboratoire d'Informatique d'Avignon) : Détection et
classification de sons de la vie courante. Segmentation en locuteurs.
- Jeudi 7 avril, de 14h à 15h30, à l'ENSEIRB, conférence-débat proposée par
l'ENSEIRB et Bordeaux Unitec : La création d'entreprises de
technologies innovantes, animée par Olivier Fry, conseiller en
développement industriel à Bordeaux Unitec.
- Vendredi 8 avril, Arnaud
Durand, du Laboratoire d'Algorithmique, Complexité et Logique
(LACL) de Créteil, candidat PR (profil Logique - Complexité - Bases de
données et silhouette Direction MIAGE), sera au LaBRI. Il donnera à
15h15, amphi D, bâtiment A29, une conférence dans le cadre du Séminaire
d'Informatique Fondamentale : Évaluation de requêtes sur
structures fonctionnelles.
Vie pratique
- Le compte rendu de la Commission Utilisateurs du 21 mars est en ligne dans l'Intranet du LaBRI.
- Des dégradations ont récemment été commises sur le chantier.
Ceux qui constateraient des « anomalies » sur le chantier la
nuit ou le week-end sont invités à les signaler au service Astreinte
sécurité de l'Université, poste 27 99.
La vie ailleurs
- Lundi 4 avril, 20h30, amphi Kastler, concert classique :
Jacques Libouban invite Alasdaire Malloy. Oeuvres de Mozart par
les musiciens de l'ONBA.
- Mardi 5 avril, 18h30, château Bonnefont, concert-lecture du
SCRIME. Les outils au Groupe de Recherches
Musicales :
« Du phonogène aux GRM Tools », présentation audiovisuelle de
Christian Eloy (CNR de Bordeaux et SCRIME).
- Jeudi 7 avril, de 18h30 à 20h, à l'Aquaforum (Centre
Commercial Régional Rives d'Arcins), conférence de
Dominique Armand (Institut de Préhistoire et de Géologie du
Quaternaire, Bordeaux 1): L'homme préhistorique et les techniques
de chasse.
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr (au plus tard le jeudi
à 20h).