/*** 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/en/actualites/dest/archives_2017.txt) ***/ /*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-12-19-cifre-alessandro-luongo.txt sorting priority 0 ***/
{{:actualites:ressources:logo-cifre.png?60 |Convention Industrielle de Formation par la Recherche}} //19.12.2017//\\ IRIF and [[https://atos.net/fr/visibilite-et-innovation/atos-quantum|ATOS]] have started the first Industrial PhD Thesis (CIFRE) on quantum algorithms in France. The PhD candidate [[https://www.irif.fr/~aluongo/|Alessandro Luongo]] is co-advised by [[https://www.irif.fr/~jkeren|Iordanis Kerenidis]] and [[https://www.irif.fr/~magniez/|Frédéric Magniez]].
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-11-29-wenjie-fang-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}}]] //29.11.2017//\\ [[https://www.irif.fr/~wfang/|Wenjie Fang]] was awarded the Honorable Mention of the [[http://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/|Gilles Kahn prize]] for his PhD thesis entitled « Aspects énumératifs et bijectifs des cartes combinatoires : généralisation, unification et application » and supervised by [[https://www.irif.fr/~chapuy/|Guillaume Chapuy]] and [[https://www.labri.fr/perso/bousquet/|Mireille Bousquet-Mélou]]. [[https://www.math.tugraz.at/~fang/talk-thesis-fang.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-11-29-amina-doumane-prix-these-sif.txt sorting priority 0 ***/
[[https://www.societe-informatique-de-france.fr/|{{:actualites:ressources:logo-societe-informatique-de-france-small.png?60 |Société Informatique de France}}]] //29.11.2017//\\ [[https://www.irif.fr/~doumane/|Amina Doumane]] was awarded the [[http://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/|Gilles Kahn prize]] for her PhD thesis entitled « On the infinitary proof theory of logics with fixed points » supervised by [[https://www.irif.fr/~saurin/|Alexis Saurin]], [[http://www.lsv.fr/~baelde/|David Baelde]] and [[https://www.irif.fr/~curien/|Pierre-Louis Curien]]. [[https://www.irif.fr/~doumane/these.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-11-27-maurice-nivat-scientific-day.txt sorting priority 0 ***/
{{:actualites:ressources:perso-maurice-nivat.png?60 |Maurice Nivat}} //27.11.2017//\\ [[::rencontres:nivat: | Scientific Day in memory of Maurice Nivat]], professor at Paris Diderot University and a pionneer of theoretical computer science in France and in the world, who passed away on September the 21st, 2017. [[::rencontres:nivat:|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-11-25-pole-asv-rentree.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 |IRIF}} //25.11.2017//\\ **Back-to-work day of the "Automata, Structures, and Verification" pole**, which gathers the research groups [[:equipes:automates:|Automata and applications]] and [[:equipes:verif:|Modelling and verification]] on November 25, 2017. [[:poles:asv:rentree2017|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-11-22-french-israeli-workshop-on-foundations-of-computer-science.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 |IRIF}} //22.11.2017//\\ **6th French-Israeli Workshop on Foundations of Computer Science** on November 22-23, 2017 at Tel-Aviv University, Israel. [[https://www.irif.fr/~adiro/filofocs/filofocs_lab/filofocs_lab.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-11-15-workshops-on-restricted-data-acess-models-and-iqc.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 |IRIF}} //15.11.2017//\\ 2-day workshop on December 7-8: [[https://www.irif.fr/~magniez/rdam/meetings.html|Closing workshop of ANR project on Restricted Data Access Models]] and [[https://www.irif.fr/~magniez/quantum-irif-iqc/meetings.html |1st IRIF-IQC Workshop on Quantum Information Processing]] (CNRS bilateral collaboration).
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-11-06-newcomers-day.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 |IRIF}} //6.11.2017//\\ **IRIF newcomers Day** on November 6, 2017 at Amphi Turing [[https://www.irif.fr/_media/rencontres/irif2017/newcomer17.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-11-01-college-fraigniaud.txt sorting priority 0 ***/
{{:actualites:ressources:logo-college-de-france-blason.png?60 }} //1.11.2017//\\ [[https://www.irif.fr/~pierref/|Pierre Fraigniaud]] (IRIF) will give a seminar 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]], **November 18**. [[https://www.college-de-france.fr/site/claire-mathieu/seminar-2017-11-28-11h00.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-10-10-pole-pps-rentree.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 |IRIF}} //10.10.2017//\\ Back-to-work day of the "Proofs, programs and systems" pole on October 12-13, 2017 at room 3052. [[https://www.irif.fr/rencontres/pps2017/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-10-06-guillaume-lagarde-sylvain-perifel-soda-paper.txt sorting priority 0 ***/
[[https://www.siam.org/meetings/da18/|{{:actualites:ressources:logo-acm-siam.png?60 |ACM-SIAM event}}]] //6.10.2017//\\ [[https://www.irif.fr/~glagarde/|Guillaume Lagarde]] and [[https://www.irif.fr/~sperifel/|Sylvain Perifel]] have solved a 20-year old conjecture related to Lempel-Ziv. This will be presented at the 29th ACM-SIAM Symposium on Discrete Algorithm (**SODA 2018**). [[https://arxiv.org/abs/1707.04312|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2018-11-26-soda-18.txt sorting priority 0 ***/
[[https://www.dcs.warwick.ac.uk/~czumaj/SODA_2018_List_of_accepted_papers.htm|{{:actualites:ressources:logo-acm-siam.png?60 |SODA}}]] //1.10.2017//\\ Two papers coauthored by IRIF members will be presented at SODA’18, the main conference in algorithm design. Topics include the resolution of a 20-year old conjecture related to Lempel-Ziv, and a new approximation algorithm for recognizing Dyck languages. [[https://arxiv.org/abs/1707.06606|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-09-01-college-mathieu.txt sorting priority 0 ***/
{{:actualites:ressources:logo-irif.png?60 }} //1.9.2017//\\ [[https://www.irif.fr/~claire|Claire Mathieu]] (IRIF associate member) holds the Chair in Informatics and Computational Sciences at College de France in association with Inria for the academic year 2017-18. [[https://www.college-de-france.fr/site/claire-mathieu/course-2017-2018.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-09-01-berenice-oger-arrival.txt sorting priority 0 ***/
{{:actualites:ressources:perso-berenice-oger.png?60 |Bérénice Oger}} //1.9.2017//\\ IRIF has the great pleasure to welcome a new assistant professor: Bérénice Delcroix-Oger, an expert in combinatorics and computational algebra. [[https://www.irif.fr/~bdelcroix/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-07-10-anr-mealym-closing-meeting.txt sorting priority 0 ***/
[[https://mealym.sciencesconf.org|{{:actualites:ressources:logo-anr-mealym.png?60 |ANR project MealyM}}]] //10.7.2017//\\ Closing workshop of ANR project MealyM on July 10-13, 2017 at Amphi Turing. [[https://mealym.sciencesconf.org|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-06-15-victor-lanvin-acm-student-research-competition-grand-finals.txt sorting priority 0 ***/
{{:actualites:ressources:perso-victor-lanvin.jpg?60 |Victor Lanvin}} //15.6.2017//\\ [[https://www.irif.fr/~lanvin/|Victor Lanvin]] is awarded the first prize for the [[https://src.acm.org/| ACM Student Research Competition Grand Finals]], undergraduate category. The prize will be presented on June the 24th at the //Turing Award// Cerimony in San Francisco. [[http://www.cnrs.fr/ins2i/spip.php?article2581|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-03-01-erc-project-combitop-starts-guillaume-chapuy.txt sorting priority 0 ***/
{{:actualites:ressources:logo-erc.jpg?60 |European Research Council}} //1.3.2017//\\ The 5-year [[http://cordis.europa.eu/project/rcn/206492_en.html|ERC project CombiTop]] of [[https://www.irif.fr/~chapuy/|Guillaume Chapuy]] has started on March 1st, 2017. The purpose of this project is to use the ubiquitous nature of certain combinatorial topological objects called maps in order to unveil deep connections between several areas of mathematics. [[https://www.univ-paris-diderot.fr/actualites/guillaume-chapuy-las-de-la-combinatoire|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-01-30-amos-korman-article-le-monde.txt sorting priority 0 ***/
{{:actualites:ressources:logo-lemonde.png?60 |Le Monde}} //30.1.2017//\\ [[https://www.irif.fr/~pandit/|Amos Korman]] has been interviewed by [[http://www.lemonde.fr/sciences/article/2017/01/30/les-fourmis-genies-de-l-orientation_5071744_1650684.html|Le Monde]] for his recent results on ants with several co-autors at IRIF. [[https://news.cnrs.fr/articles/crazy-ants-make-the-right-moves|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2017-01-02-popl-2017-organized-by-irif.txt sorting priority 0 ***/
{{:actualites:ressources:conf-popl2017-paris.png?60 |Principle of Programming Languages 2017, Paris}} //2.1.2017//\\ IRIF organizes the 44th ACM Symposium on Principles of Programming Languages (**POPL 2017**), Jussieu, Paris, January 15-21, 2017. [[https://popl17.sigplan.org/|{{icon>arrow-circle-right}}]]