Bienvenue L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité, et héberge une équipe-projet Inria. Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. L'IRIF regroupe près de deux cents personnes. Sept de ses membres ont été lauréats de l'European Research Council (ERC), trois sont membres de l'Institut Universitaire de France (IUF), deux sont membres de l'Academia Europæa, et un est membre de l'Académie des sciences. Notion du jour Réseaux Sociaux Suivez nous sur Mastodon, Twitter/X et LinkedIn : Actualités 19.7.2024 Les vacances ont commencé et la science vous manque déjà ? La rediffusion de la conférence d'Omer Reingold est maintenant disponible. Son exposé était intitulé “The multitude of group affiliations: Algorithmic Fairness, Loss Minimization and Outcome Indistinguishability”. 16.7.2024 Giuseppe Castagna, Pierre-Louis Curien et Jean-Jacques Lévy ont tous les trois participé à la rédaction d'un chapitre du nouveau livre “The French School of Programming”. A travers un chapitre, chacun des 13 chercheurs a pu aborder le sujet de son choix autours de la programmation et du génie logiciel. 3.7.2024 Le/la futur⸱e chargé⸱e de la gestion financière et comptable organisera les missions relatives à la réalisation, la mise en œuvre et le suivi des opérations financières pour l'IRIF, dans le respect des techniques, des règles et des procédures des deux tutelles gestionnaires (CNRS, Université Paris Cité). Rejoignez-nous ! 3.7.2024 L'irif recrute ! Un poste d'assistant en gestion financière et comptable (H/F) est à pourvoir. Rejoignez-nous ! 5.7.2024 Lucie Guillou, Arnaud Sangnier et Nathalie Sznajder ont remporté le prix du meilleur article lors de la conférence Petri Nets 2024 pour leur article “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”. Félicitations ! 9.7.2024 Thomas Ehrhard est invité en tant qu'orateur à la 28ème rencontre de logique l'AILA qui aura lieu à Udine (Italie) du 3 au 6 septembre 2024. 11.7.2024 Notez la date du 16 septembre dans votre agenda. La Journée des Probabilités en Informatique Théorique se prépare ! 7 conférenciers invités couvriront un large éventail de domaines liés à l'informatique théorique et aux probabilités, notamment quantique, cryptographie, algorithmes, et plus encore. Pour nous rejoindre, inscrivez-vous (gratuit mais obligatoire) ici : 3.7.2024 L'irif recrute ! Un poste de gestionnaire financièr-e et comptable (H/F) est à pourvoir. Rejoignez-nous ! edit toutes les anciennes actualités (Ces actualités sont présentées selon un classement mêlant priorité et aléatoire.) Agenda Nombre limité d'évènements durant les vacances d'été.