/*** DO NOT EDIT THIS FILE Create/edit news at https://www.irif.fr/admindb/actus/ This file was automatically generated (date = 2024-05-04, filename =/var/www/dw/data/pages/actualites/archives_2019.txt) ***/ /*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-12-23-claire-mathieu-academie-des-sciences.txt sorting priority 0 ***/
[[https://www.academie-sciences.fr/|{{:actualites:ressources:logo-institut-de-france.png?60 |Institut de France}}]] //23.12.2019//\\ IRIF is proud to announce that [[https://www.irif.fr/~claire/|Claire Mathieu]], senior research scientist at IRIF, has been elected at the **Académie des sciences** for the section of mechanical engineering and computer science. [[https://www.academie-sciences.fr/pdf/communique/elections_2019.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-12-13-raphaelle-crubille-prix-these-sif.txt sorting priority 0 ***/
[[https://www.societe-informatique-de-france.fr/|{{:actualites:ressources:logo-societe-informatique-de-france.png?60 |Société Informatique de France}}]] //13.12.2019//\\ [[http://research.crubille.lautre.net/|Raphaëlle Crubillé]] (former student at IRIF)‬⁩ was awarded the [[https://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn-2/|Gilles Kahn 2019 prize]] for her PhD thesis entitled « Behavioral Distances for Probabilistic Higher-order Programs » supervised by [[https://www.irif.fr/~ehrhard/|Thomas Ehrhard]] (IRIF) and Ugo Dal Lago. [[http://research.crubille.lautre.net/main.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-12-11-popl20.txt sorting priority 0 ***/
[[https://popl20.sigplan.org/|{{:actualites:ressources:popl20.jpg?60 |POPL20}}]] //11.12.2019//\\ **Two papers** coauthored by IRIF members will be presented at [[https://popl20.sigplan.org/|POPL’20]], the main conference on programming languages and programming systems. The papers' topics are reflecting Coq in Coq and how to differentiate higher-order programs. [[https://popl20.sigplan.org/track/POPL-2020-Research-Papers|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-12-10-michele-pagani-popl20.txt sorting priority 0 ***/
{{:actualites:ressources:perso-michele-pagani.png?60 |Michele Pagani}} //10.12.2019//\\ [[https://www.irif.fr/~pagani/|Michele Pagani]] (IRIF), Alois Brunel (Deepomatic) and Damiano Mazza (LIPN) will present at [[https://popl20.sigplan.org/|POPL'20]] an effect-free extension of the backpropagation algorithm to higher-order functional programming, allowing for a logical understanding of its dynamics thanks to linear logic. [[https://arxiv.org/abs/1909.13768|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-11-20-yann-regis-gianas-tezos-workshop.txt sorting priority 0 ***/
{{:actualites:ressources:perso-yann-regis-gianas.jpg?60 |Yann Régis-Gianas}} //20.11.2019//\\ [[https://www.irif.fr/~yrg/|Yann Regis-Gianas]] (IRIF) co-organizes at IRIF the workshop “Tezos Smart Contrat Languages and Formal Verification” on the **21 and 22 of November**. [[https://framadate.org/akaWKyHwJY1HTrfM|Registration]] is free but mandatory. [[http://michel.mauny.net/misc/2019-11-tezos-workshop/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-11-07-iordanis-kerenidis-sirteq.txt sorting priority 0 ***/
[[https://www.sirteq.org/|{{:actualites:ressources:logo-sirteq.png?60 |SIRTEQ}}]] //7.11.2019//\\ **What are near-term quantum computers good for?** [[https://www.irif.fr/~jkeren/|Iordanis Kerenidis]] (IRIF) will give a talk on **11/29** in a meeting organized by the DIM [[https://www.sirteq.org/|Sirteq]] where Google will present its recent results about quantum supremacy. Registration is free but mandatory. [[https://pqc.sciencesconf.org/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-11-01-journee-gdr-bim.txt sorting priority 0 ***/
{{:actualites:ressources:logo-cnrs.svg?60 }} //1.11.2019//\\ IRIF hosts the **annual meeting of the molecular bioinformatics research group** of CNRS ([[http://www.gdr-bim.cnrs.fr/|GDR BIM]]) from **11-05 to 11-07**. [[http://www.gdr-bim.cnrs.fr/?page_id=160|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-29-college-seminar.txt sorting priority 0 ***/
[[https://www.college-de-france.fr/site/college/index.htm|{{:actualites:ressources:logo-college-de-france-blason.png?60 |Collège de France}}]] //29.10.2019//\\ Walter FONTANA (MedSchool Harvard) holds the annual chair of Collège de France on the theme "Life and the Computer: The Challenge of a Science of Organization". The lectures and seminars started since the **10-24**. [[https://www.irif.fr/~jkrivine/|Jean Krivine]] (IRIF) will give a seminar the **11-22**. [[https://www.college-de-france.fr/site/walter-fontana/_agenda.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-23-marie-kerjean-prix-l-oreal-unesco.txt sorting priority 0 ***/
{{:actualites:ressources:perso-marie-kerjean.jpg?60 |Marie Kerjean}} //23.10.2019//\\ Marie Kerjean (former **IRIF PhD student**) is one of the recipients of the **L'Oréal-Unesco award** for women in science. Marie is building a bridge between logic, programming, and physics using functional analysis to model proofs, and types to understand analysis. [[https://www.inria.fr/centre/rennes/actualites/marie-kerjean-distinguee-par-la-fondation-l-oreal-unesco|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-16-medaille-claire-mathieu.txt sorting priority 0 ***/
{{:actualites:ressources:perso-claire-mathieu.jpg?60 }} //16.10.2019//\\ On **December 16th**, a half-day of talks aimed at a non-specialized audience will take place at IRIF in celebration of **Algorithms**, the research domain of [[https://www.irif.fr/users/claire/index|Claire Mathieu]], 2019 recipient of a **CNRS Silver Medal**. The event will conclude with a discussion of new research directions in Algorithms. Free [[https://www.irif.fr/rencontres/irif/algo2019|Registration]] before November 30th. [[https://www.irif.fr/rencontres/irif/algo2019|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-08-fetedelascience-perifel.txt sorting priority 0 ***/
{{:actualites:ressources:perso-sylvain-perifel.jpg?60 |Sylvain Perifel}} //8.10.2019//\\ From ancient history to quantum, learn about cryptography at "Fête de la science" in an entertaining talk by [[https://www.irif.fr/~sperifel/|Sylvain Perifel]] (IRIF) **Friday October 11th, 11am** at Amphitheater 4C, [[https://universite.univ-paris-diderot.fr/structures/halle-aux-farines|Halle aux farines]]. [[https://fetedelascience.univ-paris-diderot.fr/actualites/les-conferences|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-08-fetedelascience2019.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 |IRIF}} //8.10.2019//\\ Researchers of IRIF are participating in the "Fête de la Science"! Meet them at the University of Paris **October 10-11** to better understand the first principles of computing! [[https://fetedelascience.univ-paris-diderot.fr/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-08-distinguished-grohe-mitchell-peytonjones.txt sorting priority 0 ***/
[[https://www.irif.fr/en/seminaires/irif/index|{{:actualites:ressources:logo-distinguished-talk-inverted.svg?60 |IRIF Distinguished Talks Series}}]] //8.10.2019//\\ Talks of the IRIF Distinguished Talks Series for the coming academic year have been scheduled. Save the dates: **January 24, March 20 and June 20**. Speakers will be **Martin Grohe** (RWTH Aachen University), **Joseph Mitchell** (State University of New York at Stony Brook), **Simon Peyton Jones** (Microsoft Research at Cambridge, England). [[https://www.irif.fr/en/seminaires/irif/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-08-soda20-mathieu.txt sorting priority 0 ***/
{{:actualites:ressources:perso-claire-mathieu.jpg?60 |Claire Mathieu}} //8.10.2019//\\ The [[https://www.siam.org/conferences/cm/conference/soda20|SODA 2020]] conference will include a paper by Vincent Cohen-Addad (LIP6), Frederick Mallmann-Trenn (King's College) and [[https://www.irif.fr/~claire/|Claire Mathieu]] (IRIF) about computing with noisy data. The problem: select valuable objects in a setting where each assessment has a probability of error, using redundant assessments. [[https://arxiv.org/abs/1806.08182|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-02-hugo-ferree-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-hugo-feree.jpg?60 |Hugo Férée}} //2.10.2019//\\ IRIF has the great pleasure to welcome a **new associate professor** (Université de Paris): [[https://hugo.feree.fr|Hugo Férée]], an expert in various aspects of complexity theory, with interests in programming languages and formal proofs.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-10-01-geoffroy-couteau-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-geoffroy-couteau.jpg?60 |Geoffroy Couteau}} //1.10.2019//\\ IRIF has the great pleasure to welcome a **new research scientist** (CNRS): **Geoffroy Couteau**, an expert in cryptography, with a focus on secure computation protocols and zero-knowledge proofs.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-25-sam-van-gool-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-sam-van-gool.jpg?60 |Sam Van Gool}} //25.9.2019//\\ IRIF has the great pleasure to welcome a **new associate professor** (Université de Paris): [[http://www.samvangool.net|Sam Van Gool]], an expert in algebraic and topological methods for automata, logic, and model theory.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-25-soda20.txt sorting priority 0 ***/
[[https://www.siam.org/Conferences/CM/Program/Accepted-Papers/soda20-accepted-papers|{{:actualites:ressources:logo-acm-siam.png?60 |SODA20}}]] //25.9.2019//\\ **Three papers** coauthored by IRIF members will be presented at [[https://www.siam.org/Conferences/CM/Conference/soda20|SODA’20]], the main conference in algorithm design. Topics include the study of noisy models, aggregate rankings, and graph diameters. [[https://www.siam.org/Conferences/CM/Program/Accepted-Papers/soda20-accepted-papers|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-24-sylvain-schmitz-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-sylvain-schmitz.jpg?60 |Sylvain Schmitz}} //24.9.2019//\\ IRIF has the great pleasure to welcome a **new professor** (Université de Paris): [[https://www.irif.fr/~schmitz/|Sylvain Schmitz]], an expert in logic and verification, and especially in problems of astronomical computational complexity.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-24-valia_mitsou_arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-valia-mitsou.jpg?60 |Valia Mitsou}} //24.9.2019//\\ IRIF has the great pleasure to welcome a **new associate professor** (Université de Paris): [[https://www.irif.fr/~vmitsou/|Valia Mitsou]], an expert in algorithms and complexity, particularly in structural parameterizations and fine grained complexity.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-23-wgt2020.txt sorting priority 0 ***/
[[https://popl20.sigplan.org/home/wgt-2020|{{:actualites:ressources:logo-acm.png?60 |Workshop on Gradual Typing}}]] //23.9.2019//\\ [[http://www.irif.fr/~gc|Giuseppe Castagna]] (IRIF) and [[https://wphomes.soic.indiana.edu/jsiek/|Jeremy Siek]] (Indiana) organize [[https://popl20.sigplan.org/home/wgt-2020|WGT 2020]], the first //ACM SIGPLAN Workshop on Gradual Typing//, colocated with [[https://popl20.sigplan.org|POPL]]. Submission deadline: Monday, October the 21st. \\ Gradual typing is a technique that allows the programmer to control which parts of a program check their type correctness (i.e., that apples are added to apples) before execution and which parts check it during their execution instead. It is often used to gradually add the before-execution check to dynamic languages, like JavaScript, which perform the check only at run-time, since it is generally better to find errors before the execution of a program rather than during its execution.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-18-fsmp-cours-chaire.txt sorting priority 0 ***/
{{:actualites:ressources:perso-leonid-libkin.jpg?60 }} //18.9.2019//\\ From **September 30th to October 21st**, **Leonid Libkin** (University of Edinburgh) will give a series of **7 courses** related to his [[https://www.sciencesmaths-paris.fr/fr/laureats-chaires-fsmp-188.htm|FSMP Chair]] on the topic of [[https://www.sciencesmaths-paris.fr/en/leonid-libkin-2019-1009.htm|A modern theory of database query languages]] each **Friday 10:30-12:00 at IRIF, room 3052**.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-17-ppdp09-10year-award.txt sorting priority 0 ***/
{{:actualites:ressources:perso-giuseppe-castagna.jpg?60 }} //17.9.2019//\\ [[https://www.irif.fr/~gc/|Giuseppe Castagna]] (IRIF) and his coauthors Mariangiola Dezani, Elena Giachino, and Luca Padovani (Università di Torino) will receive on October the 8th at [[http://ppdp2019.macs.hw.ac.uk|PPDP 2019]] the **Most Influential Paper 10-Year Award** for their paper [[https://dl.acm.org/citation.cfm?id=1599437|Foundation of Session Types]] presented at [[https://sites.google.com/site/ppdpconf/|PPDP 2009]]. \\ Session types can be thought of as "types for protocols", insofar as they describe all the possible sequences of interactions between services, together with the type of the information exchanged in these interactions. Programs can be checked to see if the processes they implement conform to the protocols described by a session type.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-17-irif-rentree.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //17.9.2019//\\ IRIF is having its **back-to-work-day** on **October 1st**. In the morning, there will be a welcome session for new PhD students, postdocs and TA, and in the afternoon a series of talks given by new faculty and CNRS members. [[https://www.irif.fr/rencontres/irif/rentree2019|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-11-focs19-best-paper.txt sorting priority 0 ***/
{{:actualites:ressources:conf-focs.png?60 }} //11.9.2019//\\ A. Balliu and D. Olivetti (former **IRIF PhD students**), J. Hirvonen and M. Rabie (former **IRIF postdocs**), with S. Brandt and J. Suomela broke an old lower bound open question on Maximal Matchings. Their paper will be presented at [[http://focs2019.cs.jhu.edu/awards/|FOCS]] as **Best Paper**. [[https://arxiv.org/abs/1901.02441|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-10-postdoc-call.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //10.9.2019//\\ IRIF is seeking excellent candidates for about **10 postdoctoral positions** in all areas of the Foundations of Computer Science. Deadline for applications: **Nov. 3, 2019**. [[https://www.irif.fr/postes/postdoc|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-06-patrick-dehornoy-deces.txt sorting priority 0 ***/
{{:actualites:ressources:perso-patrick-dehornoy.jpg?60 |Patrick Dehornoy}} //6.9.2019//\\ It is with great sadness that we learnt the passing of our collegue **Patrick Dehornoy** on September the 4th. IRIF had the chance to count this exceptional mathematician amongst its associate members. He will be terribly missed by all his colleagues and it is a great loss for the whole scientific community.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-09-03-leonid-libkin-chaire.txt sorting priority 0 ***/
{{:actualites:ressources:perso-leonid-libkin.jpg?60 |Leonid Libkin}} //3.9.2019//\\ IRIF has the great pleasure to welcome **Leonid Libkin**, professor at University of Edinburgh, who is visiting for three months. His stay is financed by an [[https://www.sciencesmaths-paris.fr/fr/laureats-chaires-fsmp-188.htm|FSMP chair]]. Leonid is an expert in data management and applications of logic in computer science. Meet him in **office 4048**.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-08-26-journees_pps.txt sorting priority 0 ***/
{{:actualites:ressources:pole-pps.svg?60 |Preuves, Programmes et Systèmes}} //26.8.2019//\\ The PPS days will happen in the **Turing amphiteater** the **2nd and 3rd of September**. [[https://www.irif.fr/rencontres/pps2019/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-07-14-plc-workshop.txt sorting priority 0 ***/
{{:actualites:ressources:perso-pierre-louis-curien.jpg?60 }} //14.7.2019//\\ A scientific meeting in honor of [[https://www.irif.fr/~curien/|Pierre-Louis Curien]] will take place at IRIF, in the amphiteater 4C, Halle aux Farines building on the **6th of September**. **Registration is free but mandatory**. [[https://www.irif.fr/plcmeeting|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-07-14-graph-workshop.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //14.7.2019//\\ A workshop on [[http://gccr2019.univ-lyon1.fr|Graph Compression and Compact Representations]] will take place at IRIF on **September 9-10**. Submit your talk proposal before the **25th of August**. [[http://gccr2019.univ-lyon1.fr|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-06-28-irif_enf_of_academic_year.txt sorting priority 0 ***/
[[https://www.irif.fr|{{:actualites:ressources:logo-irif.png?60 |Laboratoire IRIF: Institut de Rechecrche en Informatique Fondamentale}}]] //28.6.2019//\\ IRIF is celebrating the end of the academic year on the //4th of July// at //Amphi Pierre-Gilles de Gênes//, building //Condorcet// with a talk at 4.00 by [[https://perso.limsi.fr/wiki/doku.php/frenoux/accueil|Emmanuelle Frenoux]] about computer science and the environment, and another at 5.00 by [[http://www.irisa.fr/dyliss/anne.siegel|Anne Siegel]] about gender balance. [[https://www.irif.fr/rencontres/irif/finannee2019|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-06-21-summer_school_cimpa.txt sorting priority 0 ***/
{{:actualites:ressources:logo-cimpa.png?60 }} //21.6.2019//\\ A summer school CIMPA entitled "Algorithmic and statistical approaches to machine learning" co-organized by [[https://www.irif.fr/~vlad/|Vlady Ravelomanana]] will take place at the University of Antananarivo from **the 16th to the 25th of July 2019**. [[http://cimpa-madagascar.org/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-06-11-kamil_khadiev_visit.txt sorting priority 0 ***/
[[https://kpfu.ru/Kamil.Hadiev?p_lang=2|{{:actualites:ressources:perso-kamil-khadiev.jpg?60 |Kamil Khadiev}}]] //11.6.2019//\\ [[https://kpfu.ru/Kamil.Hadiev?p_lang=2|Kamil Khadiev]] from Kazan University, an expert in complexity and quantum computing, is visiting IRIF from June 10th to July 9th.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-05-30-cav-papers-2019.txt sorting priority 0 ***/
[[http://i-cav.org/2019/|{{:actualites:ressources:conf-cav-2019.png?60 |Conference CAV'19}}]] //30.5.2019//\\ **Four papers** coauthored by IRIF members will be presented at the prestigious conference [[http://i-cav.org/2019/|CAV'19]] in New York this summer. Topics include verifying weakly-consistent distributed databases, testing cache coherence protocols, and testing concurrent objects. [[https://easychair.org/smart-program/CAV2019/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-05-25-mikael-rabie-icalp19.txt sorting priority 0 ***/
{{:actualites:ressources:perso-mikael-rabie.jpg?60 }} //25.5.2019//\\ [[http://www.lix.polytechnique.fr/~mrabie/|Mikaël Rabie]] (Postdoc at IRIF) will present at [[https://icalp2019.upatras.gr|ICALP'19]] a new problem, about distributed reconfiguration of maximal independent sets, providing an optimal algorithm to produce a reconfiguration schedule in the LOCAL model. This work, receiving **Best Paper award in Track C**, is a joint work with Keren Censor-Hillel from the Technion (Haifa, Israël). [[https://arxiv.org/abs/1810.02106|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-05-10-constantin-enea-iuf.txt sorting priority 0 ***/
{{:actualites:ressources:logo-institut-de-france.png?60 |Institut Universitaire de France}} //10.5.2019//\\ IRIF is proud to announce that [[https://www.irif.fr/~cenea/|Constantin Enea]], associate professor of Université de Paris and researcher at IRIF, was appointed junior member of [[http://www.iufrance.fr|IUF]]. This appointment will allow him to develop a research project concerning rigorous engineering of distributed databases. [[http://www.iufrance.fr/detail-de-lactualite/170.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-05-09-cpge.txt sorting priority 0 ***/
{{:actualites:ressources:logo-cirm.jpg?60 }} //9.5.2019//\\ [[https://www.irif.fr/~claire/|Claire Mathieu]], [[https://www.pouly.fr/|Amaury Pouly]] and [[https://www.irif.fr/~yrg|Yann Régis-Gianas]] from IRIF gave talks at the conference of [[https://conferences.cirm-math.fr/1950.html|French preparatory schools to science and engineering curriculum]] in May 6-10, contributing to the ongoing important changes in Computer Science education in French high-schools and higher-education systems. [[https://www.cirm-math.fr/Schedule/display.php?id_renc=1950|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-05-07-claire-mathieu-france-culture.txt sorting priority 0 ***/
{{:actualites:ressources:logo-franceculture.png?60 }} //7.5.2019//\\ [[https://www.irif.fr/~claire/|Claire Mathieu]] from IRIF explained what algorithms are and what is their history to a national French [[https://www.franceculture.fr/player/export-reecouter?content=6b0025c8-d7c2-44fc-bfef-35d4849eeac1|radio broadcast]] show about Philosophy. [[https://www.franceculture.fr/emissions/les-chemins-de-la-philosophie/algorithmes-14-aux-origines-dune-methode|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-26-icalp19.txt sorting priority 0 ***/
[[http://eatcs.org|{{:actualites:ressources:logo-eatcs.jpg?60 |EATCS}}]] //26.4.2019//\\ **Seven papers** coauthored by IRIF members will be presented at the prestigious conference [[https://icalp2019.upatras.gr/|ICALP'19]] in Patras this summer. Topics include automata, games, graphs, quantum computing, randomized complexity, and semigroups. [[https://icalp2019.upatras.gr/conference.php|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-23-graph_theory_in_paris.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //23.4.2019//\\ The Spring session of [[https://www.irif.fr/gtp/index|Graph Theory in Paris]] will be held on **Friday April 26** at Amphi Turing. Speakers of the event: Penny Haxell from U. Waterloo and Patrice Ossona de Mendez from CNRS.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-23-sergio-rajsbaum-visit.txt sorting priority 0 ***/
{{:actualites:ressources:perso-sergio-rajsbaum.gif?60 }} //23.4.2019//\\ [[https://www.matem.unam.mx/~rajsbaum/|Sergio Rajsbaum]] from Universidad Nacional Autonoma de Mexico, a world-renowned expert in the theory of distributed computing, is visiting IRIF from March 31st to May 2nd. \\ Distributed systems are groups of networked computers, interacting with each other in order to achieve the same goal. In parallel computing, all processors have access to a shared memory to exchange information between processors. In distributed computing, information is exchanged by passing messages between the processors. Cluster of computers and peer-to-peer systems are examples of such architectures. Models of distributed systems are also used in other science, such as in biology, in order to analyze collective behaviors of autonomous entities interacting with each other by message passing.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-19-iordanis-kerenidis-cnrs-journal.txt sorting priority 0 ***/
{{:actualites:ressources:perso-iordanis-kerenidis.jpg?60 }} //19.4.2019//\\ [[https://www.irif.fr/~jkeren/|Iordanis Kerenidis]] (IRIF) explains what we can expect from Quantum Computing in this [[https://lejournal.cnrs.fr/articles/ordinateur-les-promesses-de-laube-quantique|interview of the CNRS journal]].
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-19-lics19.txt sorting priority 0 ***/
{{:actualites:ressources:conf-lics.png?60 |LICS}} //19.4.2019//\\ **Three papers** coauthored by IRIF members will be presented at the prestigious conference [[https://lics.siglog.org/lics19/|LICS'19]] in Vancouver this summer. Topics include sequent calculus, differential logic and probabilistic computation. [[https://lics.siglog.org/lics19/accepted.php|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-19-ater.txt sorting priority 0 ***/
{{:actualites:ressources:logo-paris7.png?60 }} //19.4.2019//\\ [[https://www.univ-paris-diderot.fr/|Université Paris Diderot]] has opened several **teaching assistant positions (ATER)** in Computer Science on the research topics of IRIF. Deadline to apply : **May 6, 2019**. [[https://universite.univ-paris-diderot.fr/recrutements-et-concours/recrutement-des-ater|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-16-visite-ins2i.txt sorting priority 0 ***/
{{:actualites:ressources:logo-cnrs.svg?60 }} //16.4.2019//\\ [[http://www.cnrs.fr/fr/personne/ali-charara|Ali Charara]], director of [[https://ins2i.cnrs.fr|INS2I at CNRS]], visits IRIF on the **morning of April 24th**. The research conducted at IRIF will be presented as well as 6 specific scientific talks. The visit will be followed by a light buffet lunch. [[https://www.irif.fr/rencontres/irif/ins2i2019|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-08-distinguished-hastad.txt sorting priority 0 ***/
{{:actualites:ressources:logo-distinguished-talk-inverted.svg?60 }} //8.4.2019//\\ We are very pleased to host as part of our IRIF Distinguished Talks Series **Johan Håstad** (Royal Institute of Technology, Stockholm) on **April 12, 10:30** for a talk entitled "//Switching lemmas in the 80ies and today//". [[https://www.irif.fr/en/seminaires/irif/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-08-college-workshop.txt sorting priority 0 ***/
{{:actualites:ressources:logo-college-de-france-blason.png?60 }} //8.4.2019//\\ Two IRIF members ([[https://www.irif.fr/~abou/|Ahmed Bouajjani]] and [[https://www.irif.fr/~pierref/|Pierre Fraigniaud]]) will give a talk at the Workshop on [[https://www.college-de-france.fr/site/rachid-guerraoui/symposium-2018-2019.htm|Taking Stock of Distributed Computing]] at [[https://www.college-de-france.fr/|College de France]], **Friday April 12**. [[https://www.college-de-france.fr/media/rachid-guerraoui/UPL3529269562373725948_Rachid_GUERRAOUI___colloque_VF.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-04-05-penny-haxell-visit.txt sorting priority 0 ***/
{{:actualites:ressources:perso-penelope-haxel.jpg?60 |Penny Haxell}} //5.4.2019//\\ [[https://uwaterloo.ca/combinatorics-and-optimization/people-profiles/penny-haxell|Penny Haxell]] from University of Waterloo (Canada), a world wide expert in extremal combinatorics and graph theory, is visiting IRIF March 28th to May 2nd. [[https://uwaterloo.ca/combinatorics-and-optimization/people-profiles/penny-haxell|{{icon>arrow-circle-right}}]] \\ Extremal combinatorics studies how large or how small a collection of finite objects can be, if it has to satisfy certain restrictions. For instance, in an n-element set, what is the largest number of subsets of which none contains any other? The question is answered by Sperner's theorem, which gave rise to much of extremal set theory. Another kind of example: How many people can we invite to a party where among each three people there are two who know each other and two who don't know each other? Ramsey theory shows that at most five persons can attend such a party.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-03-26-workshop-anr-distancia.txt sorting priority 0 ***/
[[https://distancia.lis-lab.fr/index.php?n=Main.HomePage|{{:actualites:ressources:logo-anr-distancia.png?60 |ANR project DISTANCIA}}]] //26.3.2019//\\ The ANR project DISTANCIA about graph metrics is organizing a workshop at IRIF on the **27**, **28** and **29** of **March** in room 366A of Bâtiment Condorcet. [[https://bit.ly/2CFgjfY|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-03-17-idf-30-phd-positions.txt sorting priority 0 ***/
{{:actualites:ressources:logo-idf.svg?60 |Ile de France}} //17.3.2019//\\ The [[https://parisregionphd2.sciencescall.org|Paris Region PhD2 program]] will grant **30 PhD projects** on Digital Sciences and with an industrial partner. IRIF is an eligible hosting lab. [[https://parisregionphd2.sciencescall.org/data/pages/Paris_Region_PhD_2019_Texte_AAP_VF_1.pdf|Call for application]] is open until **May, 15th 2019**. [[https://www.irif.fr/en/postes/these|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-03-15-fsmp-cours-chaire.txt sorting priority 0 ***/
{{:actualites:ressources:perso-uri-zwick.jpg?60 |Uri Zwick}} //15.3.2019//\\ **From March 20th to May 22nd, Uri Zwick** (Univ. of Tel Aviv) will give a series of **7 courses** related to his [[https://www.sciencesmaths-paris.fr/fr/laureats-chaires-fsmp-188.htm|FSMP Chaire of Excellence]] on the topic of [[https://www.sciencesmaths-paris.fr/fr/le-cours-duri-zwick-975.htm|Games on Graphs and Linear Programming Abstractions]] each **Wednesday 2:15pm - 4:15pm at IRIF, room 3052**. [[https://www.sciencesmaths-paris.fr/fr/le-cours-duri-zwick-975.htm|{{icon>arrow-circle-right}}]] \\ Linear programming is a technique for the optimization of a linear function, subject to linear equality and linear inequality constraints. A linear programming algorithm finds a point in the polyhedron of feasible solutions satisfying those constrains, where this function has the smallest (or largest) value. Linear programming is widely used in industries, including transportation, energy, telecommunications, and manufacturing, for diverse types of tasks such as planning, routing, scheduling, assignment, and design.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-03-14-fsmp-21-phd-positions.txt sorting priority 0 ***/
{{:actualites:ressources:logo-fsmp.png?60 }} //14.3.2019//\\ [[https://www.sciencesmaths-paris.fr/|FSMP]] offers **21 PhD student positions** in Maths and TCS under H2020 COFUND project MathInParis. As a member of the FSMP network, IRIF is an eligible hosting lab. [[https://www.sciencesmaths-paris.fr/fr/cofund-mathinparis-842.htm|Call for application]] is open until **April, 1st 2019**. Applicants must be international students, but master students already in France for less than a year are eligible. [[https://www.irif.fr/en/postes/these|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-03-14-p7-4-postes-ouverts.txt sorting priority 0 ***/
{{:actualites:ressources:logo-paris7.png?60 }} //14.3.2019//\\ [[https://www.univ-paris-diderot.fr|Université Paris Diderot]] has opened **four permanent positions** in Computer Science (1 professor and 3 assistant professors). Recruited researchers will join IRIF. [[https://www.irif.fr/en/postes/universite|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-03-05-distinguished-tarjan.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.2019//\\ The [[https://www.college-de-france.fr/|Collège de France]] and IRIF are delighted to host as part of our [[https://www.irif.fr/en/seminaires/irif/index|IRIF Distinguished Talks Series]] **Robert Tarjan** (Princeton) on **March 18, 17:00** for a talk entitled “Concurrent Connected Components” [[https://www.college-de-france.fr/site/xavier-leroy/guestlecturer-2019-03-18-17h00.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-02-19-prix_larecherche_amaury_pouly.txt sorting priority 0 ***/
{{:actualites:ressources:perso-amaury-pouly.jpg?60 |Amaury Pouly}} //19.2.2019//\\ {{https://www.pouly.fr/|Amaury Pouly}} (IRIF) with François Fages, Guillaume Le Guludec and Olivier Bournez were awarded {{https://www.larecherche.fr/site/event/prix-la-recherche-2019|the prize "La Recherche"}}: they have shown that chemical reactions, as the ones taking place in cells, can simulate Turing machines. Chemical reactions are universal computers. [[https://hal.inria.fr/hal-01519828|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-02-15-lemonde_fabian_reiter.txt sorting priority 0 ***/
{{:actualites:ressources:perso-fabian-reiter.jpg?60 |Fabian Reiter}} //15.2.2019//\\ [[https://www.irif.fr/users/reiterf/index|Fabian Reiter]] (former student at IRIF) wrote a short popularisation article in the Blog Binaire of the newspaper Le Monde. This article explains (in French) some aspects of his PhD thesis, recently awarded the Honorable Mention of the Gilles Kahn prize. [[https://t.co/bFA5qH0Ukj|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-02-15-jacm-paper_pierre_fraigniaud_amos_korman_yoav_rodeh.txt sorting priority 0 ***/
{{:actualites:ressources:persos-amos-korman-yoav-rodeh.jpg?60 |Yoav Rodeh (left) and Amos Korman (right)}} //15.2.2019//\\ In collaboration with Yoav Rodeh (Weizmann Institute of Science), {{https://www.irif.fr/users/pierref/index|Pierre Fraigniaud}} and {{https://amoskorman.com/|Amos Korman}} from IRIF published a paper in the Journal of the ACM entitled "Parallel Bayesian Search with no Coordination". [[https://hal.archives-ouvertes.fr/hal-01865469/document|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-02-04-alves-visit.txt sorting priority 0 ***/
{{:actualites:ressources:perso-alves.jpg?60 }} //4.2.2019//\\ IRIF has the great pleasure to welcome **Sandra Alves**, assistant professor at University of Porto and expert in type-theory, rewriting, and fundamental calculi, who is visiting the IRIF until the 8th of February.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-02-01-journee-cartes.txt sorting priority 0 ***/
{{:actualites:ressources:event-2019-02-15-journee-cartes.png?60 }} //1.2.2019//\\ [[https://www.irif.fr/~duchi/|Enrica Duchi]] and [[https://www.irif.fr/~chapuy/|Guillaume Chapuy]] (IRIF) organise **February the 15th** in Amphi Turing, a map day (Journée cartes) dedicated to combinatorial and probabilistic aspects of maps. [[http://cartaplus.math.cnrs.fr/JourneesCartes/15fevrier2019|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-02-01-college-delporte.txt sorting priority 0 ***/
{{:actualites:ressources:logo-college-de-france-blason.png?60 }} //1.2.2019//\\ [[https://www.irif.fr/~cd/|Carole Delporte]] (IRIF) will give a seminar at Collège de France as part of the annual Chair of Rachid Guerraoui (EPFL) on [[https://www.college-de-france.fr/site/claire-mathieu/course-2017-2018.htm|Distributed Algorithms]], **March 1**. [[https://www.college-de-france.fr/site/rachid-guerraoui/seminar-2019-03-01-11h00.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-02-01-uri-zwick-visit.txt sorting priority 0 ***/
{{:actualites:ressources:perso-uri-zwick.jpg?60 |Uri Zwick}} //1.2.2019//\\ IRIF has the great pleasure to welcome **Uri Zwick**, professor at the Blavantik School of Computer Sience (University of Tel-Aviv), who is visiting for four months. His stay is financed by an FSMP chair. Uri is an expert in algorithms, data structures and games. Meet him in office 4048.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-30-fredda-anr-meeting.txt sorting priority 0 ***/
[[https://www.irif.fr/~fredda/index.html|{{:actualites:ressources:logo-fredda.png?60 |ANR project FREDDA (FoRmal mEthods for the Design of Distributed Algorithms)}}]] //30.1.2019//\\ The next meeting of the **ANR project FREDDA** (FoRmal mEthods for the Design of Distributed Algorithms) will happen at IRIF, Monday **4th** and Tuesday **5th February 2019**, room 3052. [[https://www.irif.fr/~fredda/meetings.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-23-umi-filofocs.txt sorting priority 0 ***/
{{:actualites:ressources:logo-filofocs.png?60 }} //23.1.2019//\\ [[http://www.cnrs.fr/en/creation-joint-french-israeli-computer-science-research-unit|FILOFOCS]] (French-Israeli Laboratory on Foundations of Computer Science), the first International Joint Unit in Israel, was just created by CNRS, Univ. Paris Diderot, Tel-Aviv Univ., Hebrew Univ. of Jerusalem and Weizmann Institute. IRIF hosts its "mirror site" in France, and [[https://www.irif.fr/~adiro|Adi Rosén]] from IRIF is deputy director. [[http://www.cnrs.fr/ins2i/spip.php?article3018|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-23-cimpa.txt sorting priority 0 ***/
[[https://www.cimpa.info|{{:actualites:ressources:logo-cimpa.png?60 |CIMPA}}]] //23.1.2019//\\ A CIMPA school on [[http://cimpa2019.tabrizu.ac.ir/|Graphs, Algorithms and Randomness]] is co-organized by [[https://www.irif.fr/~reza/|Reza Naserasr]] from IRIF at Tabriz University, **15-22 June 2019**. Three colleagues from IRIF, [[https://www.irif.fr/~pierref|Pierre Fraigniaud]], [[https://www.irif.fr/~habib|Michel Habib]] and [[https://www.irif.fr/~magniez|Frédéric Magniez]], are among the five lecturers from France. [[http://cimpa2019.tabrizu.ac.ir/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-17-alea-school.txt sorting priority 0 ***/
{{:actualites:ressources:logo-cnrs.svg?60 }} //17.1.2019//\\ [[https://www.irif.fr/~chapuy/|Guillaume Chapuy]] and [[https://www.irif.fr/~duchi/|Enrica Duchi]] from IRIF coorganize with Christina Goldschmidt (Oxford) the [[http://gt-alea.math.cnrs.fr/alea2019/|Journées Aléa 2019]], a CNRS thematic school about discrete random structures, from **03-18 to 03-22** at CIRM. [[http://gt-alea.math.cnrs.fr/alea2019/contact.html|Register]] by **January 23**. [[http://gt-alea.math.cnrs.fr/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-17-coa-workshop.txt sorting priority 0 ***/
{{:actualites:ressources:logo-coa.png?60 }} //17.1.2019//\\ [[https://www.irif.fr/~pierref|Pierre Fraigniaud]] from IRIF organizes the [[https://www.irif.fr/gt-coa/workshop2019|Workshop Complexity and Algorithms (CoA)]], in the framework of [[https://www.gdr-im.fr|GdR IM]], Roscoff, France, **April 1-5, 2019**. The objective of this workshop is to gather the French community on design and analysis of algorithms, of all forms. **Deadlines**: submission by 01/02/2019, registration by 02/03/2019. [[https://www.irif.fr/gt-coa/workshop2019|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-16-papier-popl-castagna-anvin-petrucciani.txt sorting priority 0 ***/
{{:actualites:ressources:logo-acm.png?60 }} //16.1.2019//\\ [[https://www.irif.fr/~gc/|Giuseppe Castagna]], [[https://vlanvin.fr|Victor Lanvin]], [[https://www.irif.fr/~petrucciani/|Tommaso Petrucciani]] from IRIF present this week at [[https://popl19.sigplan.org/|POPL19]] a paper coauthored with Jeremy Siek (Indiana university) about a new formal framework for gradual typing allowing a smoother and more declarative integration of gradual typing in existing programming languages. [[https://www.irif.fr/~gc/papers/popl19.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-10-pole-asv-day.txt sorting priority 0 ***/
[[https://www.irif.fr/poles/asv/index|{{:actualites:ressources:pole-asv.svg?60 |Pole ASV: Automates, Structures, Verification}}]] //10.1.2019//\\ The day of the [[:poles:ASV:|ASV pole]] will take place **Monday January 21**. [[https://www.irif.fr//en/asvday2019|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-09-jeremy-siek-visit.txt sorting priority 0 ***/
[[http://homes.sice.indiana.edu/jsiek/|{{:actualites:ressources:perso-jeremy-siek.jpg?60 |Jeremy Siek}}]] //9.1.2019//\\ IRIF has the great pleasure to welcome [[http://homes.sice.indiana.edu/jsiek/|Jeremy Siek]], professor at Indiana University Bloomingtom, who is visiting IRIF for five months. Jeremy is the creator of gradual typing and a world-renowed expert in typed programming languages. Meet him in office 4034a. \\ Gradual typing is a technique that allows the programmer to control which parts of a program check their type correctness (i.e., that apples are added to apples) before execution and which parts check it during their execution instead. It is often used to gradually add the before-execution check to dynamic languages, like JavaScript, which perform the check only at run-time, since it is generally better to find errors before the execution of a program rather than during its execution.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-08-amaury_pouly_arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-amaury-pouly.jpg?60 |Amaury Pouly}} //8.1.2019//\\ IRIF has the great pleasure to welcome a new researcher (CNRS), [[https://www.pouly.fr/|Amaury Pouly]], an expert in continuous models of computations, and the analysis and verification of continuous/hybrid dynamical systems.
/*** news produced automatically from /var/www/dw/data/pages/actualites/sources/2019-01-01-college-tasson.txt sorting priority 0 ***/
{{:actualites:ressources:logo-college-de-france-blason.png?60 }} //1.1.2019//\\ [[https://www.irif.fr/~tasson|Christine Tasson]] (IRIF) will give a seminar at Collège de France as part of the lectures of Xavier Leroy (Collège de France) on [[https://www.college-de-france.fr/site/xavier-leroy/course-2018-2019.htm|Software Science]], **January 23**. [[https://www.college-de-france.fr/site/xavier-leroy/seminar-2019-01-23-11h30.htm|{{icon>arrow-circle-right}}]]