LaBRI-Hebdo 105
vendredi
2 juin 2006
La Rédaction de LaBRI-Hebdo souhaite la bienvenue à Pierre Ly
(né dimanche 4 juin), ainsi qu'à ses nouveaux abonnés : Cédric
Augonnet (ENS Lyon), Christian Delhommé (Université de la Réunion),
Jeremy Dupeyron (?) et Florian Hatat (ENS Lyon).
Actualités
Annonces, appels et rappels d'offres
- (Rappel) Jeudi 15 juin, amphi LaBRI, à partir de 14h,
demi-journée IDeE (Innovation : Doctorants et Entreprises)
organisée par les associations de doctorants AFoDIB
(informaticiens) et Lambda (mathématiciens). Mamadou Kanté demande aux
intéressés de s'inscrire pour faciliter l'organisation.
- Documentation :
Murielle Gautier et Martine Courbin-Coulaud organisent le lundi 19 juin
à 10 heures, salle 71 une présentation de la plate-forme Web of
Knowledge produite par l'ISI et accessible pour la communauté STIC.
Cette plate-forme propose un accès à plusieurs bases de données
bibliographiques dont la plus connue est le Web of Science.
Thèmes abordés durant la présentation : les bases de données à votre
disposition, les différentes méthodes d'interrogation des bases de
données, évaluer la pertinence d'une publication grâce à la
plate-forme, sauvegarder ses recherches, se créer des alertes pour une
activité de veille scientifique.
- Recrutement des moniteurs (jusqu'au 30 juin), qualification des
maîtres de conférences et professeurs : voir le site www de la Direction des Ressources Humaines, rubrique
Recrutement des enseignants.
- Appel à participations à Informatics Education Europe, conférence
sur l'enseignement (Montpellier, 9 et 10 novembre).
- (Rappel) Appel à participations à JM'06, Mons Days of
Theoretical Computer Science (Rennes, du 30 août au 2 septembre),
où se tiendra l'assemblée générale annuelle de l'AFIF (Association Française d'Informatique
Fondamentale) : inscriptions de juin au 1er août.
- (Rappel) Prix de thèse SPECIF 2006 (pour les doctorats soutenus de septembre
2005 à août 2006): date limite d'envoi du dossier, le 15
septembre.
- Vendredi 9 juin, au LaBRI, journée Graphes en
l'honneur de Denise Amar.
- Vendredi 9 juin, 11h, amphi LaBRI (soutenance de thèse) : Sapan
Bathia, Optimisations de compilateurs pour les systèmes
réseaux.
- Vendredi 9 juin, 15h30, salle 381 (Phoenix) - Marc Shapiro (INRIA Rocquencourt) :
Practical proofs of concurrent programs.
- Lundi 12 juin, 11h, salle 357 (Phoenix) - David Schmidt (Kansas State University) :
An introduction to underapproximation in static
analysis.
- Jeudi 15 juin, 11h - 12h15, salle 76 (Modélisation, Vérification et Test de Systèmes
Informatisés) - Ahmed Bouajjani (LIAFA, Paris 7) : A Logic of
Reachable Patterns in Linked Data-Structures.
- Jeudi 15 juin, 14h, amphi LaBRI (Séminaire du LaBRI) - David Lubicz (CELAR, Rennes):
Generic model for groups with pairing and bilinear Diffie-Hellman
problems.
- Jeudi 15 juin, 16h, salle des conférences de l'IMB (Colloquium de Mathématiques) - Gaël Rémond (Institut
Fourier, Grenoble) :
Points rationnels des variétés.
-
Vendredi 16 juin, 14h, salle 75 (Graphes et Applications) -
Alfredo Navarra (Université de L'Aquila, Italie) : About the
Minimum Energy Broadcasting in Wireless Ad Hoc Networks.
- Le semainier de l'Institut de Mathématiques de
Bordeaux
Culture
- Samedi 10 juin, journée Portes
Ouvertes à l'Observatoire de Floirac.
- (Rappel) Mardi 13 juin, 21h, à l'église de Talence, le Magnificat de Bach, par la chorale de
Bordeaux 1 et ColCanto, chorale d'Arès (direction : Corinne
Aubert). Entrée : 10 euros, demi-tarif pour les étudiants.
- (Rappel) La Compagnie de l'Incertitude (atelier théâtre
du Comité d'Action et d'Entraide Sociale du CNRS) présente
L'Opéra du Dragon, de Heiner Müller (mise en scène
de Jean-Claude Parent) : mercredi 14 juin salle Le Royal à Pessac,
jeudi 6 juillet salle Georges Brassens à Léognan. Participation aux
frais : 10 euros. Tarif réduit à 5 euros (bénéficiaires
incertains).
- Service Universitaire
d'Action Sociale : entre autres choses, une exposition
d'artisanat malgache le 15 juin de 11h à 14h (salle du
Haut-Carré), des abonnements à tarif réduit
pour la prochaine saison de l'Opéra de Bordeaux, et, mardi 20
juin, la Fête du sport et de la culture (en collaboration avec le
Service Sport et Culture).
Vie pratique
- Portables : à l'exception de ceux pour lesquels des adresses
fixes ont été demandées, ils sont affublés sur le réseau bleu de
noms aussi dynamiques que leurs adresses.
- Beaucoup plus d'informations dans le compte rendu de la
Commission Utilisateurs du 18 mai, dont il n'est pas impossible
qu'il soit mis en ligne dans l'Intranet du LaBRI.
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à :
LaBRI-Hebdo@labri.fr (au plus tard le
jeudi à 20h).
Abonnement et désabonnement sur simple demande auprès de la
Rédaction.