/***
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_2018.txt)
***/

/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-12-21-qip-frederic-magniez.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/~magniez/|{{:actualites:ressources:perso-frederic-magniez.jpg?60 |Frédéric Magniez}}]]</image>
//21.12.2018//\\
[[https://www.irif.fr/~magniez/|Frederic Magniez]] (IRIF) will present at [[http://jila.colorado.edu/qip2019/|QIP 2019]] a quantum distributed algorithm to compute the diameter of a quantum distributed congested network. This is the first quantum distributed algorithm that overcomes classical algorithms for this task. [[https://arxiv.org/abs/1804.02917|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-12-19-fabian-reiter-sif18.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:reiter.jpg?60 |Fabian Reiter}}</image>
//19.12.2018//\\
[[https://www.irif.fr/users/reiterf/index|Fabian Reiter]] now at LSV was awarded the Honorable Mention of the **Gilles Kahn prize** for his PhD [[https://www.irif.fr/_media/users/reiterf/thesis.pdf|Distributed Automata and Logic]] supervised by [[https://www.irif.fr/~carton/|Olivier Carton]] at IRIF. [[https://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-12-13-constantin-enea-popl19.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-constantin-enea.jpg?60 |Constantin Enea}}</image>
//13.12.2018//\\
[[https://www.irif.fr/~cenea/|Constantin Enea]] (IRIF) will present at [[https://popl19.sigplan.org/|POPL 2019]] a methodology for specifying software modules whose operations satisfy multiple consistency levels. This work has revealed previously unknown documentation errors and bugs in Java concurrent objects. [[https://www.irif.fr/~cenea/papers/popl2019.pdf|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-12-09-ahmed-humboldt.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/~abou/|{{http://archives.liafa.univ-paris-diderot.fr/web9/actus/photos/Ahmed_Bouajjani.jpg?60 |Ahmed Bouajjani}}]]</image>
//9.12.2018//\\
The [[http://www.humboldt-foundation.de/|Alexander von Humboldt Foundation]] has honored [[https://www.irif.fr/~abou/|Ahmed Bouajjani]] (IRIF) with the prestigious **Carl Friedrich von Siemens Research Award**, in recognition of his research contributions. [[http://www.humboldt-foundation.de/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-12-03-santha-itcs19.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-miklos-santha.jpg?60 |Miklos Santha and Troy Lee}}</image>
//3.12.2018//\\
Maybe you are an eager bitcoin miner? Maybe you are a fan of quantum computing too, and you wonder what will change in the mining competition when done by quantum computers? Find some answers in a paper coauthored by [[https://www.irif.fr/~santha/|Miklos Santha]] (IRIF) to be presented at [[http://itcs-conf.org|ITCS’19]]. [[https://arxiv.org/abs/1809.03671|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-12-01-college-sozeau.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-college-de-france-blason.png?60 }}</image>
//1.12.2018//\\
[[https://www.irif.fr/~sozeau|Matthieu Sozeau]] (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]], **December 12**. [[https://www.college-de-france.fr/site/xavier-leroy/seminar-2018-12-12-11h30.htm|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-12-01-college-fauconnier.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-college-de-france-blason.png?60 }}</image>
//1.12.2018//\\
[[https://www.irif.fr/~hf/|Hugues Fauconnier]] (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]], **December 21**. [[https://www.college-de-france.fr/site/rachid-guerraoui/seminar-2018-12-21-11h00.htm|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-29-vmcai_2019.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//29.11.2018//\\
[[https://www.irif.fr/~cenea/|Constantin Enea]] from IRIF organizes with Ruzica Piskac (Yale University), the //20th International Conference on Verification, Model Checking, and Abstract Interpretation// (**VMCAI 2019**). The conference is preceded by a winter school on formal methods. [[https://popl19.sigplan.org/track/VMCAI-2019|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-21-itcs19.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://itcs-conf.org/itcs19/|{{http://itcs-conf.org/images/itcs_logo.png?60 |ITCS19}}]]</image>
//21.11.2018//\\
Two papers coauthored by IRIF members will be presented at [[http://itcs-conf.org/itcs19/|ITCS’19]], a prestigious conference to promote research that carries a strong and innovative conceptual message in TCS. Topics include communication complexity and quantum dueling algorithms. [[http://itcs-conf.org/itcs19/itcs19-accepted.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-20-qip19.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://jila.colorado.edu/qip2019/|{{https://cacm.acm.org/system/assets/0000/2184/012010_CACMpg85_Recent_Progress.large.jpg?60 |QIP19}}]]</image>
//20.11.2018//\\
Two papers coauthored by IRIF members will be presented at [[http://jila.colorado.edu/qip2019/|QIP’19]], the main conference for theoretical quantum information research. Topics include efficient quantum algorithms for both algebraic and distributed problems. [[http://jila.colorado.edu/qip2019/program.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-20-soda19.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.siam.org/Conferences/CM/Main/soda19|{{:actualites:ressources:logo-acm-siam.png?60 |SODA19}}]]</image>
//20.11.2018//\\
One paper coauthored by [[https://www.irif.fr/~feuilloley/|Laurent Feuilloley]] while he was PhD student at IRIF will be presented at [[https://www.siam.org/Conferences/CM/P/AP/soda19-accepted-papers|SODA’19]], the main conference in algorithm design. The paper provides lower bounds for the fundamental problem of text indexing with mismatches and differences using the Strong Exponential Time Hypothesis. [[https://pages.lip6.fr/Laurent.Feuilloley/publications/LB-text-indexing.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-19-mahsa-shirmahammad-arrival.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://pageperso.lif.univ-mrs.fr/~mahsa.shirmohammadi/|{{: actualites:ressources:irifpic_mahsashirmohammadi.jpeg?60 |Mahsa Shirmohammad}}]]</image>
//19.11.2018//\\
IRIF has the great pleasure to welcome **Mahsa  Shirmohammadi**, researcher scientist (CNRS) from LIS, who is visiting  IRIF for six months and who is an expert in the analysis and verification of timed, counter and probabilistic systems. [[http://pageperso.lif.univ-mrs.fr/~mahsa.shirmohammadi/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-17-popl19.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://popl19.sigplan.org/|{{:actualites:ressources:popl19.png?60 |popl19}}]]</image>
//17.11.2018//\\
Four papers coauthored by IRIF members will be presented at [[https://popl19.sigplan.org/|POPL’19]], the main conference on programming languages and programming systems. The papers' topics are game semantics, proof theory, gradual typing, and consistency for concurrent computations. [[https://popl19.sigplan.org/track/POPL-2019-Research-Papers|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l7" size="xs" icon="fa fa-book">Games, gradual typing, proofs, consistency</button>
<collapse id="l7" collapsed="true"><well>
**Games** are mathematical objects used for modeling situations in which several participants/players interact, and each of them aims at fulfilling a personal goal. Real games such as chess or go are cases in which there are two players which are opponents. Games occur in computer science for modeling the logical duality between conjunction and disjunctions, or for defining particular families of complexity classes. Games appear in verification for describing how a system has to react to the environment (the opponent) in order to perform what it has been designed for.\\ **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.\\ **Proof theory** is the branch of mathematical logic that studies proofs as mathematical objects. In particular, proof are syntactic constructions built from axioms and inference rules. Relevant to computer science are the studies of computational and complexity aspects of proofs.\\ **Memory consistency models** characterize the effect of concurrent invocations to a library implementing a shared state, e.g., a queue or a key-value map. Strong consistency means that the results of concurrently-executed invocations match the results of some serial execution of those same invocations. Since strong consistency carries a significant penalty on performance, modern implementations provide weaker guarantees known as weak consistency models, e.g., eventual or causal consistency.

</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-12-quantum-flagship-qia.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://quantum-internet.team/|{{http://quantum-internet.team/wp-content/uploads/2018/11/QIA_logo_web_199x1000.png?60 |QIA}}]]</image>
//12.11.2018//\\
**IRIF** and [[http://www.pcqc.fr|PCQC]] are partners in the EU Flagship project [[http://quantum-internet.team/|Quantum Internet Alliance]] (QIA) and in charge of delivering the QIA's blueprint for the future of quantum communications.
The EU selected nineteen research projects, and ten of them are based on French teams. [[http://www.cnrs.fr/en/first-projects-selected-european-initiative-quantum-technologies|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-10-vip.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//10.11.2018//\\
The first meeting of the French-Chinese research project **Verification Interaction Proof** will take place in Paris at IRIF on **November 19-24**. Registration is free but mandatory. [[https://www.irif.fr/en/vip2018|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-10-distinguished-helihy.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/seminaires/irif/index|{{:actualites:ressources:logo-distinguished-talk-inverted.svg?60 |Distinguished Talk}}]]</image>
//10.11.2018//\\
We are delighted to host as part of our IRIF Distinguished Talks Series **Maurice Helihy** (Brown University) 
on **Nov. 16, 10:30** for a talk entitled "Atomic Cross-Chain Swaps”. [[https://www.irif.fr/seminaires/irif/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-10-gdri_ll.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-cnrs.svg?60 |GDRI}}</image>
//10.11.2018//\\
The last plenary meeting of [[http://linear-logic.org/|GDRI Logique Linéaire]] takes place at IRIF, **December 3-5**. 
The program consists of talks given by members of the GDRI. [[https://www.irif.fr/en/gdri-ll-2018|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-09-graph_theory_in_paris.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/gtp/index|{{:actualites:ressources:logo-irif.png?60 |Graph Theory in Paris}}]]</image>
//9.11.2018//\\
The first session of a series of seminars **Graph Theory in Paris** will be hosted by IRIF. There will be two seminars by Monique Laurent and Lex Schrijver on **November 23, at 2pm**, in Amphi Turing of Sophie Germain building. [[https://www.irif.fr/gtp/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-05-epit-2019-bdd.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-cirm.jpg?60 }}</image>
//5.11.2018//\\
[[https://www.irif.fr/~amelie/|Amélie Gheerbrand]] and [[https://www.irif.fr/~cristina/|Cristina Sirangelo]] from IRIF co-organize with L. Libkin, L. Segoufin, and P. Senellart, the //2019 Spring School on Theoretical Computer Science// (**EPIT**) on //Databases, Logic and Automata//, to happen the **7-12 April 2019** in Marseille. Preregistration before **13 January 2019**. [[https://conferences.cirm-math.fr/1934.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-11-05-pole-pps-rentree.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//5.11.2018//\\
The [[::rencontres:pps2018:]] will take place on //Thursday 8 and Friday 9 November//, room 3052, building Sophie Germain. <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-12-claire-mathieu-arrival.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-claire-mathieu.jpg?60 |Claire Mathieu}}</image>
//12.10.2018//\\
IRIF has the great pleasure to welcome a new research scientist (CNRS): **Claire Mathieu**, an expert in algorithms, particularly the design of approximation schemes for NP-hard combinatorial. <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-12-adrien-guatto-arrival.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-adrien-guatto.jpg?60 |Adrien Guatto}}</image>
//12.10.2018//\\
IRIF has the great pleasure to welcome a new assistant professor (Paris Diderot): **Adrien Guatto**, 
an expert in synchronous languages, typed functional programming, and categorical semantics. <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-12-pierluigi-crescenzi-arrival.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-pierlugi-crescenzi.jpg?60 |Pierluigi Crescenzi}}</image>
//12.10.2018//\\
IRIF has the great pleasure to welcome a new professor (Paris Diderot): **Pierluigi Crescenzi**, an expert in graph algorithms, particularly in the analysis of real-world complex networks. <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-10-daniela-petrisan-arrival.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-daniela-petrisan.jpg?60 |Daniela Petrisan}}</image>
//10.10.2018//\\
IRIF has the great pleasure to welcome a new assistant professor (Paris Diderot): **Daniela Petrisan**, an expert in categories, co-algebra and automata. <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-09-paper-selected-sozeau-icfp2018.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://conf.researchr.org/home/icfp-2018|{{:actualites:ressources:conf-icfp2018.png?60 |ICFP: International Conference On Functional Programming}}]]</image>
//9.10.2018//\\
The paper //"Equivalences for Free : Univalent Parametricity for Effective Transport"// of [[https://www.irif.fr/~sozeau/|Matthieu Sozeau]] (IRIF), with his coauthors Nicolas Tabareau and Eric Tanter, has been selected as a distinguished paper of the [[https://icfp18.sigplan.org/event/icfp-2018-papers-equivalences-for-free-univalent-parametricity-for-effective-transport|ICFP conference]]. [[https://hal.inria.fr/hal-01559073|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-08-crecogi-elica-gdrill-plenary-meeting.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://crecogi.cs.unibo.it/parismeeting.shtml|{{:actualites:ressources:logo-irif.png?60 |CRECOGI+ELICA+GDRILL Plenary Meeting}}]]</image>
//8.10.2018//\\
On **October 8-11** IRIF organizes a joint meeting of 3 projects which are closely related: [[http://www.linear-logic.org/en/|GDRI-LL]], [[http://crecogi.cs.unibo.it/|CRECOGI]], and [[https://lipn.univ-paris13.fr/~mazza/Elica/|ELICA]]. Everybody is welcome to attend. [[http://crecogi.cs.unibo.it/parismeeting.shtml|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-08-maths-en-ville.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://www.mathsenville.com/|{{:actualites:ressources:logo-maths-en-ville.png?60 |Maths en ville}}]]</image>
//8.10.2018//\\
[[https://www.irif.fr/~jkrivine/homepage/Home.html|Jean Krivine]] (researcher at IRIF) will lead a public debate about Artificial Intelligence at the "Festival Maths en Ville" of Saint-Denis. It will take place on the 11/10/2018 at the theater "L'écran", starting at 19.30. [[http://www.mathsenville.com/programme/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-07-irif-rentree.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//7.10.2018//\\
IRIF is having its **back-to-work-day** on **October 15th**. In the morning, there will be a PhD student session, and in the afternoon a series of talks given by new faculty and CNRS members. [[https://www.irif.fr/rencontres/irif/rentree2018|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-07-salomaa-prize-jean-eric-pin.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-jean-eric-pin.jpg?60 |Jean-Éric Pin}}</image>
//7.10.2018//\\
[[https://www.irif.fr/~jep/|Jean-Eric Pin]], CNRS senior researcher at IRIF, is awarded the [[http://math.utu.fi/salomaaprize/|Arto Salomaa prize]] for his outstanding contribution to the field of Automata Theory. [[http://math.utu.fi/salomaaprize/prize-winner-2018-jean-eric-pin/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-05-post-doc-call.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 |IRIF}}</image>
//5.10.2018//\\
IRIF is seeking excellent candidates for about **10 postdoctoral positions** in all areas of the Foundations of Computer Science. [[https://www.irif.fr/en/postes/postdoc|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-10-04-software-heritage-cacm.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-software-heritage.png?60 |Software Heritage}}</image>
//4.10.2018//\\
In an article of October of [[https://cacm.acm.org|Communications of the ACM]], Jean-François Abramatic, Roberto Di Cosmo (IRIF) and Stefano Zacchiroli (IRIF) explain the mission of the Software Heritage project. [[https://bit.ly/2RaYtqG|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-09-15-wendy-workshop-emergent-algorithm.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-wendy.png?60 |WENDY: Workshop on emergent algorithms}}</image>
//15.9.2018//\\
IRIF co-organizes the [[https://wendy.paris|Workshop on Emergent Algorithms and Network Dynamics]] (Wendy) that will take place at Institut Henri-Poincaré in Paris on **October 10-11, 2018**. 
Registration is free but mandatory. [[https://wendy.paris|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-09-14-coa-days.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-coa.png?60 |COmplexité et Algorithmes}}</image>
//14.9.2018//\\
The **October 2**, IRIF organizes the next Annual workshop of the French Working Group on Complexity and Algorithms (CoA). This year, the workshop will consist of a series of introductory and survey talks about various hot topics in algorithms, including Blockchains, Machine Learning, Sum-of-Square, etc. [[https://www.irif.fr/gt-coa/journees2018|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-09-11-pole-asd-rentree.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//11.9.2018//\\
[[:poles:asd:rentree2018|Back-to-work day of the "Algorithms and discrete structures" pole]], which gathers the research groups [[:equipes:algocomp:|Algorithms and complexity]], [[:equipes:combi:|Combinatorics]], [[:equipes:compsys:|Complex Systems, Networks, and Distributed Computing]] and [[:equipes:graphes:|Theory and algorithmics of graphs]]
on September 11, 2018, room 3059, 9h30-16h15. [[:poles:asd:rentree2018|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-09-07-quantera-workshop-joint-waterloo.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-quantera.png?60 |QUANTERA}}</image>
//7.9.2018//\\
The [[http://quantalgo.ulb.be|EU QuantAlgo]] project workshop will be held in Paris at IRIF **September 25-28, 2018**. This is a joint workshop with the [[https://www.irif.fr/~magniez/quantum-irif-iqc/|IRIF-IQC Cooperation]] project between CNRS and U. Waterloo. 
QuantAlgo project aims to combine research on the fundamentals of quantum algorithms with the development of new applications. [[http://quantalgo.ulb.be/workshop/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-09-04-workshop-duall-duality-and-quantifyers.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-duall.png?60 |The DUALL project of the ERC}}</image>
//4.9.2018//\\
IRIF organizes the workshop [[https://math.unice.fr/~reggio/workshop110918/index.html|Quantifiers and duality]] that will take place at Amphi Turing (building Sophie Germain, University Paris Diderot) on the **2018/09/11**. Registration is free but mandatory. [[https://bit.ly/2NggGUK|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-08-09-filofocs-french-israeli-workshop.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-filofocs.png?60 |FILOFOCS: Frech-Israeli-workshop on foundations of Computer Science}}</image>
//9.8.2018//\\
IRIF organizes the [[https://www.irif.fr/~adiro/filofocs/filofocs2018/index.html|7th FILOFOCS]] (French-Israeli Laboratory on Foundations of Computer Science) 
workshop which will be held at the institut Henri Poincaré (IHP), on **3-5 October, 2018**. 
A preliminary list of speakers in now available and
registration (mandatory, but free) is now open. [[https://www.irif.fr/~adiro/filofocs/filofocs2018/index.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-08-01-michel-habib-retirement.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-michel-habib.jpg?60 }}</image>
//1.8.2018//\\
At the occasion of the retirement of [[https://www.irif.fr/~habib/|Michel Habib]] and in celebration of his 
achievements, IRIF organizes a two-day conference "40 années 
d'algorithmique de graphes", **11-12 Oct**, Amphi Turing (Sophie Germain, Univ. Paris Diderot). Free mandatory [[https://gaa.sciencesconf.org/registration/index|registration]]. [[https://gaa.sciencesconf.org|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-07-29-ludovic-patey-prix-thiesse-de-rosemont-demassieux.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-ludovic-patey.jpg?60 |Ludovic Patey}}</image>
//29.7.2018//\\
[[https://ludovicpatey.com|Ludovic Patey]] was awarded the [[https://recherche.univ-paris-diderot.fr/actualites/sept-docteurs-recompenses|Prix Thiessé de Rosemont / Demassieux]] for his PhD thesis « [[https://ludovicpatey.com/media/research/phd-thesis.pdf|Les mathématiques à rebours de théorèmes de type Ramsey]] », supervised by [[http://www.lirmm.fr/~bienvenu|Laurent Bienvenu]] and [[http://pauillac.inria.fr/~herbelin|Hugo Herbelin]]. <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-07-29-focs.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://ieee-focs.org|{{:actualites:ressources:conf-focs.png?60 |FOCS}}]]</image>
//29.7.2018//\\
IRIF organizes the [[https://www.irif.fr/~focs2018/|59th IEEE Symposium on Foundations of Computer Science]] (FOCS 2018) on **October 7-9, 2018**. 
FOCS is a leading annual conference in Theoretical Computer Science, 
and has served in the last 60 years as a venue for announcing the major scientific advances in the field. The list of [[https://www.irif.fr/~focs2018/accepted/|accepted papers]] is now available, 
and the [[https://www.irif.fr/~focs2018/registration/|registration]] is now open (**deadline for early rate: September 9, 2018**). [[https://www.irif.fr/~focs2018/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-07-10-sl-comp.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:conf-floc2018.png?60 |FLOC18}}</image>
//10.7.2018//\\
[[https://www.irif.fr/~sighirea/|Mihaela Sighireanu]] (IRIF) is organizing the second edition of SL-COMP, a competition of solvers for separation logic. The final results will be presented at ADSL 2018, a workshop of FLOC2018, which will take place in Oxford on the 13.07.18. [[https://bit.ly/2J3Otu9|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l8" size="xs" icon="fa fa-book">separation logic</button>
<collapse id="l8" collapsed="true"><well>
**Separation logic** is a language for describing properties and reasoning about programs that use mutable data structures (i.e. memory cells and pointers). Separation logic has a special support for local reasoning, which is the ability to use and compose properties that involve a subset of the data configuration only: it //separates// the relevant portion of the data structure from the irrelevant one. Local reasoning gives more compact proofs and specifications for imperative programs than with prior formalisms. Furthermore, it helps with the scalability of proofs done in automatic and semi-automatic verification and program analysis tools.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-07-06-avocs.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:conf-avocs18.png?60 |Avocs'18}}</image>
//6.7.2018//\\
[[https://www.irif.fr/~sighirea/|Mihaela Sighireanu]] (IRIF) is co-chair of the 18th International Workshop on Automated Verification of Critical Systems ([[http://avocs18.irisa.fr/|AVOCS]]) which will take place in Oxford from 18.07.18 to 19.07.18 as part of FLOC2018. [[https://bit.ly/2IXg7Jl|{{icon>arrow-circle-right}}]] [[https://bit.ly/2IXg7Jl|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-06-29-lics-paper-crubille.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{https://lics.siglog.org/lics18/images/lics-ico.png?60 |LICS}}</image>
//29.6.2018//\\
[[http://research.crubille.lautre.net/|Raphaëlle Crubillé]] (PhD student IRIF) will present at 
[[https://lics.siglog.org/lics18/index.php|LICS 2018]] an analytic account of the discrete probabilities fragment of a denotational model for higher-order programming with general probabilities, hopefully a first step towards proving that this model is fully abstract. [[https://arxiv.org/abs/1805.00512|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l9" size="xs" icon="fa fa-book">fully abstract</button>
<collapse id="l9" collapsed="true"><well>
The quest for a fully abstract model for the contextual equivalence of PCF, a paradigmatic functional language, has been influential in the area of programming languages semantics. A model is fully abstract if it is both sound and complete.
A denotational model is complete for a given notion of equivalence between programs  if equivalent programs have the same denotation, some mathematical object they are mapped to;
it is sound if programs having the same denotation are equivalent.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-06-27-cijm.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-cijm.png?60 |CIJM}}</image>
//27.6.2018//\\
Berenice Delcroix-Oger (IRIF) participated to the annual festival **Salon Culture & Jeux Mathématiques 2018**. On the following [[https://diderot-tv.univ-paris-diderot.fr/videos/les-maths-plus-faciles-par-le-jeu|video]] (1:50), she presents a funny game  where mathematics help you perform magic tricks! [[http://www.cijm.org/salon|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-06-15-doumane-ackerman-prize.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-amina-doumane.png?60 |Amina Doumane}}</image>
//15.6.2018//\\
Amina Doumane (former PhD student at IRIF, now at LIP) was awarded the **Ackermann prize of EACSL** for her PhD thesis entitled [[https://www.irif.fr/~doumane/these.pdf|On the infinitary proof theory of logics with fixed points]]. [[http://eacsl.kahle.ch/award.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-06-06-distinguished-papadimitrou.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-distinguished-talk-inverted.svg?60 |IRIF Distinguished Talks}}</image>
//6.6.2018//\\
We are delighted to host as part of our IRIF Distinguished Talks Series 
 **Christos Papadimitriou** (Columbia University) on **July 13, 10:30** for a talk entitled //"A computer scientist thinks about the Brain"//. [[https://www.irif.fr/seminaires/irif/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-06-06-types2018.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-types.jpeg?60 |TYPES}}</image>
//6.6.2018//\\
[[https://www.irif.fr/~kesner/|Delia Kesner]] (IRIF) and [[https://www.irif.fr/~sozeau/|Matthieu Sozeau]] (IRIF) will both give 
invited talks entitled //"Multi Types for Higher-Order languages"// 
and //"The Predicative, Polymorphic Calculus of Cumulative Inductive Constructions and its implementation"//
at [[https://types2018.projj.eu|TYPES 2018,]] held in Braga (Portugal), June 18-21. [[https://types2018.projj.eu/invited-talks/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-06-06-softwareheritage-unesco.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{https://www.softwareheritage.org/wp-content/uploads/2015/08/swh-logo.png?60 |Softare heritage}}</image>
//6.6.2018//\\
Today [[http://www.dicosmo.org | Roberto Di Cosmo]] (professor at IRIF) with a ceremony at UNESCO opened to the public the archives of **Softwareheritage.org**, a worldwide initiative to create a universal library of computer programme source codes since the dawn of the digital age. [[https://archive.softwareheritage.org|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-06-01-claire-mathieu-colloquium-approximation-algorithms.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.college-de-france.fr/site/college/index.htm|{{:actualites:ressources:logo-college-de-france-blason.png?60 |Collège de France}}]]</image>
//1.6.2018//\\
[[https://www.irif.fr/~claire|Claire Mathieu]] (IRIF associate member) organizes a 1-day colloquium  on [[https://www.college-de-france.fr/site/en-claire-mathieu/symposium-2017-2018.htm|Approximation algorithms and networks]] at Collège de France on **__June 7__**. This is part of the Chair in Informatics and Computational Sciences at College de France in association with INRIA. [[https://www.college-de-france.fr/media/claire-mathieu/UPL4334763547656001017_Claire_Mathieu___Colloque___V2.pdf|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l10" size="xs" icon="fa fa-book">approximation algorithm</button>
<collapse id="l10" collapsed="true"><well>
The approximation algorithms are algorithms that produce a solution that approximates the best possible solution of an optimization problem. While finding the optimal solution of practical problems is often infeasible, an approximation algorithm usually produces its solution in an efficient way and provides formal guarantees about the quality of the approximation. An example of such a problem is the so-called "traveling salesman problem" which consists in finding among all possible itineraries the shortest route that allows a salesman to visit a given set of cities and come back home.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-06-01-college-rosen.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-college-de-france-blason.png?60 }}</image>
//1.6.2018//\\
[[https://www.irif.fr/~adiro/|Adi Rosén]] (IRIF) will give a talk during a 1-day colloquium at Collège de France as part of the annual Chair of Claire Mathieu (IRIF associate member) on [[https://www.college-de-france.fr/site/claire-mathieu/course-2017-2018.htm|Algorithms]], **June 7**. [[https://www.college-de-france.fr/site/claire-mathieu/symposium-2018-06-07-10h00.htm|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-05-31-lics-paper-paul-andre-mellies.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://lics.siglog.org/lics18/index.php|{{:actualites:ressources:conf-lics.png?60 |Logic in Computer Science}}]]</image>
//31.5.2018//\\
[[https://www.irif.fr/~mellies/|Paul-André Melliès]] (IRIF) will present at [[https://lics.siglog.org/lics18/index.php|LICS 2018]] 
his work on ribbon tensorial logic, a primary logic designed to reveal the secret topology of reasoning. 
This is the first time that logical proofs are faithfully translated into topological 
tangles using functorial knot theory. [[https://www.irif.fr/~mellies/papers/lics2018-ribbon-tensorial-logic.pdf|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l11" size="xs" icon="fa fa-book">knot theory</button>
<collapse id="l11" collapsed="true"><well>
Knot theory studies mathematical knots. These are like the usual shoelaces and rope knots but with the difference that the ends of the string are joined together so that it cannot be undone. Of particular interest is the study of when two knots are equivalent, that is when one can be transformed into the other without cutting the string or passing the string through itself. The theory has applications in physics, biology, chemistry, and computer science. For instance,  the security of some quantum money relies on the assumption that given two different looking but equivalent knots, it is difficult to explicitly find a transformation that takes one to the other.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-05-30-tous-femmes-du-numerique.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://t.co/RGCH8wGuuF|{{:actualites:ressources:image-enter-key.jpeg?60 |Tous femmes du numérique !}}]]</image>
//30.5.2018//\\
**« Tous femmes de numérique ! »**  Après leur rencontre avec **4 informaticiennes de l’IRIF**, 14 lycéennes du Lycée Jules Ferry ont expliqué à leurs camarades l’exposition permanente du Palais de la découverte sur l’informatique et les sciences du numérique le 29/05. [[https://t.co/RGCH8wGuuF|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-05-25-lics-paper-marie-kerjean.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://lics.siglog.org/lics18/index.php|{{:actualites:ressources:conf-lics.png?60 |Logic in Computer Science}}]]</image>
//25.5.2018//\\
[[https://www.irif.fr/~ kerjean/|Marie Kerjean]] (PhD student IRIF) will present at LICS 2018
a logical account for linear partial differential equations. 
With this work, she unveils a bridge between mathematical physics and proof theory, 
paving the way for exciting and mutually beneficial transfers of techniques. [[https://www.irif.fr/~kerjean/EDP18.pdf|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l12" size="xs" icon="fa fa-book">sequent</button>
<collapse id="l12" collapsed="true"><well>
A sequent represents a theorem by a sequence of hypotheses and the sequence of possible theses they imply. This formalism underlines a symmetry hypotheses/theses ruled by negation and is used in sequent calculus to formalise proofs and to study their properties.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-05-21-lics-paper-pierre-vial.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://lics.siglog.org/lics18/index.php|{{:actualites:ressources:conf-lics.png?60 |Logic in Computer Science}}]]</image>
//21.5.2018//\\
[[https://www.irif.fr/~pvial/|Pierre Vial]] (IRIF) will present at 
LiCS 2018  an excerpt of his 
[[https://www.irif.fr/~pvial/defense.htm|PhD work]] at IRIF 
proving that every lambda-term has an infinite linear representation in 
the infinitary relational model. This work pioneers a technique that 
allows giving a semantic even to unproductive programs. \\
<button type="link" collapse="l13" size="xs" icon="fa fa-book">unproductive</button>
<collapse id="l13" collapsed="true"><well>
A part of a program is unproductive if it performs an infinite number of computing steps without any interaction with the rest of the program or external devices. Unproductive code is basically useless, and may even be unsafe, and detecting parts of code that are unproductive is important to improve software quality.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-05-11-workshop-biological-algorithms.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:image-ants-wheel.jpg?60 |Ants}}</image>
//11.5.2018//\\
[[https://www.irif.fr/~pandit/|Amos Korman]] (IRIF) Amos Korman is co-chairing, and organizing the 6th Workshop on Biological Distributed Algorithms, to be held in London in **July, the 23rd**. [[http://www.snl.salk.edu/~navlakha/BDA2018/|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l14" size="xs" icon="fa fa-book">biological algorithm</button>
<collapse id="l14" collapsed="true"><well>
Biological algorithm is a term used to describe the biological processes from an algorithmic, or computer scientific, perspective. It concerns questions such as what are the algorithmic challenges faced by the biological organism, and what are the algorithmic principals used in order to overcome these challenges. For example, when a group of ants finds a large piece of food and needs to decide its navigation rout back to the nest, what are the benefits and pitfalls of noise in their communication?
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-05-04-miklos-santha-debat.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-institut-de-france.png?60 |Institue de France}}</image>
//4.5.2018//\\
[[https://www.irif.fr/~santha/|Miklos Santha]] (IRIF) participates to the conference-debate 
//Calcul, communication, simulation et métrologie quantiques : des principes aux réalisations concrètes//
organized by **Académie des sciences** at the Institut de France on ** May 15**. [[http://www.academie-sciences.fr/fr/Colloques-conferences-et-debats/calcul-communication-simulation-et-metrologie-quantiques.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-04-27-delia-kesner-iuf.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-institut-universitaire-de-france.png?60 |Institut Universitaire de France}}</image>
//27.4.2018//\\
IRIF is proud to announce that [[https://www.irif.fr/~kesner/|Delia Kesner]], 
professor of University Paris Diderot and researcher at IRIF, was appointed senior member of [[http://www.iufrance.fr|IUF]]. [[http://www.iufrance.fr/detail-de-lactualite/123.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-04-23-lics-paper-6.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://lics.siglog.org/lics18/index.php|{{:actualites:ressources:conf-lics.png?60 |Logic in Computer Science}}]]</image>
//23.4.2018//\\
Six papers coauthored by IRIF members will be presented at the prestigious conference [[https://lics.siglog.org/lics18/index.php|LICS'18]] in 
Oxford this summer. Topics range from  λ-calculus, to Separation Logic... [[https://lics.siglog.org/lics18/accepted.php|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-04-06-victor-lanvin-google-phd-frellowship.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-research-at-google.png?60 |Research at Google}}</image>
//6.4.2018//\\
[[https://vlanvin.fr|Victor Lanvin]] (PhD student of [[http://www.irif.fr/~gc|Giuseppe Castagna]], IRIF) is awarded the [[https://research.googleblog.com/2018/04/announcing-2018-google-phd-fellows-for.html|Google PhD fellowship]]! Through the [[https://www.sciencesmaths-paris.fr|FSMP]], Google will give a significant support to Victor's research work on gradual typing. [[https://recherche.univ-paris-diderot.fr/actualites/victor-lanvin-laureat-dun-google-phd-fellowship|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l15" size="xs" icon="fa fa-book">gradual typing</button>
<collapse id="l15" collapsed="true"><well>
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.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-04-03-numeration-2018.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://numeration2018.sciencesconf.org/|{{:actualites:ressources:image-hokkaido-fractal.png?60 |Numeration 2018}}]]</image>
//3.4.2018//\\
The conference [[https://numeration2018.sciencesconf.org|Numeration 2018]] will be held on **May 22-25** at the University Paris Diderot, and  is organized by [[https://www.irif.fr/~berthe/|Valérie Berthé]], [[https://www.irif.fr/~cf/|Christiane Frougny]] and [[https://www.irif.fr/~steiner/|Wolfgang Steiner]] from IRIF. [[https://numeration2018.sciencesconf.org/resource/page/id/2|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-03-21-kappa-presented-at-ismb2018.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-kappa.png?60 |The Kappa platform for rule-based modeling}}</image>
//21.3.2018//\\
"The Kappa platform for rule-based modeling", a collaboration between [[https://www.irif.fr/~jkrivine/|Jean Krivine]] (IRIF) and researchers from Harvard University, 
ENS and Santa Cruz University will be presented at ISMB2018. [[https://www.iscb.org/ismb2018|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-03-21-anr-project-descartes-meeting.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-funded-by-anr.png?60 |Agence Nationale pour le Recherche}}</image>
//21.3.2018//\\
The next meeting of the [[http://dept-info.labri.fr/~gavoille/ANR_DESCARTES/index.html|ANR project DESCARTES]], aiming at defining a modular approach for distributed computing, will take place at IRIF on **March 28, 2018**. Scientific talks are public. [[http://dept-info.labri.fr/~gavoille/ANR_DESCARTES/meeting_paris_mar2018.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-03-21-anr-project-delta-meeting.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://delta.labri.fr/|{{:actualites:ressources:logo-anr-delta.jpg?60 |ANR Delta}}]]</image>
//21.3.2018//\\
The next meeting of the [[http://delta.labri.fr|ANR project DELTA]], conducting research about the new challenges in Logic, 
Automata and Transducers, will take place at University Paris Diderot **from 2018/03/26 to 2018/03/28**. 
Scientific talks are public. [[https://www.irif.fr/anr/delta/index|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l16" size="xs" icon="fa fa-book">automaton</button>
<collapse id="l16" collapsed="true"><well>
An automaton is a construct made of states designed to determine if a sequence of inputs should be accepted or rejected. It starts from initial state and when it receives a new input it moves to another state according to the way it was programmed. If at the end of all inputs the automaton is in a state designated as final, then the sequence of inputs is accepted, otherwise it is rejected.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-03-08-monika-hanzinger-distinguished-talk.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-distinguished-talk-inverted.svg?60 |IRIF Distinguished Talk}}</image>
//8.3.2018//\\
In the scope of the [[https://www.irif.fr/en/seminaires/irif/index|IRIF Distinguished Talks Series]]
**Monika Henzinger** (University of Vienna) will give on **April 13** a talk on
//"The state of the art in dynamic graph algorithms"//. \\
<button type="link" collapse="l17" size="xs" icon="fa fa-book">algorithm</button>
<collapse id="l17" collapsed="true"><well>
Algorithm: an algorithm is the formal description of a procedure that is used to solve a class of problems. The description consists in a sequence (of finite length) of operations that are interpreted unambiguously by who/what is executing the algorithm. Every algorithm can be directly executed or simulated by any Turing-complete system.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-03-02-stoc-presentation-kosowski.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-acm.gif?60 |STOC}}</image>
//2.3.2018//\\
[[https://www.irif.fr/~kosowski/|Adrian Kosowski]] (IRIF), together with Bartek Dudek (University of Wroclaw), 
will present at [[http://acm-stoc.org/stoc2018/|STOC 2018]] a new protocol for spreading information 
in a population. This is the first time that methods of oscillatory dynamics
are used to solve a basic task of information dissemination. [[https://arxiv.org/abs/1705.09798|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l18" size="xs" icon="fa fa-book">information dissemination</button>
<collapse id="l18" collapsed="true"><well>
Information dissemination is the process by which a piece of information is propagated in a distributed system through direct communications from node to node. Rumor spreading between humans or broadcasting in a network are two typical examples. Information propagation is a basic building block of many distributed algorithms and its analysis is often critical in understanding their complexity.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-02-27-fsmp-20-phd-positions.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.sciencesmaths-paris.fr/|{{:actualites:ressources:logo-fsmp.png?60 |Fondation Sciences Mathématiques de Paris}}]]</image>
//27.2.2018//\\
[[https://www.sciencesmaths-paris.fr/|FSMP]] offers **20 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. 
Call for application is open until **April, 1st 2018**. Applicants must be international students, but master students already in France for less than a year are eligible. [[https://www.sciencesmaths-paris.fr/fr/cofund-mathinparis-842.htm|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-02-27-constantin-enea-organise-2pit2018.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//27.2.2018//\\
[[https://www.irif.fr/~cenea/|Constantin Enea]] (IRIF) is an organizer of the 2018 edition of the 
[[https://epit.irif.fr/|EPIT]] **research school**, on the subject of [[http://projects.lsv.fr/epit18/|software verification]], to he held in Aussois on **May 7-11 2018**. [[https://epit.irif.fr/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-02-07-movep2018.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 |MOVEP}}</image>
//7.2.2018//\\
Peter Habermehl (IRIF) and Benedikt Bollig
(LSV, ENS Paris-Saclay) organize the **research school** 
[[https://www.benedikt-bollig.org/movep-2018|MOVEP]] (//Modelling and Verification of Parallel Processes//), on **July 16-20** in Cachan. [[https://www.benedikt-bollig.org/movep-2018|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-02-05-p7-3-postes-ouverts.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-paris7.png?60 |Université Paris 7 - Denis Diderot}}</image>
//5.2.2018//\\
[[https://www.univ-paris-diderot.fr|Université Paris Diderot]] has opened **three permanent positions** in 
Computer Science 
(1 professor on Graph and applications, 1 assistant professor on Software Science, 
1 assistant professor on Data Science). 
Recruited researchers will join IRIF. [[https://www.irif.fr/en/positions/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-02-04-laurent-viennot-au-palais-de-la-decouverte.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://www.palais-decouverte.fr/|{{:actualites:ressources:logo-palais-de-la-decouverte.png?60 |Palais de la Découverte}}]]</image>
//4.2.2018//\\
[[https://who.rocq.inria.fr/Laurent.Viennot/|Laurent Viennot]] (IRIF, Inria) is Scientific Curator of the exhibition Informatique et sciences du numérique, at **Palais de la découverte**, starting **March 13, 2018**. [[http://www.palais-decouverte.fr/fr/au-programme/expositions-permanentes/informatique-et-sciences-du-numerique/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-02-02-amina-doumane-prix-la-recherche.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-amina-doumane.png?60 |Amina Doumane}}</image>
//2.2.2018//\\
[[https://www.irif.fr/~doumane/|Amina Doumane]], now at [[http://www.ens-lyon.fr/LIP/|LIP]], was awarded the **"La Recherche" prize** in the Computer Science category for her paper 
entitled [[http://ieeexplore.ieee.org/document/8005075/|Constructive Completeness for the linear-time mu-calculus]], 
a work accomplished during her PhD at IRIF and that appeared in the proceedings of [[http://lics.siglog.org/lics17/|LICS’17]]. [[http://www.larecherche.fr/prix-la-recherche-événement/prix-la-recherche-2017-découvrez-le-palmarès|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-02-01-on-the-fly-quantum-money-transaction-implemented.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-nature-partner-journals.gif?60 |Nature}}</image>
//1.2.2018//\\
The first **on-the-fly quantum money transaction** was implemented by researchers in Paris, 
including [[https://www.irif.fr/~jkeren|Iordanis Kerenidis]]. ​Quantum ​money is provably unforgeable​ due to the no-cloning property of quantum information.​ [[https://t.co/tciiwFr3Mw|{{icon>arrow-circle-right}}]]
\\
<button type="link" collapse="l19" size="xs" icon="fa fa-book">quantum information</button>
<collapse id="l19" collapsed="true"><well>
Quantum Information is the information stored in a quantum system. A quantum system is composed of one or many qubits: the fundamental unit of quantum information. A qubit is a 2-dimensional vector. The basis encodes two classical values of a bit. Quantum information, i.e. Von Neuman entropy, is the analogous of Shannon entropy for classical information, and it is often used to measure physical properties of a quantum system, like the entanglement.
</well></collapse>
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-01-27-lia-infinis-presented-cnrs-rio-newsletter.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-lia-infinis.png?60 |Lia INFINIS}}</image>
//27.1.2018//\\
The **international French and Argentina CNRS laboratory** called [[http://infinis.org/|INFINIS]] 
lead by [[https://www.irif.fr/~kesner/|Delia Kesner]] (IRIF) 
and Sergio Yovine (CONICET) is 
[[http://www.cnrsrio.org/wp-content/uploads/2018/01/Newsletter-2-version-r%C3%A9duite.pdf|presented in the CNRS Rio newsletter]]. [[http://www.cnrsrio.org/wp-content/uploads/2018/01/Newsletter-2-version-r%C3%A9duite.pdf|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-01-18-scientific-day-for-maurice-nivat.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-maurice-nivat.png?60 |Maurice Nivat}}</image>
//18.1.2018//\\
IRIF organizes on **February, 6th** a [[::rencontres:nivat: | Scientific Day in memory of Maurice Nivat]], 
professor at Paris Diderot University and a pionneer of theoretical computer science. Please register. [[::rencontres:nivat:|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-01-11-anr-fredda-kickoff-2018.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-funded-by-anr.png?60 |Agence Nationale pour le Recherche}}</image>
//11.1.2018//\\
January the 10th 2018, this is the [[:anr:FREDDA:kickoff2018|kick-off meeting]] of the ANR project [[:anr:FREDDA:index|FREDDA]] (FoRmal mEthods for the Design of Distributed Algorithms). [[:anr:FREDDA:index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2018-01-05-baczowski-itcs-information-dissemination.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://projects.csail.mit.edu/itcs/|{{:actualites:ressources:logo-itcs.png?60 |Innovations in Theoretical Computer Science}}]]</image>
//5.1.2018//\\
[[https://sites.google.com/view/lboczko/home|Lucas Boczkowski]] and [[https://amoskorman.com/|Amos Korman]] 
from IRIF, with their co-authors, will present at 
ITCS 2018
a non-conditional lower bound on **information dissemination in stochastic populations**. 
The paper is the first ever to combine an algorithmic lower bound with a biology experiment in collective behavior. [[https://arxiv.org/pdf/1712.08507|{{icon>arrow-circle-right}}]]
<div clear/>
</div>