Bienvenue L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité, qui 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. Six de ses membres ont été lauréats de l'European Research Council (ERC), six 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. Tweets by IRIF_Paris Notion du jour Actualités 11.8.2022 Le prix de thèse Gilles Kahn récompense chaque année une excellente thèse en informatique. Sont éligibles toutes les thèses soutenues au sein d’établissements français entre le 1er Septembre 2021 et le 31 Août 2022. Date limite de dépôt des candidatures : 16 septembre 2022. 11.8.2022 Leslie Ann Goldberg, invited speaker at ICALP 2022 was interviewed by La Recherche about some of the key issues she is interested in. 8.8.2022 Pierre Fraigniaud, Senior Research Scientist at IRIF/CNRS, Maximilien Lesellier, Head of Administration at IRIF, and Afonso Ferreira, Europe scientific advisor for INS2I at CNRS have written a short document aiming at helping researchers to navigate in the Horizon Europe programme from a researcher perspective. 8.8.2022 The European Association for Programming Languages and Systems (EAPLS) has established a Best PhD Dissertation Award in the research area of programming languages and systems. Candidates for the award must be nominated by their supervisor. Deadline for nominations : 30 August 2022. 25.7.2022 P. Fraigniaud (IRIF) and A. Paz, S. Rajsbaum will present at PODC'22 their paper A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement. 27.7.2022 Zhouningxin Wang (IRIF) will present “Circular Flows in Mono-directed Eulerian Signed Graphs” at the 8th Czech-Slovak International Symposium on Graph Theory, Combinatorics, Algorithms and Applications. The talk is based on a joint work with J. Li (China), R. Naserasr (IRIF), and X. Zhu (China). 25.7.2022 The 2022 Donald E. Knuth Prize is awarded to Noga Alon, Professor of Mathematics at Princeton University and Emeritus Professor of Mathematics and Computer Science at Tel Aviv University, for foundational contributions in combinatorics and graph theory and applications to fundamental topics in computer science. 28.7.2022 A paper authored by Ahmed Bouajjani (IRIF), Wael-Amine Boutglay (IRIF and UM6P-CS), and Peter Habermehl (IRIF), will be presented on August 7 at the 34th Intern. Conf. on Computer Aided Verification (CAV) – August 7-11: Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes. 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é.