LOGO-LABRI-INTITULE-BIG

#35-ACTUS LaBRI

Bonne rentrée à toutes et tous !

Nomination EATCS Fellow 2025
Anca Muscholl est élue Fellow de EATCS (European Association of Theoretical Computer Science), en 2025, pour « ses contributions déterminantes à l'étude des automates et de la logique et pour les services exceptionnels qu'elle a rendus à la communauté ».
Se reporter à la news du site web, ici.
Recherche

Projet ANR CoqoPetri

Le projet ANR CoqoPetri, dont le porteur est Jérôme Leroux (département M2F, équipe MTV), a été accepté.
Dans ce projet on propose de développer plusieurs bibliothèques Rocq : les graphes infinis permettant de décrire la sémantique d'un système, l'arithmétique de Presburger, les ordinaux, et les hautes classes de complexité type Ackermann. La ligne directrice est la preuve en Rocq de l’algorithme d'accessibilité dans les réseaux de Petri.

Lire la suite, ici.

Projet ANR ZaDyG

L'ANR ZaDyG sur les jeux dynamiques a été acceptée. Le LaBRI est un des trois pôles, avec Paris (CMAP) et Créteil (LACL). Les membres du LaBRI impliqués dans le projet sont Hugo Gimbert, Mathieu Hilaire, Guillaume Lagarde, et Nathanaël Fijalkow.

La suite, ici.
Bonnes pratiques

Mission, rappel des règles

Les demandes de mission doivent se faire dans Gemilab (crédits UB/INP) ou sur Etamine (crédit CNRS) dès que vous avez connaissance de la mission.

-> Aller sur l'intranet LaBRI : https://mission.labri.fr/


  • Pour les missions UB, vous devez faire la pré-réservation des billets de train/avion et hôtel sur la plateforme de réservation en ligne :
Pour le personnel UB : https://voyages.u-bordeaux.fr/UB
Pour le personnel non UB : https://voyages.u-bordeaux.fr/exterieur


  • Au retour de la mission :
- > Transmettre la liste des frais à rembourser à votre gestionnaire, avec notamment le nombre de repas à rembourser (décompter les repas offerts) et avec un scan des justificatifs des autres frais ;

- > Si vous n’avez pas de frais à vous faire rembourser, indiquez-le également à votre gestionnaire, cela permet de solder la mission.

Dates budgétaires à retenir

- Les budgets sur les contrats de recherche UB ne pourront pas être modifiés pendant le budget rectificatif du 12/09/2025 au 14/11/2025.

-Date limite de saisie du budget 2026 : le 30/09/2025
-> Merci de nous communiquer vos prévisions de colloques pour l’année 2026 colloque@labri.fr

Bon à savoir

Au LaBRI : distributeurs de protections hygièniques féminines
Vous les trouverez dans la zone ZRR :
  • 1er étage : dans les toilettes PMR (Personne à Mobilité Réduite)
  • 2ème et 3ème étages : dans les toilettes PMR + dans chacun des 2 WC femmes
Ces distributeurs sont très régulièrement vérifiés pour voir la disponibilité des protections. Cependant, compte-tenu de la difficulté à évaluer son utilisation, s’il venait à en manquer dans les toilettes dans lequel vous vous trouvez, merci d’aller voir s’il n’y en aurait pas dans les autres toilettes. Merci de votre compréhension.
Merci également de le signaler à l’accueil.
Changements

La direction de l’équipe Storm est désormais assurée par Samuel Thibault, en remplacement d’Olivier Aumage.







--------------------
Grégoire Passault prend désormais la direction de l’équipe DART, en remplacement d’Olivier Ly.

Une année avec le CNRS en Aquitaine

Le rapport d’activité Une année avec le CNRS en Aquitaine vous propose de (re)découvrir les résultats scientifiques et les séquences qui ont marqué l’établissement et ses laboratoires en 2024. Le LaBRI émarge dans ce rapport annuel.

Vous pouvez également consulter la version papier, ici.

Comment financer de la recherche ?

Il existe une base de données spécialisée dans le financement de la recherche.
Cet outil permettrait de trouver les différentes possibilités de financement disponibles pour les universités et les instituts de recherche du monde entier (plus de 22 000 AAP répertoriés, et une équipe de 100 personnes derrière le projet).
Voici le retour de l’une de nos collègues du LaBRI : « Je ne l'ai pas encore testé, mais les démos étaient très convaincantes sur le bénéfice de l'outil ». Donc, peut-être à tester. En savoir plus, ici.

Rôle et services rendus par les référents et la médiatrice du CNRS

Au CNRS, les agents peuvent consulter les référents en charge des demandes concernant l'intégrité scientifique, la déontologie, le lancement d'alerte, la laïcité, la lutte contre le racisme et l'antisémitisme, et contacter également la cellule de signalement et la médiatrice. Pour savoir à qui s'adresser, il existe maintenant une affiche décrivant leurs rôles, spécificités et contacts. Affiche, ici.

De plus cette affiche est placardée dans les étages.

En savoir plus, ici.

Réflexion sur la fonction de DU

CNRS Physique a mené une réflexion de fond sur la fonction de Directeur ou Directrice d'unité (DU). Pour cela, l'institut s’est doté d’un groupe de travail incluant des directeurs et directrices d'unités actuels ou anciens. CNRS Physique a publié un compte rendu des réflexions menées par ce groupe de travail.
Suite à cette reflexion, vous pouvez consulter quelques pistes d’amélioration, ici.

Enquête nationale sur l'épanouissement au travail selon l'engagement en recherche (inter)disciplinaire

Dans la cadre de son Groupe de Travail « Interdisciplinarité et Méthodologies », la Mission pour les Initiatives Transverses et Interdisciplinaires du CNRS lance une enquête nationale sur l’épanouissement au travail des chercheuses et chercheurs en France selon leur engagement (inter)disciplinaire !

En savoir plus et répondre à l’enquête, ici.

Guide de l'expression publique des scientifiques du CNRS

La prise de paroles auprès des médias n’est pas toujours une chose facile. Pour aider les personnels scientifiques qui le souhaitent, voici une boîte à outils, fruit des recommandations du Comité d’éthique du CNRS.
Consulter le guide, ici.
A retenir / Save the date
  • Soutenances de thèse : à vos agendas ! Consulter le site LaBRI, ici.
    Vous avez la possibilité d’intégrer dans votre calendrier (via Ical) les rdv.
  • Dates des prochains CS en salle 76 : 11/09 ; 09/10 ; 13/11 et 11/12
  • Dates des prochains CL : 25/09 ; 23/10 (en salle 76) et 27/11 (en salle 178)
  • La Fête de la science : semaine du 06 au 10 octobre 2025. Le LaBRI, comme chaque année y participe. Annonce et programme à venir à la Une du site web du LaBRI.
Le LaBRI vous recommande


Livres : de la science pour les vacances

| CNRS Le Journal et Interstices

Certes l’été est passé, mais il n’en reste pas moins que nous vous proposons quelques pistes de lectures, si le coeur vous en dit…

Pour cette seconde sélection de livres accessibles à tous à dévorer pendant l’été (et après), remontez le temps ! Voici de belles et passionnantes histoires : celles de l’environnement en France, du Système solaire, des nombres, de la diététique et des microbes.
Consulter la sélection, ici.

[Premier volet : Livres : de la science pour les vacances (1)]

Mais vous pouvez aussi consulter la sélection faite par Interstices, ici.

Agenda

Consulter le site LaBRI, ici.
Vous avez la possibilité d’intégrer les rdv, dans votre calendrier (via Ical).
LABRI-MINI
custom website email 
Email Marketing Powered by MailPoet