/*** DO NOT EDIT THIS FILE Create/edit news at https://www.irif.fr/admindb/actus/ This file was automatically generated (date = 2024-05-08, filename =/var/www/dw/data/pages/en/actualites/archives_2020.txt) ***/ /*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-12-23-galene.txt sorting priority 0 ***/
{{:actualites:ressources:logo-galene.jpg?60 }} //23.12.2020//\\ [[https://galene.org|Galène]], the videconferencing server developed by [[https://www.irif.fr/~jch/|Juliusz Chroboczek]] (IRIF), is now free and open source software. Talk and demonstration during the [[https://www-apr.lip6.fr/~chaillou/Public/programmation/2020-2021/jc.html|IRILL seminar]] on **March 11th, 4pm**. [[https://galene.org|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-12-22-ahmed-bouajjani-popl21.txt sorting priority 0 ***/
{{:actualites:ressources:perso-ahmed-bouajjani.jpg?60 }} //22.12.2020//\\ A group of researchers from Chennai, Paris, and Uppsala, including [[https://www.irif.fr/~abou/|Ahmed Bouajjani]] from IRIF, will publish at [[https://popl21.sigplan.org/|POPL 2021]] the first decidability result for verifying concurrent programs over Persistent Memories. Another contribution of the article is a new formal model for the persistent Intel x86 architecture. [[https://popl21.sigplan.org/details/POPL-2021-research-papers/56/Deciding-Reachability-under-Persistent-x86-TSO|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-12-22-claudia-faggian-popl21.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //22.12.2020//\\ Ugo Dal Lago (Univ. Bologna), [[https://www.irif.fr/~faggian|Claudia Faggian]] (IRIF), and Simona Ronchi Della Rocca (Univ. Torino) will present at [[https://popl21.sigplan.org/|POPL 2021]] a type system to characterize probabilistic termination and (exact) expected runtime of programs in the context of higher-order probabilistic computation. [[https://arxiv.org/abs/2010.12689|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-12-21-michele-pagani-popl21.txt sorting priority 0 ***/
{{:actualites:ressources:perso-michele-pagani.png?60 }} //21.12.2020//\\ Damiano Mazza (LIPN) and [[https://www.irif.fr/~pagani/|Michele Pagani]] (IRIF) will present at [[https://popl21.sigplan.org/|POPL 2021]] the first proof of the almost everywhere correctness of automatic differentiation in the context of a higher-order, Turing-complete programming language. [[http://arxiv.org/abs/2011.03335|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-12-04-conference-socs202.txt sorting priority 0 ***/
[[https://www.irif.fr/~socs2020/|{{:actualites:ressources:logo-socs2020.png?60 |SOCS2020}}]] //4.12.2020//\\ **December 10-11**, IRIF is co-organizing [[https://www.irif.fr/~socs2020/|SOCS2020]], **a workshop on Species and Operads in Combinatorics and Semantics**. This event will gather two very active communities in Paris area and beyond, the combinatorics and semantics communities, around a common tool: species and operads theory. [[https://www.irif.fr/~socs2020/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-11-25-pl-curien-prix2020-academie-des-sciences.txt sorting priority 0 ***/
{{:actualites:ressources:perso-pierre-louis-curien.jpg?60 |Pierre-Louis Curien}} //25.11.2020//\\ [[https://www.irif.fr/~curien/|Pierre-Louis Curien]] (IRIF) is awarded with this year's [[https://www.academie-sciences.fr/fr/Laureats/prix-inria-academie-des-sciences-2020.html|Grand prix Inria – Académie des sciences]]. To learn more about Pierre-Louis Curien's contributions to theoretical computer science, read the [[https://www.inria.fr/fr/pierre-louis-curien-grand-prix-inria-academie-des-sciences|portrayal published by Inria]], and the interviews published by [[https://www.sciencesmaths-paris.fr/fr/plcurien-1036.htm|FSMP]] and [[https://www.larecherche.fr/prix-math%C3%A9matiques-informatique/un-prix-pour-le-rapprochement-des-math%C3%A9matiques-et-de-linformatique|La Recherche]], or watch the interview by [[https://youtu.be/NRGQg-_cbC0|Université de Paris]].
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-11-20-academie-turin-delia-kesner.txt sorting priority 0 ***/
{{:actualites:ressources:perso-delia-kesner.jpg?60 |Delia Kesner}} //20.11.2020//\\ [[https://www.irif.fr/~kesner|Delia Kesner]] (IRIF) has been elected corresponding member for information sciences of the [[https://www.accademiadellescienze.it/en/home|Accademia delle Scienze di Torino]]. [[https://www.accademiadellescienze.it/accademia/soci/classe-di-scienze-fisiche-matematiche-e-naturali/soci-corrispondenti/viii-sezione-scienze-dell-informazione|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-11-20-papiers-popl-2021.txt sorting priority 0 ***/
{{:actualites:ressources:logo-acm.png?60 }} //20.11.2020//\\ **Three papers** co-authored by IRIF members will be presented at [[https://popl21.sigplan.org/|POPL2021]], the main conference on programming languages and programming systems. The papers' study randomized computation, including machine learning, and verification for programs over persistent memory. [[https://popl21.sigplan.org/track/POPL-2021-research-papers|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-11-06-crypto20-couteau-hartmann.txt sorting priority 0 ***/
{{:actualites:ressources:perso-geoffroy-couteau.jpg?60 |Geoffroy Couteau}} //6.11.2020//\\ A paper by [[http://geoffroycouteau.fr|G. Couteau]] (IRIF CNRS researcher) and D. Hartmann has been presented at the conference [[https://crypto.iacr.org/2020/program.php|CRYPTO2020]] and describes new, more compact constructions of non-interactive zero-knowledge proofs in elliptic curves equipped with a bilinear map. [[https://doi.org/10.1007/978-3-030-56877-1_27|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-11-06-soda21-claire-mathieu.txt sorting priority 0 ***/
{{:actualites:ressources:perso-claire-mathieu.jpg?60 |Claire Mathieu}} //6.11.2020//\\ A paper by [[https://www.irif.fr/~claire/|C. Mathieu]] (IRIF CNRS member) with R. Rajaraman, N. Young, and A. Yousefi will be presented at [[https://www.siam.org/conferences/cm/conference/soda21|SODA2021]] on dynamization policies in the competitive analysis framework for log-structured merge trees underpinning industrial NoSQL databases. [[https://arxiv.org/abs/2011.02615|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-11-02-nicolas-behr-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-nicolas-behr.jpg?60 |Nicolas Behr}} //2.11.2020//\\ IRIF has the great pleasure to welcome a **new research scientist** (CNRS): **Nicolas Behr**, an expert in stochastic rewriting theory.
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-10-21-crypto20-couteau.txt sorting priority 0 ***/
{{:actualites:ressources:perso-geoffroy-couteau.jpg?60 |Geoffroy Couteau}} //21.10.2020//\\ A paper by E. Boyle, [[http://geoffroycouteau.fr|G. Couteau]] (IRIF CNRS researcher), N. Gilboa, Y. Ishai, L. Kohl and P. Scholl has been resented at the conference [[https://crypto.iacr.org/2020/program.php|CRYPTO2020]] on how to securely generate bounded amounts of correlated randomness. [[https://doi.org/10.1007/978-3-030-56880-1_14|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-10-21-soda21-santha.txt sorting priority 0 ***/
{{:actualites:ressources:perso-miklos-santha.jpeg?60 |Miklós Santha}} //21.10.2020//\\ A paper by Troy Lee, [[https://www.irif.fr/~santha/|Miklós Santha]] (IRIF CNRS member), and Shengyu Zhang on quantum algorithms for graph problems with cut queries will be presented at [[https://www.siam.org/conferences/cm/conference/soda21|SODA2021]]. [[https://arxiv.org/abs/2007.08285|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-10-15-liat-peterfreund-prix-l-oreal-unesco.txt sorting priority 0 ***/
{{:actualites:ressources:perso-liat-peterfreund.jpeg?60 |Liat Peterfreund}} //15.10.2020//\\ **Liat Peterfreund** (former **IRIF postdoc, 2019-20**) is one of the recipients of the **L'Oréal-Unesco award** for women in science. Liat is studying the science of data processing: how to extract data, how to classify it and, above all, how to make it meaningful. [[https://ins2i.cnrs.fr/fr/cnrsinfo/prix-jeunes-talents-france-2020-loreal-unesco-pour-les-femmes-et-la-science|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-10-02-postdoc-call-2020.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 |IRIF}} //2.10.2020//\\ IRIF is seeking excellent candidates for about **10 postdoctoral positions** in all areas of the foundations of Computer Science. Deadline for applications: **Nov. 2, 2020**. [[https://www.irif.fr/postes/postdoc|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-10-01-adrian-vladu-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-adrian-vladu.png?60 |Adrian Vladu}} //1.10.2020//\\ IRIF has the great pleasure to welcome a **new research scientist** (CNRS): **Adrian Vladu**, an expert in continuous optimization, which he uses to develop improved algorithms for combinatorial problems and methods for machine learning.
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-09-30-journees-pps-2020.txt sorting priority 0 ***/
{{:actualites:ressources:pole-pps.svg?60 |Preuves, Programmes et Systèmes}} //30.9.2020//\\ This year's PPS days will take place online on **October 1, 8, and 15**, each time between **10:20 and 12:30**. [[https://www.irif.fr/seminaires/pps/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-09-21-program-paris-region.txt sorting priority 0 ***/
[[https://parisregion.eu/|{{:actualites:ressources:logo-pr.png?60 |PARIS REGION}}]] //21.9.2020//\\ Via DIMs of Math and Infos, IRIF is **one of the lab of the Paris Region Fellowship Program**, a project aimed at strengthening the research capacity and international influence of Paris region, attracting excellent researcher and fostering innovation. [[https://parisregion.eu/parisregionfp.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-09-15-mikael-rabie-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-mikael-rabie.jpg?60 |Mikael Rabie}} //15.9.2020//\\ IRIF has the great pleasure to welcome a **new associate professor** (Université de Paris): **Mikael Rabie**, an expert in Distributed Computing, in particular on population protocols and distributed models on graphs.
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-09-11-lectures-thomas-vidick.txt sorting priority 0 ***/
{{:actualites:ressources:thomas-vidick.jpg?60 |Thomas Vidick}} //11.9.2020//\\ **Thomas Vidick** will give a series of lectures on **Interactive proofs with quantum devices** during his stay at IRIF funded by an **FSMP chair**, starting on **Sep. 22 at IHP**. [[http://users.cms.caltech.edu/~vidick/teaching/fsmp/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-09-04-baptiste-louf-paper.txt sorting priority 0 ***/
{{:actualites:ressources:perso-baptiste-louf.jpg?60 |Baptiste Louf}} //4.9.2020//\\ [[https://www.irif.fr/~blouf/|Baptiste Louf]] (just graduated from IRIF) has a paper co-authored with Thomas Budzinski published in **Inventiones Mathematicae** that proves a conjecture of Benjamini & Curien in discrete random geometry. [[https://arxiv.org/abs/1902.00492|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-09-01-numeration-owns.txt sorting priority 0 ***/
[[https://www.irif.fr/~numeration/OWNS|{{:actualites:ressources:image-hokkaido-fractal.png?60 |Numeration - OWNS}}]] //1.9.2020//\\ [[https://www.irif.fr/~numeration/OWNS|The One World Numeration Seminar]] is an international online seminar on numeration systems and related topics organised by [[https://www.irif.fr/~steiner|Wolfgang Steiner]] (IRIF). It has been well accepted by the community, and the **second season starts with a talk by Bill Mance on September 1st**. [[https://www.irif.fr/~numeration/OWNS|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-08-28-debate-delia.txt sorting priority 0 ***/
{{:actualites:ressources:perso-delia-kesner.jpg?60 }} //28.8.2020//\\ [[https://www.irif.fr/~kesner/|Delia Kesner]] (IRIF) will be on the panel of a debate on the **future of the conference system in theoretical computer science**, and organized as a special event as part of the [[https://www.cs.bham.ac.uk/~vicaryjo/owls/|Online Worldwide Seminar on Logic and Semantics]] (OWLS). The event will take place **September 2, 5pm on Zoom**. [[https://www.cs.bham.ac.uk/~vicaryjo/owls/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-08-18-fsmp-david-peleg.txt sorting priority 0 ***/
{{:actualites:ressources:perso-david-peleg.jpg?60 |David Peleg}} //18.8.2020//\\ IRIF is very pleased to host for **4 months starting on March 2021**, **David Peleg**, professor at the Weitzmann Institute of Science whose research focuses on algorithms, communication networks, complex and distributed systems on a **chair funded by FSMP**. [[https://www.sciencesmaths-paris.fr/fr/laureats-chaires-fsmp-188.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-08-18-fsmp-thomas-vidick.txt sorting priority 0 ***/
{{:actualites:ressources:thomas-vidick.jpg?60 |Thomas Vidick}} //18.8.2020//\\ IRIF is very pleased to host for **12 months starting in September 2020**, **Thomas Vidick**, professor of computer science and mathematics at the California Institute of Technology. His research is at the interface of theoretical computer science, quantum information and cryptography. The invitation is funded by an **FSMP chair** together with DIENS, Inria and IRIF. Meet him in **office 4024**. [[https://www.sciencesmaths-paris.fr/fr/laureats-chaires-fsmp-188.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-08-18-icml-kerenidis.txt sorting priority 0 ***/
{{:actualites:ressources:perso-iordanis-kerenidis.jpg?60 |Iordanis Kerenidis}} //18.8.2020//\\ [[https://www.irif.fr/~jkeren/|Iordanis Kerenidis]] (IRIF) was an invited speaker at [[https://icml.cc|International Conference on Machine Learning]] (ICML) in **July 2020** for a talk on [[https://icml.cc/virtual/2020/invited%20talk/7941|Quantum Machine Learning: prospects and challenges]] followed by a discussion with other experts in the field. Watch him online. [[https://icml.cc/virtual/2020/invited%20talk/7941|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-07-16-enka-blanchard-psl-prize.txt sorting priority 0 ***/
{{:actualites:ressources:perso-enka-blanchard.jpg?60 |Enka Blanchard}} //16.7.2020//\\ Enka Blanchard, Ph.D. student at IRIF supervised by Nicolas Schabanel and Ted Selker, was awarded the **PSL prize in the category "interfaces between humanities and sciences"** for her Ph.D. work entitled "Usability low tech, high security". [[https://www.psl.eu/actualites/les-laureates-et-laureats-du-prix-de-these-psl-shs-2020|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-07-06-motion-6-juillet-2020.txt sorting priority 0 ***/
{{:actualites:ressources:logo-vote.svg?60 }} //6.7.2020//\\ The members of the CS department and the laboratory IRIF of Université de Paris voted in favor of a motion requesting the **withdrawal of the LPPR project**. [[https://www.irif.fr/motion06-07-2020|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-06-25-tommaso-petrucciani-prix-these-gpl.txt sorting priority 0 ***/
{{:actualites:ressources:perso-tommaso-petrucciani.jpg?60 |Tommaso Petrucciani}} //25.6.2020//\\ Tommaso Petrucciani is awarded the **GPL PhD Thesis Prize** (Software Engineering and Programming) for his thesis" "Polymorphic set-theoretic types for functional languages" prepared at IRIF co-supervised by Giuseppe Castagna (IRIF) and Elena Zucca (Università di Genova). [[http://gdr-gpl.cnrs.fr/node/394|{{icon>arrow-circle-right}}]] \\ A function is **polymorphic** when it can be applied to arguments of different types. For instance, the identity function //fun x = x// is polymorphic since it can be applied, say, to integers and Boolean arguments, while the successor function //fun x = x+1// is not, since it can be applied only to integers. The latter function has type //Int→Int//, while the former has type ∀α.α→α, that is, it has type α→α for all possibles types α. The last type is a **polymorphic type**. **Set theoretic types** are types with union, intersection, and negation connectives: again //fun x = x// has both type //Int→Int// **and** //Bool→Bool// and, thus, it has the intersection type (//Int→Int//)∩(//Bool→Bool//).
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-06-22-rp20-sylvain-schmitz.txt sorting priority 0 ***/
[[https://www.irif.fr/~schmitz/|{{:actualites:ressources:perso-sylvain-schmitz.jpg?60 |Sylvain Schmitz}}]] //22.6.2020//\\ [[https://www.irif.fr/~schmitz/|Sylvain Schmitz]] (IRIF) co-organizes the [[https://www.irif.fr/~rp2020/|14th International Conference on Reachability Problems]] (RP'20), that is planned to take place either online or at IRIF on **October 19-20**. [[https://www.irif.fr/~rp2020/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-06-22-amos-korman-sirocco2020-prize-talk.txt sorting priority 0 ***/
[[https://amoskorman.com/|{{:actualites:ressources:perso-amos-korman.jpg?60 |Amos Korman}}]] //22.6.2020//\\ [[https://amoskorman.com/|Amos Korman]] (IRIF) will give a talk for receiving the 2020 prize of innovations in distributed computing. It will be broadcast live on **Tuesday, June 30, at 7-8 pm (CET)**. Watching the talk is free of charge, but registration is required. [[https://sirocco2020.cs.uni-paderborn.de/registration.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-06-15-fscd-delia-kesner.txt sorting priority 0 ***/
[[http://fscd-conference.org/|{{:actualites:ressources:logo-fscd.png?60 |FSCD}}]] //15.6.2020//\\ Members of IRIF organize the fifth International Conference on Formal Structures for Computation and Deduction (FSCD) and its affiliated workshops. The event was planned in Paris, due to the pandemic, it is now an online conference held from **06-29 to 07-06**. [[https://fscd2020.org/index.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-05-22-jean-krivine-sciences-pop.txt sorting priority 0 ***/
[[https://twitter.com/sciencespop93|{{:actualites:ressources:logo-sciences-pop93.jpg?60 |Sciences POP}}]] //22.5.2020//\\ [[https://www.irif.fr/~jkrivine/|Jean Krivine]] (IRIF) discusses how to model an epidemy with Samuel Alizon (MIVEGEC) in a [[https://www.youtube.com/watch?v=kXKkJTwRbPM|video]] for Sciences Pop’ Saint-Denis, an association for popular education. [[https://www.youtube.com/watch?v=kXKkJTwRbPM|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-05-20-amos-korman-sirocco2020-prize.txt sorting priority 0 ***/
[[https://amoskorman.com/|{{:actualites:ressources:perso-amos-korman.jpg?60 |Amos Korman}}]] //20.5.2020//\\ [[https://amoskorman.com/|Amos Korman]] (IRIF) has been awarded the **2020 Prize for Innovation in Distributed Computing**. The prize will be given during the SIROCCO 2020 conference in July. [[https://sirocco2020.cs.uni-paderborn.de/prize.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-05-11-tcs4f.txt sorting priority 0 ***/
[[https://tcs4f.org/|{{:actualites:ressources:logo-tcs4f.png?60 |Theoretical Computer Scientists for Future}}]] //11.5.2020//\\ [[https://www.irif.fr/~colcombe/|Thomas Colcombet]] and [[https://hugo.feree.fr/|Hugo Férée]] (IRIF) together with Antoine Amarilli and Thomas Schwentick administrate the website for the [[https://tcs4f.org/|TCS4F Manifesto]], an initiative to reduce the carbon footprint related to Theoretical Computer Science research activities. [[https://tcs4f.org/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-05-11-ec20-paper-simon-mauras.txt sorting priority 0 ***/
[[https://www.irif.fr/~mauras/|{{:actualites:ressources:perso-simon-mauras.jpg?60 |Simon Mauras}}]] //11.5.2020//\\ IRIF PhD student [[https://www.irif.fr/~mauras/|Simon Mauras]] had a paper accepted at the [[http://ec20.sigecom.org|EC 2020 conference]], “Two-Sided Random Matching Markets: Ex-Ante Equivalence of the Deferred Acceptance Procedures”
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-05-11-anr-hosigra-meeting.txt sorting priority 0 ***/
{{:actualites:ressources:logo-funded-by-anr.png?60 }} //11.5.2020//\\ An online ANR-HOSIGRA 2020 meeting will be held on **Tuesday May 12, 14:00-17:00** with a possibility of further discussions on the following days. If interested in joining the meeting, please contact [[https://www.irif.fr/~reza|Reza Naserasr]]. [[https://www.irif.fr/~hosigra|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-30-numeration-owns.txt sorting priority 0 ***/
[[https://www.irif.fr/~numeration/OWNS|{{:actualites:ressources:image-hokkaido-fractal.png?60 |Numeration - OWNS}}]] //30.4.2020//\\ [[https://www.irif.fr/~numeration/OWNS|The One World Numeration Seminar]], a new international online seminar on numeration systems and related topics, is organised by [[https://www.irif.fr/~steiner|Wolfgang Steiner]] (IRIF) and hosted at IRIF. **It starts on May 5 with a talk by Narad Rampersad**. [[https://www.irif.fr/~numeration/OWNS|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-27-icalp20-paper-crubille-barak-lago.txt sorting priority 0 ***/
[[https://www.irif.fr/~rcrubille/|{{:actualites:ressources:perso-raphaelle-crubille.jpg?60 |Raphaëlle Crubillé}}]] //27.4.2020//\\ At [[https://icalp2020.saarland-informatics-campus.de|ICALP'20]], [[https://www.irif.fr/~rcrubille/|Raphaëlle Crubillé]] (IMDEA Software Institute and IRIF), with Boaz Barak and Ugo Dal Lago take a look at how higher-order cryptography could look like, giving both positive and negative results on higher-order generalizations of pseudorandomness constructions. [[https://arxiv.org/abs/2002.07218|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-27-claire-mathieu-interview.txt sorting priority 0 ***/
[[https://www.irif.fr/~claire/|{{:actualites:ressources:perso-claire-mathieu.jpg?60 |Claire Mathieu}}]] //27.4.2020//\\ [[https://www.irif.fr/~claire/|Claire Mathieu]] (IRIF) has been [[https://lejournal.cnrs.fr/articles/des-graphes-pour-planifier-le-deconfinement|interviewed]] by the online news site of CNRS about using graphs to devise a lockdown exit strategy. [[https://lejournal.cnrs.fr/articles/des-graphes-pour-planifier-le-deconfinement|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-23-icalp20-paper-magniez-nayak.txt sorting priority 0 ***/
[[https://www.irif.fr/~magniez|{{:actualites:ressources:perso-frederic-magniez.jpg?60 |Frédéric Magniez}}]] //23.4.2020//\\ In the context of quantum cloud computing, [[https://www.irif.fr/~magniez/|Frédéric Magniez]] (IRIF) with Ashwin Nayak (U. Waterloo) will introduce at [[https://icalp2020.saarland-informatics-campus.de|ICALP'20]] a fundamentally new and more efficient solution than classical ones to decide if there is inconsistency between 2 or more remote quantum databases. [[https://arxiv.org/abs/2002.11795|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-23-icalp20-paper-colcombet-barozzini-clemente-parys.txt sorting priority 0 ***/
{{:actualites:ressources:lambdaydown.svg?60 }} //23.4.2020//\\ [[https://www.irif.fr/~colcombe/|Thomas Colcombet]] (IRIF) with David Barozzini, Lorenzo Clemente and Paweł Parys (Univ Warsaw) will virtually present at [[https://icalp2020.saarland-informatics-campus.de|ICALP'20]] how to compute downward closures of safe recursion schemes, objects that give meaningful information about the behavior of higher order programs. This paper got the **best paper award of ICALP/Tack-B**. [[https://arxiv.org/abs/2004.12187|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-23-icalp20-paper-fraigniaud-paz.txt sorting priority 0 ***/
[[https://www.irif.fr/~pierref|{{:actualites:ressources:perso-pierre-fraigniaud.jpg?60 |Pierre Fraigniaud}}]] //23.4.2020//\\ [[https://www.irif.fr/~pierref/|Pierre Fraigniaud]] (IRIF) and Ami Paz (U. Vienna, Austria) will virtually present at [[https://icalp2020.saarland-informatics-campus.de|ICALP'20]] how to model distributed computing in networks in the framework of algebraic topology, where algorithms are characterized as simplicial maps between complexes. [[https://arxiv.org/abs/2003.03255|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-20-lics20.txt sorting priority 0 ***/
[[https://lics.siglog.org/|{{:actualites:ressources:conf-lics.png?60 |LICS}}]] //20.4.2020//\\ **Six papers** coauthored by IRIF members will be presented at the prestigious conference [[https://lics.siglog.org/lics20/|LICS'20]] this summer. Topics include the semantics of probabilistic and nondeterministic programming languages, as well as extensions of the proof-program correspondence to classical logic. [[https://lics.siglog.org/lics20/accepted.php|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-17-icalp20.txt sorting priority 0 ***/
[[http://eatcs.org|{{:actualites:ressources:logo-eatcs.jpg?60 |EATCS}}]] //17.4.2020//\\ **Four papers** coauthored by IRIF members will be presented at the prestigious conference [[https://icalp2020.saarland-informatics-campus.de|ICALP'20]] this summer. Topics include automata, cryptography, networks, and quantum computing. [[https://icalp2020.saarland-informatics-campus.de/?page_id=43|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-15-john-conway-deces.txt sorting priority 0 ***/
{{:actualites:ressources:perso-john-conway.jpg?60 |John Horton Conway}} //15.4.2020//\\ **John Horton Conway** passed away at 82 on 04-11 from COVID. Mathematician with an impressive spectrum of expertise, his influence on theoretical computer science is decisive from cellular automata to paving. [[https://www.irif.fr/~berthe/|Valérie Berthé]] (IRIF) wrote a note for La Recherche.\\ {{:actualites:nouvelle_version:conways_game_of_life_breeder_animation.gif|John Conway's Game of Life}} [[https://bit.ly/2z1hNSL|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-07-ocaml-mooc.txt sorting priority 0 ***/
[[http://ocaml-sf.org|{{:actualites:ressources:logo-ocsf.svg?60 |OCaml-Software-Foundation}}]] //7.4.2020//\\ The **OCaml MOOC** developed by [[https://www.irif.fr/~treinen|Ralf Treinen]], [[https://www.dicosmo.org/|Roberto Di Cosmo]] and [[https://www.irif.fr/~yrg|Yann Régis-Gianas]] from IRIF is reopened during COVID19 sheltering. Use this time at home to learn functional programming! [[https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session04/about|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-07-valerie-berthe-workshop-mcf.txt sorting priority 0 ***/
[[https://www.irif.fr/|{{:actualites:ressources:logo-irif.png?60 |IRIF}}]] //7.4.2020//\\ The first virtual workshop co-organized by a member of IRIF, [[https://www.irif.fr/~berthe|Valérie Berthé]], took place **March 23-27** on Multidimensional Continued Fractions and Euclidean Dynamics. All talks have been recorded and are publicly accessible. [[https://www.irif.fr/~codys/MCF|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-04-07-seminars-irif-bbb.txt sorting priority 0 ***/
[[https://www.irif.fr/|{{:actualites:ressources:logo-irif.png?60 |IRIF}}]] //7.4.2020//\\ **All seminars of IRIF are now active again** through [[https://bigbluebutton.org/|BigBlueButton]], an open source solution installed on our **local servers** thanks to our amazing staff support. Check out our page about [[https://www.irif.fr/seminaires/|seminars]] for more information. [[https://www.irif.fr/seminaires/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-03-05-distinguished-mitchell.txt sorting priority 0 ***/
[[https://www.irif.fr/en/seminaires/irif/index|{{:actualites:ressources:logo-distinguished-talk-inverted.svg?60 |IRIF Distinguished Talks}}]] //5.3.2020//\\ We are delighted to host **Joseph Mitchell** (Stony Brook University) as part of our IRIF Distinguished Talks Series on **March 20, 10:30** for a talk entitled “Approximation Algorithms for Some Geometric Packing/Covering/Routing Problems”. [[https://www.irif.fr/en/seminaires/irif/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-02-27-pldi20.txt sorting priority 0 ***/
[[https://pldi20.sigplan.org/|{{:actualites:ressources:pldi20.png?60 |PLDI 2020}}]] //27.2.2020//\\ **Two papers** co-authored by IRIF members will be presented at [[https://pldi20.sigplan.org/|PLDI'20]], the main conference on implementations of programming languages. The papers propose new methodologies for verifying distributed protocols and smart contracts running on top of blockchains, respectively. [[https://pldi20.sigplan.org/track/pldi-2020-papers|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-02-07-bourse-master-irif.txt sorting priority 0 ***/
{{:actualites:ressources:logo-fsmp-irif.png?60 }} //7.2.2020//\\ 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. Apply 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/en/actualites/sources/2020-02-06-sylvain-perifel-caleidoscope.txt sorting priority 0 ***/
{{:actualites:ressources:kaleidoscope.jpg?60 }} //6.2.2020//\\ [[https://www.irif.fr/~sperifel|Sylvain Périfel]] from IRIF, together with Damiano Mazza and Thomas Seiller, organize the Caleidoscope Research School in Computational Complexity, to be held in Paris (postponed to 2021). [[http://caleidoscope20.sciencesconf.org/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-30-jfla2020.txt sorting priority 0 ***/
{{:actualites:ressources:jfla-2020-gruissan.jpg?60 |JFLA 2020}} //30.1.2020//\\ [[https://www.irif.fr/~yrg/|Yann Régis-Gianas]] (IRIF) is the vice-president of the "Journées Francophones des Langages Applicatifs" that will take place at Gruissan from the **29th of January to the 1st of February**. [[http://jfla.inria.fr/jfla2020.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-27-pps-pihoc-diapason-workshop.txt sorting priority 0 ***/
{{:actualites:ressources:logo-funded-by-anr.png?60 }} //27.1.2020//\\ The ANR PPS kick-off meeting will take place from **Feb 26 to Feb 28, 2020** at IRIF (Paris) and will be joined with the 3rd edition of the PIHOC workshop series initiated by Ugo Dal Lago in 2018 and with Dal Lago's DIAPASoN ERC project kick-off meeting. [[https://framaforms.org/joint-pihoc-pps-diapason-workshop-1575872180|Register]] by **Jan 31**: registration is free but mandatory. [[https://www.irif.fr/pps-pihoc-diapason2020|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-21-journee-asd.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //21.1.2020//\\ The ASD day of « Algorithms and discrete structures » pole will take place in room 3052 on **January 27th**. [[https://www.irif.fr/en/rencontres/asd2020/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-15-emilio-gallego-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-emilio-gallego.jpg?60 |Emilio J. Gallego Arias}} //15.1.2020//\\ IRIF has the great pleasure to welcome a **new starting researcher** (Inria): [[https://www.irif.fr/~gallego/|Emilio J. Gallego Arias]], an expert in interactive theorem proving and the Coq proof assistant.
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-13-iordanis-kerenidis-report-quantum-technologies.txt sorting priority 0 ***/
{{:actualites:ressources:iordanis-kerenidis-avec-des-ministres.jpg?60 |Report about Quantum Technologies}} //13.1.2020//\\ [[https://www.irif.fr/~jkeren/|Iordanis Kerenidis]], CNRS senior researcher (IRIF) and director of the Paris Centre for Quantum Computing, is one of the three authors of the [[https://www.entreprises.gouv.fr/numerique/quantique-virage-technologique-que-la-france-ne-ratera-pas |report about Quantum Technologies]] requested by the French government. [[http://www.cnrs.fr/fr/cnrsinfo/quantique-nous-proposons-de-mettre-en-place-un-programme-national-ambitieux|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-10-matthieu-josuat-verges.txt sorting priority 0 ***/
{{:actualites:ressources:perso-matthieu-josuat-verges.jpg?60 |Matthieu Josuat-Vergès}} //10.1.2020//\\ IRIF has the great pleasure to welcome a **new research scientist** (CNRS): **Matthieu Josuat-Vergès**, an expert in enumerative combinatorics and algebraic combinatorics.
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-10-u-paris-1-poste-ouvert.txt sorting priority 0 ***/
[[https://u-paris.fr/|{{:actualites:ressources:logo-u-paris.jpg?60 |Université de Paris}}]] //10.1.2020//\\ [[https://u-paris.fr/|Université de Paris]] has opened **one permanent associate professor** position in Computer Science. Recruited researcher will join IRIF. Apply by **April 9th, 4pm** (Paris time). [[https://www.irif.fr/en/postes/universite|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-07-michel-habib-laurent-viennot-soda20-paper.txt sorting priority 0 ***/
[[https://www.siam.org/Conferences/CM/Program/Accepted-Papers/soda20-accepted-papers|{{:actualites:ressources:logo-acm-siam.png?60 |SODA20}}]] //7.1.2020//\\ Guillaume Ducoffe (Bucarest Univ. and ICI) will present at [[https://www.siam.org/Conferences/CM/Conference/soda20|SODA’20]] a result obtained with [[https://www.irif.fr/~habib/|Michel Habib]] (IRIF) and [[https://who.rocq.inria.fr/Laurent.Viennot/|Laurent Viennot]] (IRIF and Inria) showing that diameter can be computed in truly sub-quadratic time in any H-minor free graph. This extends a recent breakthrough on planar graphs. [[https://arxiv.org/abs/1907.04385|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-07-claire-mathieu-simon-mauras-soda20-paper.txt sorting priority 0 ***/
[[https://www.siam.org/Conferences/CM/Program/Accepted-Papers/soda20-accepted-papers|{{:actualites:ressources:logo-acm-siam.png?60 |SODA20}}]] //7.1.2020//\\ [[https://www.irif.fr/~claire/|Claire Mathieu]] and [[https://www.irif.fr/~mauras/|Simon Mauras]] (IRIF) will present at [[https://www.siam.org/Conferences/CM/Conference/soda20|SODA’20]] several approximation algorithms for top-list aggregation, an optimization problem from the field of information retrieval: compute the output full-ranking which is closest to a collection of input top-lists. [[https://arxiv.org/abs/1811.01537|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2020-01-06-distinguished-grohe.txt sorting priority 0 ***/
[[https://www.irif.fr/en/seminaires/irif/|{{:actualites:ressources:logo-distinguished-talk-inverted.svg?60 |IRIF Distinguished Talks Series}}]] //6.1.2020//\\ We are delighted to host as part of our [[https://www.irif.fr/en/seminaires/irif/|IRIF Distinguished Talks Series]] **Martin Grohe** (RWTH Aachen University) on **Friday January 24, 2020, 10:30am** for a talk entitled “Symmetry and Similarity”. [[https://www.irif.fr/en/seminaires/irif/|{{icon>arrow-circle-right}}]]