LaBRI-Hebdo 103
vendredi 26 mai 2006
La Rédaction de LaBRI-Hebdo souhaite la bienvenue aux abonnés
de la semaine : Leszek
Gąsieniec (Université de Liverpool) et Sandrine Palcy (McGill,
Montréal), ainsi qu'un agréable ouiquende prolongé aux services
administratifs et informatique du LaBRI.
Le numéro 104 de LaBRI-Hebdo est déjà disponible en libre service
et dans les archives. Véronique Bogati, Mireille Bousquet-Mélou et Martin
Braure de Calignon en assureront plus particulièrement la rédaction, à
laquelle peuvent collaborer tous les membres du LaBRI dont le nom
commence par un B, ainsi que tous ceux dont le nom commence par une
autre lettre.
Actualités
Annonces, appels et rappels d'offres
- Appel à participations à FLoC'06, The 2006 Federated Logic Conference
(Seattle, 10 au 22 août), regroupant CAV 2006 (Conference on Computer
Aided Verification), ICLP 2006 (Int'l Conference on Logic Programming),
IJCAR 2006 (Int'l Joint Conference on Automated Reasoning),
LICS 2006 (IEEE Symposium on Logic in Computer Science),
RTA 2006 (Conference on Rewriting Techniques and Applications) et
SAT 2006 (Int'l Conference on Theory and Applications of
Satisfiability Testing).
.
- (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.
- Mercredi 31 mai, 16h, salle 178 (Séminaire des doctorants) -
Mickaël Montassier : Introduction aux colorations par listes.
-
Jeudi 1er juin, 9h30, salle 178
(Bio-informatique) -
Hayssam Soueidan : Titre à préciser.
- Jeudi 1er juin, 14h, amphi LaBRI (Séminaire du LaBRI) -
Andrezj Pelc : Jeux de recherche avec mensonges.
- 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.
- (Rectificatif - changement d'horaire) 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
- 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. Commentaires à adresser à Jean-Christophe Aval,
responsable de la documentation au LaBRI.
- Les supports de cours de l'école Jeunes Chercheurs en
Algorithmique et Calcul Formel 2006 sont accessibles en cliquant sur
les titres correspondants du programme.
Culture
- Vendredi 2 juin, 20h30, concert électroacoustique à la Halle des
Chartrons de Bordeaux : les créations du SCRIME. Œuvres de Pascale
Jakubowski, Jean-Louis Di-Santo, Bernard Barritaud, Edgar Nicouleau
et Christian Eloy en multidiffusion sur un dispositif de 16 enceintes.
- 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).
Vie pratique
- Les clés des bureaux du LaBRI seront changées les 30 et 31 mai.
Ceux qui n'ont pas encore leur nouvelle clé pourront la récupérer lundi 29
auprès d'Ida à l'accueil.
- La Bibliothèque de Recherche sera ouverte jusqu'à
17h. Profitez-en pour sacrifier au rite annuel du récolement(*) tant
qu'il n'y a pas trop de monde (date limite : le 1er juin).
(*) Ça veut dire qu'il faut apporter à
la BMI les livres empruntés pour les montrer (on peut repartir
avec ensuite).
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.