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.