LaBRI-Hebdo 104
vendredi
2 juin 2006
Actualités
Annonces, appels et rappels d'offres
- (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
: la date limite de soumission des papiers est le 5 juin).
- (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).
- (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.
- Lundi 5 juin, 11h, salle 357 (Phoenix) - David Schmidt (Kansas State University) :
An introduction to underapproximation in static
analysis.
- Jeudi 8 juin, 11h - 12h15, salle 76 (Modélisation, Vérification et Test de Systèmes
Informatisés) - Thierry Jeron (IRISA, Rennes) : Titre à
préciser (thème : test symbolique).
- Jeudi 8 juin, 14h, amphi LaBRI(Séminaire du LaBRI) - Charles Consel : Une
approche langage pour la création de services de communication -
application à la téléphonie.
- Vendredi 9 juin, amphi LaBRI, journée Graphes en
l'honneur de Denise Amar.
- Vendredi 9 juin, 11h, amphi LaBRI (???) -
Sapan Bathia - soutenance de thèse : 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.
- Le semainier de l'Institut de Mathématiques de
Bordeaux
Documentation, formation et intégration
- (Rappel) Jusqu'au 17 juin, accès en ligne gratuit depuis les
machines de l'université à certains ouvrages de référence
électroniques de l'éditeur Elsevier : http://www.sciencedirect.com, cliquer sur Books, puis
choisir l'un des onglets Book Series ou Reference
Works.
Culture
- (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).
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.