/*** DO NOT EDIT THIS FILE Create/edit news at https://www.irif.fr/admindb/actus/ This file was automatically generated (date = 2024-01-23, filename =/var/www/dw/data/pages/actualites/dest/archives_2021.txt) ***/ /*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-12-17-popl-2022.txt sorting priority 0 ***/
[[https://hal.inria.fr/hal-03456034|{{:actualites:ressources:regular-decomposition-blue_mellies.png?60 |Accepted paper POPL 2022}}]] //17.12.2021//\\ [[https://www.irif.fr/~mellies|Paul-André Melliès]] (IRIF), Arthur Vale, Zhong Shao, Jérémie Koenig (Yale) and Léo Stefanesco (MPI) will present a **layered concurrent object-based game semantics** for the purpose of compositional software specification and certification at **annual Symposium on Principles of Programming Languages**, [[https://popl22.sigplan.org|POPL2022]] : [[https://hal.inria.fr/hal-03456034]]. [[https://hal.inria.fr/hal-03456034|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-12-13-popl-accepted-paper-delia-kesner.txt sorting priority 0 ***/
[[https://www.irif.fr/~kesner//papers/popl22.pdf|{{:actualites:ressources:deliak-popl.png?60 |Accepted paper POPL 2022}}]] //13.12.2021//\\ [[https://www.irif.fr/~kesner|Delia Kesner]] (IRIF) will present her paper [[https://www.irif.fr/~kesner//papers/popl22.pdf|A Fine-Grained Computational Interpretation of Girard’s Intuitionistic Proof-Nets]] at **annual Symposium on Principles of Programming Languages**, [[https://popl22.sigplan.org|POPL2022]]. The paper introduces a **functional term calculus** that captures the essence of the operational semantics of **Intuitionistic Linear Logic Proof-Nets** with a faithful degree of granularity, both statically and dynamically. [[https://www.irif.fr/~kesner//papers/popl22.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-12-13-ifip-fellow-jacques-sakarovitch.txt sorting priority 0 ***/
[[http://ifip.org/index.php?option=com_content&task=view&id=148&Itemid=554|{{:actualites:ressources:ifip.png?60 |IFIP nomination fellow}}]] //13.12.2021//\\ [[https://www.irif.fr/~sakarovitch/|Jacques Sakarovitch]] (IRIF) was elected [[http://ifip.org/index.php?option=com_content&task=view&id=148&Itemid=554|new IFIP Fellow]]. IFIP Fellow is the most **most prestigious IFIP's technical distinction** which is conferred by the **IFIP General Assembly** on a current or past member of an IFIP body in recognition of outstanding contributions in the field of information processing, in the role of a Technical Leader, Scientist, Engineer, or Educator. [[http://ifip.org/index.php?option=com_content&task=view&id=148&Itemid=554|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-12-02-visiteur-serge-massar.txt sorting priority 0 ***/
[[http://homepages.ulb.ac.be/~smassar/|{{:actualites:ressources: smassar_portrait.jpg?60 |visiteur-serge-massar}}]] //2.12.2021//\\ IRIF is very pleased to host for two months [[http://homepages.ulb.ac.be/~smassar/|Serge Massar]], Professor at the [[http://www.ulb.ac.be/|Université libre de Bruxelles (ULB)]] as part of the [[https://sciencesmaths-paris.fr/nos-programmes/fsmp-distinguished-professor-fellowship|FSMP Distinguished Professor Fellowship]]. Serge Massar is the director of the [[http://www.ulb.ac.be/sciences/liq/|Laboratoire d'Information Quantique (LIQ)]], of the Physics Department, Science Faculty, ULB. His research interests are **quantum information theory**, **experimental quantum** and **non linear optics**, **machine learning**. [[http://homepages.ulb.ac.be/~smassar/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-12-02-hpcqs_project.txt sorting priority 0 ***/
[[https://www.hpcqs.eu/|{{:actualites:ressources:logo-hpcqs.png?60 |hpcqs project}}]] //2.12.2021//\\ We are excited to be part of the [[https://www.ins2i.cnrs.fr/en/cnrsinfo/hpcqs-towards-federated-quantum-super-computing-europe|“High-Performance Computer and Quantum Simulator hybrid” (HPCQS)]] aiming at creating a **world-class supercomputing ecosystem**. [[https://www.hpcqs.eu|Learn more about the project here]]. [[https://www.hpcqs.eu/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-12-01-conference-75ans-fabrice-kordon.txt sorting priority 0 ***/
[[https://www.lip6.fr/colloquium/?guest=Kordon|{{:actualites:ressources:image-9-12-2021.png?60 |conference-75ans-fabrice-kordon}}]] //1.12.2021//\\ [[https://www.lip6.fr/colloquium/?guest=Kordon|Prochaine conférence]] dans le cadre des **75 ans d’informatique** : //L’informatique dans le 7ème art : fiction ou réalité ?// Rendez-vous avec **Fabrice Kordon** le **jeudi 9 décembre-18h00** sur le campus Pierre et Marie Curie de Sorbonne Université (tour 25.26, 1er étage – salle 105). [[https://www.lip6.fr/colloquium/?guest=Kordon|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-11-29-portrait-matej-stehlik.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/matej_stehlik_1er_septembre_2021|{{:actualites:ressources:photo-matejstehlik.jpg?60 |Portrait Matej Stehlik}}]] //29.11.2021//\\ IRIF has the great pleasure to welcome a **new professor in computer science at Université de Paris**: [[https://www.irif.fr/users/matej/index|Matěj Stehlík]], an expert in graph theory. Learn more about him and his work [[https://www.irif.fr/portraits/matej_stehlik_1er_septembre_2021|here]]. [[https://www.irif.fr/portraits/matej_stehlik_1er_septembre_2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-11-25-focs21-accepted-paper.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2111.10368v1|{{:actualites:ressources:logo-focs21.jpg?60 |Accepted paper FOCS 2021}}]] //25.11.2021//\\ [[https://www.adrianvladu.org/|Adrian Vladu]]'s paper [[https://www.mit.edu/~kaxiotis/papers/FasterMinCostFlow.pdf|Faster Sparse Minimum Cost Flow by Electrical Flow Localization]], jointly written with **Kyriakos Axiotis** and **Aleksander Madry**, will be presented at [[https://focs2021.cs.colorado.edu|FOCS 2021]]. [[https://arxiv.org/abs/2111.10368v1|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-11-25-popl-accepted-paper-giuseppe-castagna.txt sorting priority 0 ***/
[[https://hal.archives-ouvertes.fr/hal-03426711|{{:actualites:ressources:code-beppe-3.png?60 }}]] //25.11.2021//\\ [[https://www.irif.fr/~gc|Giuseppe Castagna]] (IRIF), [[https://www.irif.fr/~mlaurent/|Mickaël Laurent]] (Université de Paris), **Kim Nguyen** (Université Paris Saclay) and **Matthew Lutze** (Université de Paris) will present their paper that shows a nifty way to use **classic deduction rules** to define a formal framework in which **dynamic languages** such as JavaScript can statically and precisely typed. Check the proof-of-concept implementation available at \\ [[https://typecaseunion.github.io/|https://typecaseunion.github.io/]]. [[https://hal.archives-ouvertes.fr/hal-03426711|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-11-24-accepted-papers-popl-2022.txt sorting priority 0 ***/
[[https://popl22.sigplan.org/track/POPL-2022-popl-research-papers|{{:actualites:ressources:popl2022.jpg?60 |Accepted papers POPL 2022}}]] //24.11.2021//\\ **Three accepted papers** coauthored by IRIF members will be presented at [[https://popl22.sigplan.org/track/POPL-2022-popl-research-papers#event-overview|POPL 2022]], the main conference on programming languages and programming systems, **January 16-22**. [[https://popl22.sigplan.org/track/POPL-2022-popl-research-papers|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-11-08-accepted-papers-neurips-2021.txt sorting priority 0 ***/
[[https://nips.cc/Conferences/2021/AcceptedPapersInitial|{{:actualites:ressources:neurips2021.jpg?60 |Accepted paper NeurIPS 2021}}]] //8.11.2021//\\ **One accepted paper** coauthored by [[https://www.adrianvladu.org/|Adrian Vladu (IRIF)]], Alexandra Peste (IST Austria), Eugenia Iofinova (Institute of Science and Technology Austria) and Dan Alistarh (IST Austria & NeuralMagic) will be presented at the [[https://nips.cc/Conferences/2021/AcceptedPapersInitial|35th Conference on Neural Information Processing Systems]] (NeurIPS) 6-14 December 2021 : //AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks//. [[https://nips.cc/Conferences/2021/AcceptedPapersInitial|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-11-08-journee-asd-2021.txt sorting priority 0 ***/
[[https://www.irif.fr/poles/asd/rentree2021|{{:actualites:ressources:journee_asd_2021.png?60 |Journée du pôle ASD 2021}}]] //8.11.2021//\\ On **November 16th**, afternoon, [[https://www.irif.fr/poles/asd/rentree2021|the pole ASD organizes an event]]. Short introduction talks by the four new ASD permanent members will be presented. There will also be an informal introduction of PhD students and postdocs. [[https://www.irif.fr/poles/asd/rentree2021|Schedule and details of the talks here]]. [[https://www.irif.fr/poles/asd/rentree2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-11-04-journee-asv-2021.txt sorting priority 0 ***/
[[https://www.irif.fr/poles/asv/rentree2021|{{:actualites:ressources:journee_asv_2021.png?60 |Journée pôle ASV 2021}}]] //4.11.2021//\\ The **Automata, Structures, and Verification (ASV) day** is scheduled this year on **Friday November 19th**. This will be the opportunity to meet again and learn about some of the work done in our pole, in particular by the new comers. [[https://www.irif.fr/poles/asv/rentree2021|Schedule and details of the talks here]]. [[https://www.irif.fr/poles/asv/rentree2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-10-29-pgsm_master_2022.txt sorting priority 0 ***/
[[https://sciencesmaths-paris.fr/en/nos-programmes-en/pgsm-master|{{:actualites:ressources:pgsm_master-2022.jpg?60 |PGSM Master 2022}}]] //29.10.2021//\\ IRIF will finance one or two additional **Master scholarships** in Foundations of Computer Science within the PGSM program of FSMP for **female students** who have completed a bachelor’s degree or the first year masters in one of the universities of the FSMP network. [[https://applications.sciencesmaths-paris.fr/en/call-for-pgsm-master-893.htm|Apply online by February 24th, 2022]]. [[https://sciencesmaths-paris.fr/en/nos-programmes-en/pgsm-master|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-10-25-internship-2021.txt sorting priority 0 ***/
[[Stage scolaire d'observation-3eme|{{:actualites:ressources:internship.png?60 |Stage d'observation-3eme}}]] //25.10.2021//\\ Tous les ans, l’IRIF accueille des élèves dans le cadre de leur **stage d’observation de 3ème**. Les stages proposés constituent une **découverte de l’informatique** et des **métiers académiques** correspondants, qu’ils soient au CNRS ou à l’université de Paris. Toutes les informations pour [[https://www.irif.fr/postes/stage-scolaire|envoyer sa candidature ici]]. [[https://www.irif.fr/postes/stage-scolaire|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-10-19-test_of_time_award_rv21.txt sorting priority 0 ***/
[[https://link.springer.com/content/pdf/10.1007%2F978-3-642-29860-8_12.pdf|{{:actualites:ressources:fig.4-asarin.png?60 |Test of Time Award – RV’21}}]] //19.10.2021//\\ [[https://www.irif.fr/~asarin/|Eugene Asarin]] (IRIF), Alexandre Donzé, Oded Maler, and Dejan Nickovic receive the [[https://uva-mcps-lab.github.io/RV21/testoftimepaper.html|Test of Time Award]] at the 21st International Conference on Runtime Verification (RV’21) for their paper [[https://link.springer.com/content/pdf/10.1007%2F978-3-642-29860-8_12.pdf|Parametric Identification of Temporal Properties]]. Watch the [[https://uva-mcps-lab.github.io/RV21/testoftimepaper.html|RV’21 Award Announcement here]]. [[https://link.springer.com/content/pdf/10.1007%2F978-3-642-29860-8_12.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-10-07-journee-rentree-pps-2021.txt sorting priority 0 ***/
[[https://www.irif.fr/rencontres/rentree_pps2021/index|{{:actualites:ressources:journee_de_rentre_pps_2021.png?60 |Journée de rentrée PPS 2021}}]] //7.10.2021//\\ PPS is holding its [[https://www.irif.fr/rencontres/rentree_pps2021/index|journée de rentrée]] on **October 13-14, 2021**. This year PPS has **13 new members**. The aim of this get-together is to know them and their research topic. [[https://www.irif.fr/rencontres/rentree_pps2021/index|Schedule and details of the talks here]]. [[https://www.irif.fr/rencontres/rentree_pps2021/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-29-ateliers-fete-de-la-science-2021.txt sorting priority 0 ***/
[[http://www.informatique.univ-paris-diderot.fr/events/fete-de-la-science|{{:actualites:ressources:cartes-anniversaire-2.jpg?60 |Ateliers-FDSL 2021}}]] //29.9.2021//\\ IRIF researchers are participating to the 30th edition of [[https://www.fetedelascience.fr/|Fête de la Science]]. In different schools in Paris, they will be presenting [[http://www.informatique.univ-paris-diderot.fr/events/fete-de-la-science#lieu|workshops and games related to computer science]]. [[http://www.informatique.univ-paris-diderot.fr/events/fete-de-la-science|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-27-conference-cryptography.txt sorting priority 0 ***/
[[http://www.informatique.univ-paris-diderot.fr/events/fete-de-la-science|{{:actualites:ressources:matrix-4009714_1920.jpg?60 |Fête de la Science 2021 - Conference learning about cryptography}}]] //27.9.2021//\\ From ancient history to quantum, **learn about cryptography** at [[https://www.fetedelascience.fr|Fête de la science]] in an entertaining talk by [[https://www.irif.fr/users/sperifel/index|Sylvain Perifel]] (IRIF). Save the date, **Monday October 4th, 10am** at Amphitheater 1A, Halle aux farines - Campus Grands Moulins. [[http://www.informatique.univ-paris-diderot.fr/events/fete-de-la-science|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-14-oded-maler-best-paper-award.txt sorting priority 0 ***/
[[https://www.springerprofessional.de/en/on-the-complexity-of-timed-pattern-matching/19572228|{{:actualites:ressources:rover_model.png?60 |Oded Maler Best Paper Award}}]] //14.9.2021//\\ [[https://www.irif.fr/~asarin/|Eugene Asarin]] (IRIF), Thomas Ferrère, Dejan Ničković and Dogan Ulus receive the **Oded Maler best paper award in Timed Systems** at the [[https://qonfest2021.lacl.fr/formats21.php|conference Formats’2021]] for their paper [[https://www.springerprofessional.de/en/on-the-complexity-of-timed-pattern-matching/19572228|On the complexity of timed pattern matching]]. [[https://www.springerprofessional.de/en/on-the-complexity-of-timed-pattern-matching/19572228|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-07-sergio-rajsbaum-visitor.txt sorting priority 0 ***/
[[https://www.matem.unam.mx/~rajsbaum/|{{:actualites:ressources:yo3may2009.gif?60 |Sergio Rajsbaum - visitor at IRIF}}]] //7.9.2021//\\ IRIF is very pleased to host for three months [[https://www.matem.unam.mx/~rajsbaum/|Sergio Rajsbaum]], **full time Researcher** at the Instituto de Matemáticas of the Universidad Nacional Autónoma de México. This collaboration focuses on the use of **algebraic topology** to study the complexity of distributed algorithms. Algebraic topology tools have been mainly used for shared memory models. The purpose of the visit is to extend this research to **distributed memory models**. Professor Rajsbaum is partially funded by an invitational program from École Polytechnique. Meet him in **office 4028a**. [[https://www.matem.unam.mx/~rajsbaum/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-03-workshop-cycles.txt sorting priority 0 ***/
[[https://hal.archives-ouvertes.fr/hal-03000545/document|{{:actualites:ressources:figure_10.png?60 |invited-speaker-workshop-cycles}}]] //3.9.2021//\\ [[https://www.irif.fr/~reza/pmwiki/pmwiki.php|Reza Naserasr]] (IRIF) is an invited speaker at the [[https://candc.upjs.sk/|29th Workshop on Cycles and Colourings]]. He will present a joint work with [[https://www.irif.fr/~lananh/|Lan Anh Pham]] (IRIF), [[https://www.irif.fr/~wangzhou4/|Zhouningxin Wang]] PhD student (IRIF) and Xuding Zhu (University Jinchua): [[https://hal.archives-ouvertes.fr/hal-03000545/document|Density of C –4 -critical signed graphs]]. There is a classic one-to-one correspondence between (2k+1)-colorability of a graph and mapping of a specific subdivision of it to the (2k+1)-cycle. In this work they present an extension of this to 2k-coloring using homomorphisms of signed graphs. [[https://hal.archives-ouvertes.fr/hal-03000545/document|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-03-eurocomb-21-aubian-charbit.txt sorting priority 0 ***/
[[https://arxiv.org/pdf/2103.07886.pdf|{{:actualites:ressources:4blobs.png?60 |Accepted paper Eurocomb 2021 - Aubian-Charbit}}]] //3.9.2021//\\ [[https://www.irif.fr/~aubian/|Guillaume Aubian]], [[https://www.irif.fr/~charbit/|Pierre Charbit]] (IRIF) and Pierre Aboulker study the class of oriented graphs such that the out-neighbourhood of any vertex induces a transitive tournament and prove for it a decomposition theorem. As a consequence, they obtain that oriented graphs in this class have dichromatic number at most $2$ and satisfy Caccetta-Häggkvist conjecture. [[https://arxiv.org/pdf/2103.07886.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-03-eurocomb-21-yiting.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2105.10031v1|{{:actualites:ressources:figure6_b_.png?60 |Accepted paper Eurocomb 2021 - Yiting Jiang}}]] //3.9.2021//\\ [[https://www.irif.fr/~yjiang/|Yiting Jiang]] (IRIF) and Jaroslav Nešetřil will present a result that there are infinitely many minimal **asymmetric k-uniform hypergraphs.** [[https://arxiv.org/abs/2105.10031v1|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-03-eurocomb-21-naserasr-wang.txt sorting priority 0 ***/
[[https://www.irif.fr/~reza/pdfs/papers/EUROCOMB%202021_Circular%20coloring%20of%20signed%20bipartite%20planar%20graphs_final.pdf|{{:actualites:ressources:signed_bipartite_planar_graph.png?60 |Accepted paper Eurocomb 2021 - Naserasr-Wang}}]] //3.9.2021//\\ [[https://www.irif.fr/~reza/pmwiki/pmwiki.php|Reza Naserasr]] and [[https://www.irif.fr/~wangzhou4/|Zhouningxin Wang]] (IRIF) will present the notion of **circular coloring of signed graphs**, as a common extension of the circular coloring of graphs and the 0-free coloring of signed graphs. In this work, they consider the problem of finding the best upper bound of the circular chromatic number of restricted families of signed graphs. In particular, they show that every signed bipartite planar graph of negative-girth 6 admits a circular 3-coloring. [[https://www.irif.fr/~reza/pdfs/papers/EUROCOMB%202021_Circular%20coloring%20of%20signed%20bipartite%20planar%20graphs_final.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-03-korman-vacus-scientific-reports.txt sorting priority 0 ***/
[[https://www.nature.com/articles/s41598-021-97001-3|{{:actualites:ressources:41598_2021_97001_fig1_html.png?60 |Accepted paper Scientific Reports}}]] //3.9.2021//\\ [[https://www.irif.fr/~pandit/|Amos Korman]] et [[https://www.irif.fr/~rvacus/|Robin Vacus]] (IRIF) publient [[https://www.nature.com/articles/s41598-021-97001-3|On the Role of Hypocrisy in Escaping the Tragedy of the Commons]] dans la [[https://www.nature.com/srep/|revue Scientific Reports]]. Dans cet article, ils étudient l'émergence de la coopération dans le cadre formel de la théorie des jeux. Ils considèrent 3 comportements stéréotypés : “tricheur”, “hypocrite” et “coopératif”, et un modèle de pression sociale. [[https://www.nature.com/articles/s41598-021-97001-3|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-09-01-eurocomb-21.txt sorting priority 0 ***/
[[https://eurocomb2021.upc.edu/accepted/|{{:actualites:ressources:eurocomb_2021-2.png?60 |EUROCOMB 2021 - Three papers coauthored by IRIF PhD students}}]] //1.9.2021//\\ **Three papers coauthored by IRIF Ph.D students** will be presented at the [[https://eurocomb2021.upc.edu/|European Conference on Combinatorics, Graph Theory and Applications]]. Topics include oriented graphs, asymmetric hypergraphs and bipartite planar graphs. [[https://eurocomb2021.upc.edu/accepted/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-08-30-category-theory-conference-2021.txt sorting priority 0 ***/
[[https://sites.google.com/view/ct2021/speakers|{{:actualites:ressources:category-theroy-conference.png?60 |Presentation Category Theory Conference}}]] //30.8.2021//\\ [[https://www.irif.fr/~elmehdi/|El Mehdi Cherradi]] (IRIF) and [[https://www.irif.fr/~mellies|Paul-André Melliès]] (IRIF) will present at [[https://sites.google.com/view/ct2021|Category Theory Conference 2021]] their work on derivators, a clever tool introduced by Grothendieck to compute homotopy limits and colimits of spaces, exploring the idea that derivators should be understood as generalised categories. [[https://sites.google.com/view/ct2021/speakers|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-08-27-communique-claire-mathieu-cnrs.txt sorting priority 0 ***/
{{:actualites:ressources:adobestock_master1305_web.jpg?60 |Publication dans PLOS Computational Biology}} //27.8.2021//\\ [[https://www.irif.fr/~claire/|Claire Mathieu]] (IRIF) et [[https://journals.plos.org/ploscompbiol/article/authors?id=10.1371/journal.pcbi.1009264|ses collaborateurs]] publient les résultats de leur recherche [[https://journals.plos.org/ploscompbiol/article/authors?id=10.1371/journal.pcbi.1009264|Mitigating COVID-19 outbreaks in workplaces and schools by hybrid telecommuting]] dans le journal [[https://journals.plos.org/ploscompbiol/|PLOS Computational Biology]]. Cet article l'**impact de deux stratégies**, dites de rotation et d’alternance, pour** freiner l’épidémie de Covid-19** que ce soit dans une école ou un bureau. [[https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1009264|Lire l'article complet]] ici et le [[https://www.cnrs.fr/fr/covid-19-quelles-strategies-de-teletravail-pour-freiner-la-circulation-du-virus|communiqué de presse du CNRS ici]].
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-08-26-concur-t-o-t-award.txt sorting priority 0 ***/
[[https://processalgebra.blogspot.com/2021/08/interview-with-concur-2021-tot-award_23.html?spref=tw|{{:actualites:ressources:978-3-540-69188-4.jpg?60 |CONCUR Test-of-Time Award}}]] //26.8.2021//\\ [[https://www.irif.fr/~abou/|Ahmed Bouajjani]] (IRIF), Javier Esparza, and Oded Maler have received the [[https://qonfest2021.lacl.fr/test-of-time.php|Concur Test-of-Time Award]] (period 1996-1999) for their article [[https://link.springer.com/chapter/10.1007%2F3-540-63141-0_10|Reachability Analysis of Pushdown Automata: Application to Model-checking]] published at **CONCUR 1997**. [[https://processalgebra.blogspot.com/2021/08/interview-with-concur-2021-tot-award_23.html?spref=tw|Read the interview]]. [[https://processalgebra.blogspot.com/2021/08/interview-with-concur-2021-tot-award_23.html?spref=tw|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-08-24-slc-2021.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2004.07824|{{:actualites:ressources:maptableaucorrespondence.png?60 |86th séminaire Lotharingien de Combinatoire}}]] //24.8.2021//\\ Dans le cadre d’un mini-cours donné au [[https://www.mat.univie.ac.at/~slc/wpapers/s86.html|86ème séminaire Lotharingien de combinatoire]], [[https://www.irif.fr/~chapuy|Guillaume Chapuy]] (IRIF) parlera d'un nouveau point de vue sur la **correspondance entre cartes et tableaux de Young**, qui joue un rôle fondamental en combinatoire algébrique. Ce nouveau point de vue, développé dans le cadre des **polynômes de Jack et des surfaces non-orientables**, est issu de ses travaux avec Maciek Dołęga (ancien postdoctorant à l'IRIF/LIAFA). [[https://arxiv.org/abs/2004.07824|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-08-20-siam-2021.txt sorting priority 0 ***/
[[https://meetings.siam.org/sess/dsp_talk.cfm?p=113793|{{:actualites:ressources:logo-siam.png?60 |Talk SIAM 2021}}]] //20.8.2021//\\ [[https://www.irif.fr/~gribling/|Sander Gribling]] and Sven Polak (CWI) will present their ongoing work about [[https://meetings.siam.org/sess/dsp_talk.cfm?p=113793|the mutually unbiased bases problem]]. "What is the largest number of mutually unbiased bases in dimension d? We make progress on answering this fundamental question in quantum information theory using semidefinite programs and representation theory". [[https://meetings.siam.org/sess/dsp_talk.cfm?p=113793|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-07-26-synthese-nationale-des-mathematiques.txt sorting priority 0 ***/
[[https://www.hceres.fr/fr/actualites/mathematiques-francaises-le-hceres-confie-un-comite-de-16-personnalites-la-realisation|{{:actualites:ressources:logo2.png?60 |Réalisation d'une Synthèse Nationale des Mathématiques}}]] //26.7.2021//\\ Le Hcéres lance la réalisation d’une [[https://www.hceres.fr/fr/actualites/mathematiques-francaises-le-hceres-confie-un-comite-de-16-personnalites-la-realisation|synthèse disciplinaire nationale consacrée aux mathématiques]]. [[https://www.irif.fr/~berthe/|Valérie Berthé]] (IRIF) fait partie du comité des 16 personnalités chargées de rédiger un rapport de synthèse sur les mathématiques françaises. [[https://www.irif.fr/_media/intranet/lettre-irif/2021-07-16/20210712_cp_hceres_synthesemathematiques.pdf|Lire le communiqué de presse]]. [[https://www.hceres.fr/fr/actualites/mathematiques-francaises-le-hceres-confie-un-comite-de-16-personnalites-la-realisation|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-07-19-colloque-quantum-computing-cdf.txt sorting priority 0 ***/
[[https://t.co/vLDNkw7MSO?amp=1|{{:actualites:ressources:symposiumquantumcomputing-cdf.jpg?60 |Colloque on Quantum Computing}}]] //19.7.2021//\\ Le **[[https://www.college-de-france.fr/site/frederic-magniez/symposium-2020-2021.htm|colloque « Recent Advances on Quantum Computing »]]** organisé par [[https://www.irif.fr/~magniez/|Frédéric Magniez]] (IRIF) et qui s'est tenu les 17 et 18 juin au Collège de France, est désormais [[https://www.college-de-france.fr/site/frederic-magniez/symposium-2020-2021.htm|disponible en ligne]]. [[https://t.co/vLDNkw7MSO?amp=1|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-07-19-irs-2021.txt sorting priority 0 ***/
[[http://irschool.org/project_photonics|{{:actualites:ressources:viacheslav_yushkov.png?60 |Project The step towards optical computers}}]] //19.7.2021//\\ [[https://www.irif.fr/~etinski/|Simona Etinski]], PhD student at IRIF is jointly in charge of one of the projects of [[http://irschool.org/|The International Research School]] (IRS). In the project "[[http://irschool.org/project_photonics|The step towards optical computers]]", the goal is to simulate a work of a device that is based on the laws of optics. Simona’s role, as a co-tutor in this project, is to help the students to finish their task and successfully present it at the end of the school. [[https://youtu.be/j5vCerE0TvQ|Watch here the video]] explaining the project. [[http://irschool.org/project_photonics|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-07-19-issac-2021.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2007.13179|{{:actualites:ressources:cyclotomic_identity_testing.png?60 |Accepted paper ISSAC 2021}}]] //19.7.2021//\\ [[https://www.irif.fr/~sperifel/|Sylvain Périfel]] and [[https://www.irif.fr/~mahsa/|Mahsa Shirmohammadi]] (IRIF), Nikhil Balaji and James Worrell (University of Oxford) will present at [[http://issac-conference.org/2021/papers.php|ISSAC 2021]] an article about [[https://arxiv.org/abs/2007.13179|Cyclotomic Identity Testing and Applications]]. [[https://arxiv.org/abs/2007.13179|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-07-08-colcombet-casares-icalp21.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2011.13041|{{:actualites:ressources:different_types_of_automata_accepting_the_language_l_copie.png?60 |Accepted paper ICALP 2021}}]] //8.7.2021//\\ [[https://www.irif.fr/~acasares/|Antonio Casares]] & [[https://www.irif.fr/~colcombe/|Thomas Colcombet]] (IRIF) and Nathanaël Fijalkow (Labri) will present at [[http://easyconferences.eu/icalp2021/|ICALP 2021]] their research about **optimal transformations of Muller conditions**. [[https://arxiv.org/abs/2011.13041|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-07-08-colcombet-jaquard-icalp21.txt sorting priority 0 ***/
[[https://www.irif.fr/~colcombe/Publications/ICALP21-colcombet-jaquard.pdf|{{:actualites:ressources:theorem.png?60 |Accepted paper ICALP 2021}}]] //8.7.2021//\\ [[https://www.irif.fr/~colcombe/|Thomas Colcombet]] and [[https://www.irif.fr/~ajaquard/|Arthur Jaquard]] (IRIF) will present at [[http://easyconferences.eu/icalp2021/|ICALP 2021]] their paper about **a complexity approach to tree algebras**. [[https://www.irif.fr/~colcombe/Publications/ICALP21-colcombet-jaquard.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-07-07-claire-mathieu-icalp21.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2005.00575|{{:actualites:ressources:disjointness.png?60 |Accepted paper ICALP 2021}}]] //7.7.2021//\\ [[https://www.irif.fr/~claire/|Claire Mathieu]] (IRIF), Chien-chung Huang, Mathieu Mari and Jens Vygen will present at [[http://easyconferences.eu/icalp2021/|ICALP‘2021]] an article about **approximating maximum integral multiflows on bounded genus graphs**. [[https://arxiv.org/abs/2005.00575|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-30-sander-gribling-icalp21.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2011.12823|{{:actualites:ressources:sinkhorn.png?60 |Accepted paper ICALP 2021}}]] //30.6.2021//\\ [[https://www.irif.fr/~gribling/|Sander Gribling]] (IRIF), Joran van Apeldoorn (Universiteit van Amsterdam), Yinan Li (Nagoya University) Harold Nieuwboer (Universiteit van Amsterdam), Michael Walter (University of Amsterdam) and Ronald de Wolf (University of Amsterdam) will present at [[http://easyconferences.eu/icalp2021/|ICALP'21]] an article about **quantum algorithms for matrix scaling and matrix balancing**. [[https://arxiv.org/abs/2011.12823|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-29-prix-de-these-sif-gilles-kahn.txt sorting priority 0 ***/
[[https://easychair.org/conferences/?conf=prixsif21|{{:actualites:ressources:1240-1754-max_copie.png?60 |Prix de thèse SIF - Gilles Kahn}}]] //29.6.2021//\\ **Appel à candidatures** | [[https://easychair.org/conferences/?conf=prixsif21|Prix de thèse Gilles Kahn]] patronné par l'[[https://www.academie-sciences.fr/fr/|Académie des Sciences]] et décerné par la [[https://www.societe-informatique-de-france.fr/|Société informatique de France]] (SIF). Ce prix a pour objectif de promouvoir les jeunes talents les plus prometteurs de l'informatique fondamentale. Date limite de dépôt des candidatures : **14 septembre 2021**. [[https://easychair.org/conferences/?conf=prixsif21|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-28-sous-groupe-cache-miklos-santha.txt sorting priority 0 ***/
[[https://www.college-de-france.fr/site/frederic-magniez/seminar-2021-05-12-11h30.htm|{{:actualites:ressources:miklossantha_quantiquecdf.jpg?60 |Séminaire de la chaire annuelle Informatique et sciences numériques du Collège de France}}]] //28.6.2021//\\ En relation avec le sujet du cours //[[https://www.college-de-france.fr/site/frederic-magniez/course-2021-04-07-10h00.htm|Information quantique, premières utilisations calculatoires : superposition, mesure, transformation, non-clonage, distribution quantique de clés, téléportation]]//, [[https://www.irif.fr/~santha/|Miklos Santha]] (IRIF) a donné un séminaire intitulé **Le problème du sous-groupe caché**. La rediffusion de ce séminaire (1h) est désormais [[https://www.college-de-france.fr/site/frederic-magniez/seminar-2021-05-12-11h30.htm|disponible pour téléchargement]]. [[https://www.college-de-france.fr/site/frederic-magniez/seminar-2021-05-12-11h30.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-21-mecanique-quantique.txt sorting priority 0 ***/
[[https://qubobs.irif.fr/|{{:actualites:ressources:img_4505.jpg?60 }}]] //21.6.2021//\\ Un projet de **vulgarisation scientifique**, financé par l’IRIF, qui a pour but de fabriquer des objets interactifs pédagogiques et ludiques pour expliquer les **bases de l'ordinateur quantique** ? C'est le principe du [[https://qubobs.irif.fr/|projet QuBobs]] pensé par [[https://www.irif.fr/~laplante/|Sophie Laplante]] (IRIF) et [[https://louvettier.com/|Lou Vettier]], designer indépendante. [[https://qubobs.irif.fr/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-18-offre-de-these-graphes.txt sorting priority 0 ***/
[[https://www.irif.fr/_media/users/fm/sujet_these.pdf|{{:actualites:ressources:offre-de-these-graphes.png?60 |Offre de thèse sur la décomposition modulaire de graphes en vue de leur compression}}]] //18.6.2021//\\ As part of the [[https://coregraphie.projet.liris.cnrs.fr/|ANR Coregraphie project]], a **financed PhD thesis** is proposed at IRIF on the modular decomposition of graphs with a view to their compression. [[https://www.irif.fr/_media/users/fm/sujet_these.pdf|More details here]]. [[https://www.irif.fr/_media/users/fm/sujet_these.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-17-nicolas-behr-act21.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2105.06186|{{:actualites:ressources:act21-nicolasbehr.jpg?60 |Distinguished presentation at ACT 2021}}]] //17.6.2021//\\ [[http://nicolasbehr.com/|Nicolas Behr]] (IRIF) and Joachim Kock (Universitat Autònoma de Barcelona), will present **“Tracelet Hopf algebras and decomposition spaces”**, selected paper for a distinguished presentation at the prestigious [[https://www.cl.cam.ac.uk/events/act2021/|conference ACT 2021]]. [[https://arxiv.org/abs/2105.06186|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-16-colloque-college-de-france.txt sorting priority 0 ***/
[[https://www.college-de-france.fr/site/frederic-magniez/p50455552749382189_content.htm|{{:actualites:ressources:colloque_cdf.jpg?60 |Colloque au Collège de France}}]] //16.6.2021//\\ [[https://www.college-de-france.fr/site/frederic-magniez/p50455552749382189_content.htm|Colloquium « Recent Advances on Quantum Computing »]] at [[https://www.college-de-france.fr/site/college/index.htm|Collège de France]], **June 17-18**. This is a joint event between the Chaire Quantum Algorithms (2020-21) at Collège de France and the series of workshops Quantum In Paris. The goal of this colloquium is to bring together at College de France the research community in quantum computing. [[https://www.college-de-france.fr/site/frederic-magniez/p50455552749382189_content.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-14-miklos-santha-ccc21.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2011.05085|{{:actualites:ressources:ccc-1line.png?60 |Accepted paper CCC'21}}]] //14.6.2021//\\ Troy Lee (CQT), Tongyang Li (University of Maryland), [[https://www.irif.fr/~santha/|Miklos Santha]] (IRIF), Shengyu Zhang (CUHK) will present at [[https://computationalcomplexity.org|CCC 2021]] the paper « **On the Cut dimension of a graph** ». [[https://arxiv.org/abs/2011.05085|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-09-paul-andre-mellies-lics21.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2105.04929|{{:actualites:ressources:figure14a.png?60 |Accepted paper LICS'21}}]] //9.6.2021//\\ [[https://www.irif.fr/~mellies|Paul-André Melliès]] (IRIF) will present at [[http://easyconferences.eu/lics2021/|LICS 2021]] an **asynchronous template game semantics** where the shuffle tensor product of asynchronous games is formulated for the first time as the Gray tensor product of 2-categories, with appropriate scheduling template. [[https://arxiv.org/abs/2105.04929|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-09-claudia-faggian-lics21.txt sorting priority 0 ***/
[[https://drive.google.com/file/d/10wDQa0nIF9Ibhq7F0-2uOQAM7k8TAaPr/view?usp=sharing|{{:actualites:ressources:lics2021.png?60 |Accepted paper LICS'21}}]] //9.6.2021//\\ [[https://www.irif.fr/~faggian|Claudia Faggian]] (IRIF) and Francesco Gavazzo (U. Bologna) will present at [[http://easyconferences.eu/lics2021/|LICS21]] a **foundation for monadic rewriting**, and its application to calculi with algebric effects. [[https://drive.google.com/file/d/10wDQa0nIF9Ibhq7F0-2uOQAM7k8TAaPr/view?usp=sharing|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-08-entretien-college-de-france.txt sorting priority 0 ***/
[[https://www.college-de-france.fr/site/frederic-magniez/Lecosysteme-de-linformatique-quantique-est-en-train-de-naitre.htm|{{:actualites:ressources:college-de-france_f.magniez.jpg?60 |Entretien quantique - Collège de France}}]] //8.6.2021//\\ Invité sur la **chaire annuelle Informatique et sciences numériques** du [[https://www.college-de-france.fr/site/college/index.htm|Collège de France]] 2020-2021, le [[https://www.irif.fr/~magniez/|Professeur Frédéric Magniez]] discute de la naissance de l'écosystème de l'informatique quantique. [[https://www.college-de-france.fr/site/frederic-magniez/Lecosysteme-de-linformatique-quantique-est-en-train-de-naitre.htm|Lisez son interview]] ! [[https://www.college-de-france.fr/site/frederic-magniez/Lecosysteme-de-linformatique-quantique-est-en-train-de-naitre.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-02-antoine-allioux-lics21.txt sorting priority 0 ***/
[[https://hal.inria.fr/hal-03133144|{{:actualites:ressources:opetopes.png?60 |LICS 2021 - Accepted papers}}]] //2.6.2021//\\ [[https://www.irif.fr/~allioux/|Antoine Allioux]] (IRIF), Eric Finster (Cambridge University), and Matthieu Sozeau (Inria) will present at [[http://easyconferences.eu/lics2021/|LICS 2021]] a proof that types are **infinity-groupoids** internal to an extension of **homotopy type theory** allowing for the formalization of higher algebraic structures. [[https://hal.inria.fr/hal-03133144|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-06-02-thomas-ehrhard-lics21.txt sorting priority 0 ***/
[[https://arxiv.org/pdf/2011.10209v3.pdf|{{:actualites:ressources:thomas_e.png?60 |LICS 2021- Accepted paper}}]] //2.6.2021//\\ [[https://www.irif.fr/~ehrhard|Thomas Ehrhard]] (IRIF) and Farzad Jafarrahmani (Université de Paris) will present at [[http://easyconferences.eu/lics2021/|LICS2021]] the **first categorical semantics of Linear Logic** with induction and coinduction. [[https://arxiv.org/pdf/2011.10209v3.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-05-26-portrait-dagand.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/pierre-evariste_dagand_1er_avril_2021|{{:actualites:ressources:photo-pe_dagand.jpg?60 |Portrait de Pierre-Evariste Dagand}}]] //26.5.2021//\\ IRIF has the great pleasure to welcome a **new research scientist (CNRS)** : [[https://www.irif.fr/users/dagand/index|Pierre-Evariste Dagand]], an expert in language programming. Learn more about him and his work. [[https://www.irif.fr/portraits/pierre-evariste_dagand_1er_avril_2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-05-25-canadam21-papers.txt sorting priority 0 ***/
[[https://2021.canadam.math.ca/|{{:actualites:ressources:canadam-logo.png?60 |CanaDAM conference 2021}}]] //25.5.2021//\\ **Three papers** coauthored by IRIF members will be presented at the [[https://2021.canadam.math.ca/|CanaDAM conference 2021]], May 25-28. [[https://2021.canadam.math.ca/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-05-21-hugo-moeneclaey-lics21.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2105.08422|{{:actualites:ressources:illustartion_tweet_v2-hugo_m.png?60 |Parametricity and Semi-Cubical Types}}]] //21.5.2021//\\ [[https://www.irif.fr/users/moeneclaey/index|Hugo Moeneclaey]] (IRIF) will present at [[http://easyconferences.eu/lics2021/|LICS 2021]] a construction semi-cubical models of type theory as cofree parametric models. [[https://arxiv.org/abs/2105.08422|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-05-21-hugo-herbelin-lics21.txt sorting priority 0 ***/
[[https://hal.inria.fr/hal-03144849v3/document|{{:actualites:ressources:hugo_herbelin_lics21.png?60 |On the logical structure of choice and bar induction principles}}]] //21.5.2021//\\ [[https://www.cs.uni-potsdam.de/~brede/|Nuria Brede]] (University of Potsdam) and [[http://pauillac.inria.fr/~herbelin/|Hugo Herbelin]] (IRIF) will present at LICS21 a unified classification of choice and bar induction principles. [[https://hal.inria.fr/hal-03144849v3/document|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-05-19-lagos21-papers.txt sorting priority 0 ***/
[[https://eventos.ufabc.edu.br/lagos2021/|{{:actualites:ressources:logo_lagos2021.png?60 |Accepted papers LAGOS'21}}]] //19.5.2021//\\ **Two papers** coauthored by IRIF members will be presented at the [[https://eventos.ufabc.edu.br/lagos2021/#home|Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS)]], **May 17-21**. [[https://eventos.ufabc.edu.br/lagos2021/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-05-18-ralph-sarkis-lics21.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2012.00382|{{:actualites:ressources:r.sarkis-2.png?60 |Logic in Computer Science}}]] //18.5.2021//\\ [[https://ralphs16.github.io|Ralph Sarkis]] (IRIF), Matteo Mio (LIP, ENS Lyon) and Valeria Vignudelli (LIP, ENS Lyon) will present at [[http://easyconferences.eu/lics2021/|LICS2021]] equational and metric reasoning tools for programs combining nondeterminism, probability and termination. [[https://arxiv.org/abs/2012.00382|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-05-10-fsmp-maths-sport.txt sorting priority 0 ***/
[[https://www.sciencesmaths-paris.fr/fr/maths-en-mouvement-2021-1025.htm|{{:actualites:ressources:logo-fsmp-quadri-fondblanc-allonge.png?60 |Conférence Maths en Mouvement}}]] //10.5.2021//\\ L'[[https://www.sciencesmaths-paris.fr/fr/maths-en-mouvement-2021-1025.htm|édition 2021 de Mathématiques en mouvement]], organisée par la [[https://www.sciencesmaths-paris.fr|FSMP]], aura lieu le **mercredi 19 mai de 14h à 17h15** en visioconférence. Elle aura pour thème Maths et sport. [[https://www.sciencesmaths-paris.fr/fr/maths-en-mouvement-2021-1025.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-05-10-icalp21-papers.txt sorting priority 0 ***/
[[http://easyconferences.eu/icalp2021/accepted/|{{:actualites:ressources:icalp2021_logo_s_r.png?60 |ICALP'21-Accepted papers}}]] //10.5.2021//\\ **Six papers coauthored by IRIF members** will be presented at the prestigious [[http://easyconferences.eu/icalp2021/|conference ICALP’21]] this summer. [[http://easyconferences.eu/icalp2021/accepted/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-04-29-anr-hosigra.txt sorting priority 0 ***/
[[https://www.irif.fr/~hosigra/pmwiki/pmwiki.php?n=Site.OnlineAnnualMeeting3-5May2021|{{:actualites:ressources:anr-hosigra.png?60 |Online Annual Meeting 3-5 May 2021}}]] //29.4.2021//\\ The **Annual meeting of ANR-HOSIGRA**, in collaboration with teams from India and China, will take place online May 3-6. The [[https://www.irif.fr/~hosigra/pdfs/HOSIGRA-Program-2021.pdf|schedule of the talks is available here]]. Find [[https://www.irif.fr/~hosigra/pmwiki/pmwiki.php?n=Site.OnlineAnnualMeeting3-5May2021|abstracts and the zoom link here]]. [[https://www.irif.fr/~hosigra/pmwiki/pmwiki.php?n=Site.OnlineAnnualMeeting3-5May2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-04-29-pgsm-master.txt sorting priority 0 ***/
[[https://www.sciencesmaths-paris.fr/fr/pgsm-master-794.htm|{{:actualites:ressources:logo-fsmp-irif.png?60 |PGSM program of FSMP}}]] //29.4.2021//\\ IRIF will finance one or two additional **Master scholarships** in Foundations of Computer Science within the [[https://www.sciencesmaths-paris.fr/fr/pgsm-master-794.htm|PGSM program]] of [[https://www.sciencesmaths-paris.fr|FSMP]] for **female students** who have completed a bachelor’s degree or the first year masters in one of the universities of the FSMP network. [[https://www.sciencesmaths-paris.fr/fr/2eme-appel-doffre-pgsm-master-806.htm|Apply online]] by **May 8th**. [[https://www.sciencesmaths-paris.fr/fr/pgsm-master-794.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-04-23-lics21-papers.txt sorting priority 0 ***/
[[http://easyconferences.eu/lics2021/accepted-papers/|{{:actualites:ressources:lics2021.png?60 |LICS 2021}}]] //23.4.2021//\\ [[http://easyconferences.eu/lics2021/accepted-papers/|Six papers coauthored by IRIF members]] will be presented at the prestigious [[http://easyconferences.eu/lics2021/|conference LICS'21]] this summer. Topics include game semantics, linear logic, categorical models, type theory and rewriting systems. [[http://easyconferences.eu/lics2021/accepted-papers/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-04-22-blog-binaire.txt sorting priority 0 ***/
[[https://www.lemonde.fr/blog/binaire/|{{:actualites:ressources:blogbinaire.jpg?60 |Blog binaire}}]] //22.4.2021//\\ [[https://www.irif.fr/~sperifel/|Sylvain Perifel]] (IRIF) and [[https://guillaume-lagarde.github.io|Guillaume Lagarde]] (Université de Bordeaux) publish on the [[https://www.lemonde.fr/blog/binaire/|Blog Binaire the first article]] of a series about **algorithmic complexity**. The series aims be easy-to-understand and accessible to everyone. [[https://www.lemonde.fr/blog/binaire/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-04-09-arrivee-mirna.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/mirna_dzamonja_1er_avril_2021|{{:actualites:ressources:mirna-dzamonja.jpeg?60 |Mirna DŽAMONJA}}]] //9.4.2021//\\ We are happy to welcome [[https://www.irif.fr/portraits/mirna_dzamonja_1er_avril_2021|Mirna DŽAMONJA]], winner of an [[https://www.horizon2020.gouv.fr/cid73279/les-actions-marie-sklodowska-curie.html|individual grant Marie CURIE]] part of the H2020 European program. **Learn more about her and her work here** [[https://www.irif.fr/portraits/mirna_dzamonja_1er_avril_2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-04-08-wolfram-greta.txt sorting priority 0 ***/
[[https://www.irif.fr/~greta/talk/april28th2021-wolfram/|{{:actualites:ressources:s.wolfram.png?60 |Stephen Wolfram}}]] //7.4.2021//\\ [[https://www.stephenwolfram.com/?banner=1|Stephen Wolfram]], pioneer in the development and application of computational thinking, will be speaking on **Wednesday April 28**, 18:00 CET at [[https://www.irif.fr/~greta/talk/april28th2021-wolfram/|GReTA special event]] co-organized by IRIF. [[https://www.irif.fr/~greta/talk/april28th2021-wolfram/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-03-26-anr_maveriq_kickoff.txt sorting priority 0 ***/
[[https://u-paris.zoom.us/j/87369340487?pwd=RkNnenBzL3V6WlNJbmpuTzlJZVJGZz09|{{:actualites:ressources:logo-anrsimple.gif?60 }}]] //26.3.2021//\\ The **ANR projet MAVeriQ** will be having its second kickoff meeting on **Friday March 26th**. It will be starting with 4 short scientific talks: [[https://www.irif.fr/~asarin/|Eugene Asarin]] (IRIF), [[http://people.rennes.inria.fr/Loic.Helouet/|Loïc Helouet]] (IRISA), [[http://www-verimag.imag.fr/~bassetni/|Nicolas Basset]] (VERIMAG), [[http://lacl.fr/~barbot/|Benoît Barbot]] (LACL). Anybody who is interested is kindly invited to attend. [[https://u-paris.zoom.us/j/87369340487?pwd=RkNnenBzL3V6WlNJbmpuTzlJZVJGZz09|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-03-20-pps-days.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //20.3.2021//\\ This year's [[https://www.irif.fr/rencontres/pps2021/index|PPS days]] will take place online on the afternoons of **March 22, 23, 29 and April 1**. There will be also two guest lectures on the mornings of March 23 and April 1 by **Chantal Keller** (LRI) and **Pierre-Évariste Dagand** (moving from LIP6 to IRIF). [[https://www.irif.fr/rencontres/pps2021/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-03-12-journee-gdr-im.txt sorting priority 0 ***/
[[https://jnim2021.sciencesconf.org/|{{:actualites:ressources:logo-gdr-im.png?60 }}]] //12.3.2021//\\ The GDR-IM days will take place (online) from March 23rd to 26th. 2 IRIF members are participating this year: [[https://www.irif.fr/users/claire/index|Claire Mathieu]] (Tuesday, March 23-9:00 am) and [[https://www.irif.fr/~michele/|Michele Pagani]] (Wednesday, March 24-10:15 am). [[https://jnim2021.sciencesconf.org/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-03-09-interview-femmes.txt sorting priority 0 ***/
{{:actualites:ressources:interview-portraits-femmes2021.png?60 }} //9.3.2021//\\ [[https://www.irif.fr/users/lapointe/index|Mélodie Lapointe]], [[https://www.irif.fr/users/etinski/index|Simona Etinsky]] and [[https://www.irif.fr/users/nehai/index|Zeinab Nehaï]], doctoral and post-doctoral students at IRIF took part in a Q&A session with Eva Ryckelynck (Head of administration at IRIF) and Valérie Berthé (Senior Research Scientist-CNRS). They talked about their career as women in the field of computer science. [[https://u-paris.fr/dire-aux-jeunes-femmes-quelles-ont-leur-place-dans-linformatique/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-02-23-charte-membres-irif.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //23.2.2021//\\ We (IRIF) are proud to announce that we collectively finalised our **Charter/Code of conduct** for a secure professional environment open to diversity. [[https://www.irif.fr/informations/charte|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-02-18-kerenidis-nature.txt sorting priority 0 ***/
{{:actualites:ressources:perso-iordanis-kerenidis.jpg?60 }} //18.2.2021//\\ A new experimental demonstration of quantum advantage, co-authored by [[https://www.irif.fr/~jkeren/|Iordanis Kerenidis]] (IRIF, CNRS), is published in [[https://www.nature.com/articles/s41467-021-21119-1|Nature Communications]]. To learn more (in French): the [[http://www.cnrs.fr/fr/une-nouvelle-demonstration-experimentale-de-lavantage-quantique|CNRS press release]], an article in [[https://lejournal.cnrs.fr/articles/une-collaboration-cnrs-atteint-a-son-tour-lavantage-quantique|CNRS journal]], an article in [[https://www.usinenouvelle.com/editorial/l-instant-tech-apres-google-et-la-chine-le-cnrs-atteint-l-avantage-quantique.N1058544|L'usine nouvelle]], an article in [[https://www.industrie-techno.com/article/pourquoi-la-troisieme-demonstration-de-l-avantage-quantique-est-moins-spectaculaire-mais-bien-plus-rigoureuse.63919|Industrie & Technologies]], a radio interview of Iordanis Kerenidis on [[https://www.francetvinfo.fr/replay-radio/nouveau-monde/nouveau-monde-apres-google-des-chercheurs-europeens-demontrent-a-leur-tour-lavantage-quantique_4277183.html|France Info]]. [[http://www.cnrs.fr/fr/une-nouvelle-demonstration-experimentale-de-lavantage-quantique|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-02-10-pihoc-pps-diapason-2021.txt sorting priority 0 ***/
{{:actualites:ressources:logo-funded-by-anr.png?60 }} //10.2.2021//\\ The [[https://www.irif.fr/anrpps|ANR Probabilistic Programming Semantics]] (PPS) meeting will take place online from **Feb 16 to Feb 18, 2021** and will be joined with the 4th edition of the [[http://pihoc2019.cs.unibo.it|PIHOC]] workshop series and with a Dal Lago's [[https://site.unibo.it/diapason/en/project|DIAPASoN]] ERC project meeting. More on the program and connexion details at [[https://www.irif.fr/pps-pihoc-diapason2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-01-29-u-paris-3-postes-ouverts.txt sorting priority 0 ***/
[[https://u-paris.fr/|{{:actualites:ressources:logo-u-paris.jpg?60 |Université de Paris}}]] //29.1.2021//\\ **Three tenured positions** in theoretical computer science in **Paris**: two associate professorships and one full professorship are open; teaching at the CS dept. of Université de Paris, research at IRIF; deadline for applications **Feb. 26, 2021**. [[https://www.irif.fr/postes/universite|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-01-29-laplante-projet-vicinity.txt sorting priority 0 ***/
[[https://u-paris.fr/|{{:actualites:ressources:logo-u-paris.jpg?60 |Université de Paris}}]] //29.1.2021//\\ [[https://www.irif.fr/~jch/|Juliusz Chroboczek]], [[https://www.irif.fr/~laplante/|Sophie Laplante]] and [[https://www.irif.fr/~sperifel/|Sylvain Perifel]] (IRIF) are grant recipients for a project aiming to enhance the students' experience in virtual classrooms. [[https://u-paris.fr/resultats-de-laap-innovations-pedagogiques-hybridation-des-formations-et-pedagogies-innovantes/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-01-22-pagani-yunes-emergence-en-recherche.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //22.1.2021//\\ IRIF is associated to two projects selected under the call "Émergence en Recherche" of Université de Paris: IDiLL, co-instigated by [[https://www.irif.fr/~pagani|Michele Pagani]] with LIPN, and SPECTRANS by [[http://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]] with CLILLAC-ARP and LIPADE.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-01-22-quantum-technologies.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //22.1.2021//\\ French president Emmanuel Macron has presented a national plan for quantum technologies, including some aspects of quantum computing and communications. This is based on a parliamentary report co-written by [[https://www.irif.fr/~jkeren/|Iordanis Kerenidis]]. More from [[https://www.cnrs.fr/fr/cnrsinfo/la-recherche-francaise-au-coeur-du-plan-quantique|CNRS]] including a special edition on the [[https://lejournal.cnrs.fr/dossiers/dans-les-coulisses-de-la-nouvelle-revolution-quantique|quantum revolution]].
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-01-15-valerie-berthe-gdr-amf.txt sorting priority 0 ***/
{{:actualites:ressources:perso-valerie-berthe.jpeg?60 |Valérie Berthé}} //15.1.2021//\\ [[https://www.irif.fr/~berthe/|V. Berthé]] (IRIF) & J. Barral spearhead the creation of 𝘎𝘋𝘙 **Multifractal analysis and self-similarity** as a renewal of `GDR Multifractal analysis' with a move towards symbolic dynamic systems. [[http://gdramf.math.cnrs.fr/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-01-05-couteau-itcs21.txt sorting priority 0 ***/
[[http://itcs-conf.org/|{{:actualites:ressources:logo-itcs.png?60 |ITCS}}]] //5.1.2021//\\ [[https://geoffroycouteau.github.io/|Geoffroy Couteau]] (IRIF), Pooya Farshim (University of York), and Mohammad Mahmoody (University of Virginia) will present at [[http://itcs-conf.org/|ITCS 2021]] a new framework for proving black-box separations in cryptography in a composable way. [[https://geoffroycouteau.github.io/assets/pdf/BB_Useless.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-01-04-college-magniez.txt sorting priority 0 ***/
[[https://www.college-de-france.fr/site/en-college/index.htm|{{:actualites:ressources:logo-college-de-france-blason.png?60 |Collège de France}}]] //4.1.2021//\\ [[https://www.irif.fr/~magniez/|Frédéric Magniez]] (IRIF CNRS member) holds the **2020–2021** chair on Computer Science at Collège de France (in partnership with Inria), where he will present a course on [[https://www.college-de-france.fr/site/frederic-magniez/|Quantum Algorithms]] starting **April 7th** with an [[https://www.college-de-france.fr/site/frederic-magniez/inaugural-lecture-2021-04-01-18h00.htm|Inaugural lecture]] on **April 1st**. [[https://www.college-de-france.fr/media/frederic-magniez/UPL5935947568511602529_Frederic_MAGNIEZ_2020_2021.pdf|Poster with full program]]. [[https://www.college-de-france.fr/site/frederic-magniez/course-2020-2021.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2021-01-04-fraigniaud-itcs21.txt sorting priority 0 ***/
[[http://itcs-conf.org/|{{:actualites:ressources:logo-itcs.png?60 |ITCS}}]] //4.1.2021//\\ [[https://www.irif.fr/~pierref/|P. Fraigniaud]] (IRIF), F. Le Gall (Nagoya University), H. Nishimura (Nagoya University), and A. Paz (Universität Wien) will present at [[http://itcs-conf.org/|ITCS 2021]] a quantum approach of distributed certification, for checking the consistency of large data sets replicated at several nodes of a network. [[https://arxiv.org/abs/2002.10018|{{icon>arrow-circle-right}}]]