LaBRI-Hebdo 32
vendredi 18 juin 2004
Editorial
Dans un récent courrier, notre collègue Jean-Guy Penaud (qui avait
sans doute activé l'option « avancée » Désactiver l'envoi de
données par un formulaire non sécurisé de son navigateur) nous
invitait à dénoncer à sa place, dans le sondage du CLOEG Aquitaine, la
dérive bureaucratique du travail des enseignants-chercheurs.
Mais à quoi sert-il de remplir des questionnaires, si nous ne sommes
pas capables de dire non aux exigences des bureaucrates, et de
soutenir ceux (merci Christophe) qui choisissent de faire un travail
de recherche (ou d'enseignement) plutôt qu'« alimenter la mécanique
administrative avec son tribut hebdomadaire de paperasserie dont 99%
ne sera pas exploitée » ?
Actualités
- Le numéro 190
de la Lettre de la Délégation Aquitaine et Poitou-Charentes du CNRS
(et même le 191...)
Annonces, appels et rappels d'offres
- Les élections des Commissions de Spécialistes auront lieu jeudi 24
juin de 9h à 15h, salle des Actes (pour la 27e section il
n'y a qu'une liste par collège, ce qui changera agréablement des
européennes). André Arnold a fait observer que la désignation des
membres nommés était prévue pour le 21 juin ; d'après le directeur de
l'UFR il s'agirait d'une erreur.
- Poste d'ingénieur
de recherche au LaBRI ouvert à la mobilité interne.
- Les soutenances publiques de mémoires de master recherche auront
lieu du 21 au 24 juin. Le planning peut être consulté sur les pages
www de la formation
doctorale (rubrique Master Recherche / Soutenances 03-04).
- Prochaine réunion de la commission utilisateurs : jeudi 24 juin.
- Bourses de thèse (voir le site de la
formation doctorale, rubrique Doctorat / Bourses): dossier à
déposer avant lundi 28 juin.
- Jean-Michel Couvreur soutiendra son mémoire d'HDR Contribution
à l'algorithmique de la vérification mardi 6 juillet à 14h, au
Pavillon des Jardins de l'ENS Cachan.
- Le colloque GAMES'04 aura lieu du
15 au 18 septembre 2004 dans les locaux de Bordeaux II à la Victoire.
Séminaires, groupes de travail, conférences
- Lundi 21 juin, 14h - 15h, probablement dans l'amphi LaBRI (Graphes et
Logique) -
Bruno Courcelle : Equivalence locale des graphes, "vertex-minors"
et leur codage en logique du second-ordre monadique au moyen des
"systèmes isotropes".
- Jeudi 24 juin, 11h, GT2 (Modélisation,
Vérification et Test de Systèmes Informatisés) -
Frédéric Herbreteau : AltaRica hybride.
- Vendredi 25 juin, 10h30, GT2 (dans le cadre du groupe travail
Visualisation) - Tamara Munzner (University of British
Columbia) : Scalable Visual Comparison of Biological Trees and
Sequences.
Vie pratique
- Jeudi 24 juin, de 11h à 12h, arrêt des serveurs pour travaux
électriques. Merci de bien vouloir vous déconnecter auparavant.
La vie ailleurs
- Mardi 22 juin, 20h, salle des Actes, concert de la chorale a
cappella de Bordeaux 1 (pour une fois accompagnée): extraits de
Didon et Énée.
- Vendredi 25 juin, à Castelterrefort, deuxième édition de la
soirée barbecue précédée d'un match de foot. S'inscrire
en complétant le formulaire avant de l'envoyer à Yon Dourisboure.
- Jeudi 24 juin, de 13h30 à 14h30, château Bonnefont, visite
de l'exposition Homo Calculus commentée par Michel
Mouyssinat, son concepteur. Inscription souhaitée auprès du Service Culturel.
- Le supplément
cinématographique de LaBRI-Hebdo.
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr.