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

/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-12-22-pasqal_quantum_challenge.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-frederic-magniez.jpg?60 }}</image>
//22.12.2023//\\
[[https://www.irif.fr/~magniez/|Frédéric Magniez]],CNRS research director at IRIF and former professor at the [[https://www.college-de-france.fr/fr|Collège de France]], was the technical president of the « The Blaise Pascal [re]Generative Quantum Challenge » jury. It was  organised by [[https://www.pasqal.com/|Pasqal]], in collaboration with Blaise Pascal Advisors, Michelin, GENCI, and Capgemini. In this interview, he explains the objectives of the challenge and the importance of fundamental research in all the solutions found: [[https://www.youtube.com/watch?v=WjWMYgqp9Ks|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-12-22-des_preuves_et_des_programmes_fsmp.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso_hugoherbelin.jpg?60 }}</image>
//22.12.2023//\\
[[http://pauillac.inria.fr/~herbelin/|Hugo Herbelin]] (researcher at Inria and the IRIF) talks about "And what if mathematical proofs were nothing other than programmes" as part of the "Proofs and programmes" conference. He himself coordinated the organisation of the conference at the Institut Henri Poincaré. [[https://www.youtube.com/watch?v=nm9WsvM8638|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-12-12-simon_peyton_jones_rerun_-_dts.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:dts_introreplayspj.png?60 }}</image>
//12.12.2023//\\
The rerun of the talk of [[https://simon.peytonjones.org/|Simon Peyton Jones]], first speaker of the 2023-2024 edition of the [[https://www.irif.fr/seminaires/irif/index|distinguished talks series]] is now available on the IRIF Youtube channel. [[https://www.youtube.com/watch?v=q1-KQ3QDe0U|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-12-11-on_eteint_on_reflechit_on_discute_-_cryptommonaies.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:cyptomonnaies_conf.png?60 }}</image>
//11.12.2023//\\
A series of lectures on cryptocurrencies is being offered by UPCité's Computer Science UFR. On Tuesday 12 December 2023, the subject will be blockchain, to understand how it works and its place in today's economy. [[https://www.irif.fr/~jkrivine/|Jean Krivine]] and [[https://www.ladyss.com/membres/bouguelli-rudy/|Rudy Bouguelli]] will be on hand to talk about the subject. Free admission, amphitheatre 9E at the Halle aux Farines from 4.15pm to 6.15pm! [[https://www.informatique.univ-paris-diderot.fr/ufr/conferences_ufr|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-11-30-guillaume_baudart.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso_guillaume_baudart.jpg?60 }}</image>
//30.11.2023//\\
IRIF has the great pleasure to welcome a new researcher (INRIA ISFP): [[https://www.irif.fr/users/baudart/index|Guillaume Baudart]], an expert in on probabilistic and reactive programming languages (language design, semantics, static analysis, compilation, inference). [[https://guillaume.baudart.eu/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-11-24-hdr_sylvain_perifel.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-sylvain-perifel.jpg?60 }}</image>
//24.11.2023//\\
[[https://www.irif.fr/users/sperifel/index|Sylvain Perifel]] will **defend his habilitation to direct research [HDR]** on Monday **4 December 2022 at 2pm** in the Pierre-Gilles de Gennes Amphitheatre of the Condorcet building. His subject is //L'aléatoire par le prisme des polynômes et de la compression//. [[https://www.irif.fr/users/sperifel/hdr|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-11-23-gabriel_scherer.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso_gabriel_scherer.jpg?60 }}</image>
//23.11.2023//\\
IRIF has the great pleasure to welcome a new researcher (INRIA): [[http://gallium.inria.fr/~scherer/|Gabriel Scherer]], an expert in programming languages, with theoretical aspects of type systems, programming language implementation, general programming language concepts, and even some syntactic aspects. [[http://gallium.inria.fr/~scherer/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-11-21-hceres.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:hceres_logo.png?60 }}</image>
//21.11.2023//\\
Du mardi 28 novembre au jeudi 30 novembre, nous recevrons à l'IRIF le comité d'évaluation de l'[[https://www.hceres.fr/en|HCERES]] dans le cadre de l'évaluation de notre laboratoire. Programme [[https://www.irif.fr/informations/hceres|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-11-16-mathematiques_en_mouvement.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso_hugoherbelin.jpg?60 }}</image>
//16.11.2023//\\
La prochaine édition de **Mathématiques en mouvement**, conférence proposée par la [[https://sciencesmaths-paris.fr/|FSMP]], aura pour thème //Des preuves et des programmes//. Organisée sous la houlette de [[http://pauillac.inria.fr/~herbelin/|Hugo Herbelin]], elle aura lieu le **samedi 2 décembre** 2023 de 14h à 18h. [[https://sciencesmaths-paris.fr/f/actualites-fr/des-preuves-et-des-programmes|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-11-21-soda_2024.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:soda24_logo.png?60 }}</image>
//14.11.2023//\\
We are very proud to announce that two papers by two IRIF researchers have been selected for the SODA conference! Congratulations to [[https://www.irif.fr/users/sellier/index|François Sellier]] and [[https://www.irif.fr/users/rvacus/index|Robin Vacus]]. [[https://www.siam.org/conferences/cm/program/accepted-papers/soda24-accepted-papers|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-11-21-popl_accepted_papers_2024.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:popl_2023.png?60 }}</image>
//7.11.2023//\\
We are very proud to announce that four papers by six IRIF researchers have been selected for the POPL conference! 
Congratulations to [[https://www.irif.fr/~faggian|Claudia Faggian]] and [[Vanoni|Gabriele Vanoni]], [[https://www.irif.fr/~mahsa/|Mahsa Shirmohammadi]], [[https://www.irif.fr/~gc|Giuseppe Castagna]], [[https://www.irif.fr/~mlaurent|Mickaël Laurent]] and [[http://gallium.inria.fr/~scherer/|Gabriel Scherer]]. [[https://popl23.sigplan.org/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-10-30-sarah_winter.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:portrait_sarahwinter2.jpg?60 }}</image>
//30.10.2023//\\
Meet [[https://www.irif.fr/users/winter/index|Sarah Winter]], our new associate professor at IRIF !
//"My goal is to combine traditional synthesis methods with AI methods, to get the best of both worlds."// [[https://www.irif.fr/portraits/sarah_winter_1er_octobre_2023|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-09-27-database_theory_in_paris.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//27.9.2023//\\
Grâce au travail d'[[https://www.irif.fr/~rogova/|Alexandra Rogova]], l'équipe Automates et applications de l'IRIF, en association avec plusieurs équipes externes s'intéressant à la **théorie des bases de données** (au LIGM, l'ENS, Telecom Paris, etc.), relance le site et la newsletter de **« Database Theory in Paris »**, qui centralise les évènements scientifiques de cette thématique en région parisienne. [[https://db-in-paris.gitlab.io/db-theory-in-paris/about/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-09-14-fresque_du_numerique.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-fdn-carre.png?60 }}</image>
//14.9.2023//\\
Après avoir eux-mêmes suivis la **Fresque du Climat**, des membres du laboratoire de l'IRIF formeront, en tant que **facilitateurs**, des élèves de L1 à la Fresque du Numérique vendredi 15 septembre. Cet atelier permet de comprendre en équipe et de manière ludique les **enjeux environnementaux du numérique**. [[https://www.fresquedunumerique.org/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-09-11-papier_mo_foughali.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso_mo_foughali.jpg?60 }}</image>
//11.9.2023//\\
Congratulations to [[https://mo-f.github.io/Mo-F/|Mohammed Foughali]], who has published a paper titled **"Compositional Verification of Embedded Real-Time Systems"**, alongside [[https://scholar.google.fr/citations?hl=en&user=RIsZVfIAAAAJ&view_op=list_works&sortby=pubdate|Pierre-Emmanuel Hladik from Nantes Université/LS2N]] and [[https://scholar.google.com/citations?hl=en&user=cn8jE1IAAAAJ&view_op=list_works&sortby=pubdate|Alexander Zuepke from the Technical University of Munich]] in the [[https://www.sciencedirect.com/journal/journal-of-systems-architecture|Journal of Systems Architecture]]. You can access the article here: [[https://hal.science/hal-04125520v1/document|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-09-11-welcome_day.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//11.9.2023//\\
IRIF is back to school! Today, we are welcoming our 12 new permanent members to our laboratory. As part of this day, they will [[https://www.irif.fr/rencontres/irif/rentree2023|present their research topics]] to us. <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-09-06-erc_guillaume_geoffroy.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-geoffroy-couteau.jpg?60 }}</image>
//6.9.2023//\\
L'IRIF est très fier d'annoncer que [[https://geoffroycouteau.github.io/|Geoffroy Couteau]], chargé de recherche du CNRS, a obtenu un financement pour son projet **ERC Starting Grant** : **"Overcoming Barriers and Efficiency Limitations in Secure Computation"**. 
Pour en savoir plus sur son projet et ses ambitions : [[https://www.irif.fr/portraits/erc_geoffroy_couteau|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-09-05-nomination_amelie_gheerbrant_vd_vies_des_campus_et_vie_etudiante.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:amelie_gheerbrant.jpg?60 }}</image>
//5.9.2023//\\
Toutes nos félicitations à [[https://www.irif.fr/~amelie/|Amélie Gheerbrant]], maîtresse de Conférences, qui vient d'être nommée **Vice-Doyenne (VD) Vies des campus et Vie étudiante** au sein de l'Université Paris Cité ! [[https://u-paris.fr/sciences/lequipe-decanale/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-31-article_blog_binaire-_controle_acces_site_porno.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:blogbinaireporno.png?60 |Article Blog Binaire- Contrôle accès Site Porno}}</image>
//4.9.2023//\\
[[https://geoffroycouteau.github.io/|Geoffroy Couteau]] et [[https://www.irif.fr/~dagand/|Pierre-Evariste Dagand]] ont écrit un texte à quatre mains dans le Blog Binaire du Journal Le Monde. Ils se demandent s'il est possible de **contrôler l'accès aux sites pornographiques** tout en conservant l'anonymat et les données de l'utilisateur pour protéger les enfants. C'est ici que le **"zéro-proof knowledge"** rentre en jeux... [[https://www.lemonde.fr/blog/binaire/2023/05/26/controler-lacces-aux-sites-web-pour-adultes-est-ce-possible/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-07-21-eatcs_fellow.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-claire-mathieu.jpg?60 }}</image>
//21.7.2023//\\
Félicitations à [[https://www.irif.fr/users/claire/index|Claire Mathieu]], nominée au rang de Fellow de l'EATCS ! 
A cette occasion, l'INSI dresse son portrait et reviens sur sa carrière de chercheuse. [[https://www.ins2i.cnrs.fr/fr/cnrsinfo/claire-mathieu-lart-doptimiser-et-dapproximer|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-07-12-anr_2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:csm_anr-blanc-sur-bleu_727e9b01cc.png?60 }}</image>
//12.7.2023//\\
Congratulations to [[https://www.irif.fr/~chapuy/|Guillaume Chapuy]] and [[https://www.samvangool.net/|Sam Van Gool]] who have been selected for the ANR respectively for their subjects "Combinatoire des cartes, méandres et multicourbes, et ses interactions" and "Espaces topologiques de types et de termes". [[https://anr.fr/fileadmin/aap/2023/selection/aapg-2023-selection-vague-2.pdf|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-06-29-journees_annuelles_du_gt_combalg_2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//29.6.2023//\\
Les **journées annuelles du GT CombAlg** auront lieu les **lundi 3 et mardi 4 juillet** à Paris. Elles seront suivies d'une **journée de l'ANR Combiné** le mercredi 5 juillet. Lors de cette dernière, vous pourrez y écouter, entre autres, [[https://www.irif.fr/~chapuy/|Guillaume Chapuy]] sur //la hauteur des chemins des intervalles de Tamari aléatoires uniformes// et [[https://www.irif.fr/~corteel/|Sylvie Corteel]] sur les //sujets Combinatorics of the Delta conjecture at t=-1//. [[https://jagtcombalg.sciencesconf.org/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-06-09-podcast___future_of_types_in_elixir.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:elixir_podcast.jpg?60 }}</image>
//9.6.2023//\\
Guillaume Duboc and Giuseppe Castagna have been invited as speakers in the Elixir Podcast. They dive into the prospect of types in the Elixir programming language. [[https://smartlogic.io/podcast/elixir-wizards/s10-e12-jose-guillaume-giuseppe-types-elixir/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-15-concur_test-of-time_award_2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://hal.science/hal-00784051|{{:actualites:ressources:perso-jean-krivine.jpg?60 }}]]</image>
//15.5.2023//\\
Congratulations to [[https://www.irif.fr/~jkrivine/|Jean Krivine]] (IRIF) and Vincent Danos (ENS and CNRS) who have received the Concur Test-of-Time Award (period 2002-2005) for their article “Reversible Communicating Systems”, published at CONCUR 2004. To read their article : [[https://hal.science/hal-00784051|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-15-concur_test-of-time_award_2022.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://hal.science/hal-00784051|{{:actualites:ressources:perso-jean-krivine.jpg?60 }}]]</image>
//15.5.2023//\\
Congratulations to [[https://www.irif.fr/~jkrivine/|Jean Krivine]] (IRIF) and Vincent Danos (ENS and CNRS) who have received the Concur Test-of-Time Award (period 2002-2005) for their article "Reversible Communicating Systems", published at CONCUR 2004. To read their article : [[https://hal.science/hal-00784051|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-11-francois_metayer_days_.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:francois.png?60 |François Métayer}}</image>
//11.5.2023//\\
À l’occasion du départ à la retraite de **François Métayer**, le **LHC** rendra hommage au spécialiste des polygraphes, de l’homotopie et de la réécriture, animateur d’un groupe de travail mythique sur ces sujets. L’événement aura lieu les ***8 et 9 juin 2023** et sera précédé par les journées LHC [[http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/LHC/francois.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-11-francois_metayer_days.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:francois.png?60 |François Métayer}}</image>
//11.5.2023//\\
À l’occasion du départ à la retraite de François Métayer, le LHC rendra hommage au spécialiste des polygraphes, de l’homotopie et de la réécriture, animateur d’un groupe de travail mythique sur ces sujets. L’événement aura lieu les 8 et 9 juin 2023 et sera précédé par les journées LHC. [[http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/LHC/francois.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-05-irif_graphs_seminar.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 }}</image>
//5.5.2023//\\
The next speaker of the **IRIF Graphs seminar** is **Sebastiano Vigna** (Università degli Studi di Milano). The talk will be given in person on Tuesday 9th May at 15h in room 147 Olympe de Gouges on **Monotonicity on undirected networks.** <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-04-arrivee_assistante_communication.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/users/calvi/index|{{:actualites:ressources:logo-irif.png?60 }}]]</image>
//4.5.2023//\\
Juliette Calvi, la nouvelle **assistante de communication** de l'IRIF est arrivée depuis la semaine dernière. N'hésitez pas à lui faire part de tous vos besoins en communication ou simplement à aller la rencontrer dans son bureau 4004. [[https://www.irif.fr/users/calvi/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-04-claire_mathieu_-_article_la_croix.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:perso-claire-mathieu.jpg?60 |Claire Mathieu}}</image>
//4.5.2023//\\
Claire Mathieu a été citée dans un article du journal "La Croix" : "Intelligence artificielle : "**pourquoi sa vision du monde est-elle si biaisée ?**" [[https://www.la-croix.com/Sciences-et-ethique/Intelligence-artificielle-pourquoi-vision-monde-est-elle-biaisee-2023-05-01-1201265630|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-05-04-j.pps.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/rencontres/pps2023/index|{{:actualites:ressources:potatoes.png?60 |Journées PPS 2023}}]]</image>
//4.5.2023//\\
Le pôle PPS organise ses journées 2023, les 25 et 26 mai prochains, et c'est ouvert à tous. [[https://www.irif.fr/rencontres/pps2023/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-04-05-coreact-kickoff.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://coreact.wiki|{{:actualites:ressources:coreact-banner.png?60 |ANR CoREACT}}]]</image>
//5.4.2023//\\
The [[https://coreact.wiki/|ANR CoREACT]] will have its kick-off on Wednesday 19 April. It will be in room 146 and online, open to everyone. Contact Nicolas Behr for the details. [[https://coreact.wiki/event/coreactkickoff2023|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-04-06-eatcs_fellow.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.eatcs.org/index.php/component/content/article/1-news/2942--eatcs-fellows-class-of-2023-named|{{:actualites:ressources:perso-claire-mathieu.jpg?60 |Claire Mathieu}}]]</image>
//3.4.2023//\\
We are proud to announce that [[https://www.irif.fr/users/claire/index|Claire Mathieu]] was named as recipient of an **EATCS fellowship** for her fundamental contributions to solving theoretical and applied problems in approximation algorithms, online algorithms, and auction theory. [[https://www.eatcs.org/index.php/component/content/article/1-news/2942--eatcs-fellows-class-of-2023-named|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-03-24-epit-2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://epit.irif.fr/|{{:actualites:ressources:epit_2023.png?60 |École de Printemps d’Informatique Théorique 2023}}]]</image>
//24.3.2023//\\
The 50th edition of [[https://epit.irif.fr/ |EPIT (École de Printemps d’Informatique Théorique)]] will have as theme //The Kaleidoscope of Complexity Theory// and will take place on **June 12-16, 2023** at the Vieille Perrotine CAES/CNRS holiday center on the **Oléron Island**, in France. [[https://epit2023.sciencesconf.org/resource/page/id/3|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-03-10-journees-nationales-gdr-im-2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://jnim2023.sciencesconf.org|{{:actualites:ressources:journees_nationales_du_gdr_im.png?60 |Journées Nationales du GDR IM 2023}}]]</image>
//10.3.2023//\\
Les prochaines [[https://jnim2023.sciencesconf.org|Journées Nationales du GDR IM (JNIM 2023)]] auront lieu à l'Université Paris Cité du **4 avril au 7 avril** et sont organisées par l'IRIF. [[https://jnim2023.sciencesconf.org|Programme et inscription ici]]. [[https://jnim2023.sciencesconf.org|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-03-07-ami-mediation-scientifique.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://ami2023-ms.sciencescall.org/resource/page/id/2|{{:actualites:ressources:ami_mediation_scientifique.png?60 |Appel à manifestation d'intérêt 2023 - Médiation scientifique}}]]</image>
//7.3.2023//\\
Pour la troisième année consécutive, la **Faculté des Sciences d’Université Paris Cité** lance un [[https://ami2023-ms.sciencescall.org/resource/page/id/2|appel à manifestation d’intérêt]] pour accompagner et soutenir ses membres dans leurs initiatives ayant vocation à rendre accessible un sujet de recherche scientifique à un public non spécialiste. **Date limite 20 mars 2023 minuit.** [[https://ami2023-ms.sciencescall.org/resource/page/id/2|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-03-07-jacm-articles-2022.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://dl.acm.org/doi/10.1145/3550483|{{:actualites:ressources:jacm-00135-2020-f01.jpg?60 |JACM Articles from 2022}}]]</image>
//7.3.2023//\\
The paper [[https://dl.acm.org/doi/10.1145/3550483|“Decentralized Asynchronous Crash-resilient Runtime Verification”]] authored by Borzoo Bonakdarpour (MSU), **Pierre Fraigniaud (IRIF)**, Sergio Rajsbaum (UNAM), David Rosenblueth (UNAM), and Corentin Travers (LIS) has been selected in the “sample of [eight] exciting [..] articles on a diverse range of topics that were published in 2022” in the **Journal of the ACM (JACM)**. [[https://dl.acm.org/doi/10.1145/3550483|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-03-06-portrait-these-abhishek-de.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/portraits/abhishek-de|{{:actualites:ressources:photo-abhishek-de.png?60 |Interview PhD thesis Abhishek De}}]]</image>
//6.3.2023//\\
**Abhishek De**, former PhD student at IRIF explains his thesis [[https://www.irif.fr/_media/users/ade/main.pdf|"Linear logic with the least and greatest fixed points. Truth semantics, complexity and a parallel syntax]] in this [[https://www.irif.fr/portraits/abhishek-de|written interview]]. [[https://www.irif.fr/portraits/abhishek-de|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-03-06-portrait-these-farzad-jafarrahmani.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/portraits/farzad-jafarrahmani|{{:actualites:ressources:photo-farzad-jafarrahmani.jpg?60 |Interview PhD thesis Farzad Jafarrahmani}}]]</image>
//6.3.2023//\\
**Farzad Jafarrahmani**, former PhD student at IRIF explains his thesis [[https://sites.google.com/site/farzadjafarrahmani/home/phd-defence?authuser=0|Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective]] in this [[https://www.irif.fr/portraits/farzad-jafarrahmani|written interview]]. [[https://www.irif.fr/portraits/farzad-jafarrahmani|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-03-06-conference-video-perifel-fdls-2022.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://youtu.be/IslzpbKfCnM|{{:actualites:ressources:pxl_20221014_121220864.jpg?60 |Conférence vidéo “Manuel de Cryptanalyse à l’usage de la NSA”}}]]</image>
//6.3.2023//\\
**“Manuel de Cryptanalyse à l’usage de la NSA”** est une [[https://youtu.be/IslzpbKfCnM|conférence ludique]], présentée par **Sylvain Perifel – Maître de conférences (Université Paris Cité/IRIF)** à l’occasion de l’[[https://www.irif.fr/mediation/fdls|édition 2022 de la Fête de la Science]]. Elle retrace et met en pratique les différentes avancées historiques de cette science, du **code de César à RSA** en passant par les **substitutions mono-alphabétiques** et par le **chiffre de Vigenère**. [[https://youtu.be/IslzpbKfCnM|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-02-27-engineer-position.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://emploi.cnrs.fr/Offres/CDD/UMR7030-VERCRI-001/Default.aspx|{{:actualites:ressources:63b7363.jpg?60 |Shared engineer position in formal methods}}]]</image>
//27.2.2023//\\
**Shared engineer position in formal methods**, between **IRIF**, [[https://lipn.univ-paris13.fr/|LIPN]] and [[https://lmf.cnrs.fr/|LMF]]. Deadline to apply: **17/03/2023**. [[https://emploi.cnrs.fr/Offres/CDD/UMR7030-VERCRI-001/Default.aspx|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-02-27-stoc-2023-accepted-paper.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[http://acm-stoc.org/stoc2023/accepted.html|{{:actualites:ressources:stoc-23.jpg?60 |Accepted paper STOC 2023}}]]</image>
//27.2.2023//\\
One paper authored by IRIF member will be presented at [[http://acm-stoc.org/stoc2023/accepted.html|STOC 2023]], **June 20-23, 2023** in Orlando, Florida. [[http://acm-stoc.org/stoc2023/accepted.html|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-02-14-jfs-2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/egalite-fh/jfs23|{{:actualites:ressources:jfs_2023.png?60 |International Day of Women and Girls in Science 2023}}]]</image>
//14.2.2023//\\
On February 11, 2023 we celebrated the **International Day of Women and Girls in Science**. To highlight this special date, **3 interviews from our PhD students**: [[https://www.irif.fr/egalite-fh/portraits-mouna-safir|Mouna Safir]], [[https://www.irif.fr/egalite-fh/portraits-lucie-guillou|Lucie Guillou]] and [[https://www.irif.fr/egalite-fh/portraits-shamisa-nematollahi|Shamisa Nematollahi]]. [[https://www.irif.fr/egalite-fh/jfs23|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-02-13-recrutement-assist-com.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://emploi.cnrs.fr/Offres/CDD/UMR8243-MAXLES-006/Default.aspx|{{:actualites:ressources:img_5546.jpg?60 |Recrutement Assistant(e) de communication}}]]</image>
//13.2.2023//\\
L’IRIF recherche un(e) [[https://emploi.cnrs.fr/Offres/CDD/UMR8243-MAXLES-006/Default.aspx|assistant(e) de communication]] pour un contrat CDD de 24 mois. 
**Date limite pour candidater : 28/02/2023**. Date prévue d’embauche : 01/03/2023. [[https://emploi.cnrs.fr/Offres/CDD/UMR8243-MAXLES-006/Default.aspx|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-02-10-qubobs-best-poster-award-2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/en/users/qubobs/index|{{:actualites:ressources:qubobs-best-poster-award_2023.jpeg?60 |QIP 2023 Best poster award for QuBobs project}}]]</image>
//10.2.2023//\\
Congratulations to **Sophie Laplante (IRIF)** and the [[https://www.irif.fr/en/users/qubobs/index|QuBobs project team]]. Their poster presented at [[https://indico.cern.ch/event/1175020/|QIP 2023]] received the **best poster award**. [[https://www.irif.fr/en/users/qubobs/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-02-10-chatgpt-sqool-tv.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.sqooltv.com/videos/lecole-du-futur-06-02-2023-chatgpt-lintelligence-artificielle-qui-interroge/|{{:actualites:ressources:chatgpt_sqool_tv.png?60 |ChatGPT on SQOOL TV - Claire Mathieu}}]]</image>
//10.2.2023//\\
**Claire Mathieu**, CNRS Senior Research Scientist and algorithm specialist, was interviewed [[https://www.sqooltv.com/videos/lecole-du-futur-06-02-2023-chatgpt-lintelligence-artificielle-qui-interroge/|on SQOOL TV about ChatGPT]]. How this AI works, what is at stake and what are its advantages, Claire Mathieu discussed the **basics of ChatGPT**. [[https://www.sqooltv.com/videos/lecole-du-futur-06-02-2023-chatgpt-lintelligence-artificielle-qui-interroge/|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-02-10-portrait-these-victor-lanvin.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/portraits/victor-lanvin|{{:actualites:ressources:photo_gpl2022laureats_victorlanvin.jpg?60 |Portrait de thésard - Victor Lanvin}}]]</image>
//10.2.2023//\\
**Victor Lanvin**, lauréat d’un **prix de thèse Génie de la Programmation et du Logiciel 2022** et ancien doctorant à l’IRIF présente sa thèse  [[https://www.theses.fr/2021UNIP7159|A Semantic Foundation for Gradual Set-Theoretic Types]] dans [[https://www.irif.fr/portraits/victor-lanvin|cette interview écrite]]. [[https://www.irif.fr/portraits/victor-lanvin|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-02-10-loreal-unesco-young-talents-award-2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.forwomeninscience.com/challenge/show/60|{{:actualites:ressources:loreal-unesco-young-talents-award-2023.png?60 |L’Oréal-UNESCO Young Talents award 2023}}]]</image>
//10.2.2023//\\
The deadline to apply to the prestigious [[https://www.forwomeninscience.com/challenge/show/60|L’Oréal-UNESCO Young Talents award 2023]] is **February 27, 2023.** [[https://www.forwomeninscience.com/challenge/show/60|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-01-27-postdoc-anr-vesyam.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/postes/postdoc|{{:actualites:ressources:63B9140.jpg?60 |Postdoc position ANR-VeSyAM}}]]</image>
//27.1.2023//\\
A **full-time research associates position** is available to work on the ​**VeSyAm research project**. The position will start in **July 2023**. Deadline to apply: **12 noon on 15 Feb 2023**. [[https://www.irif.fr/postes/postdoc|Further information in the job description]]. [[https://www.irif.fr/postes/postdoc|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-01-25-emission-arret-sur-images.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.arretsurimages.net/emissions/arret-sur-images/ia-demandez-un-portrait-de-femme-vous-aurez-un-decollete-plongeant|{{:actualites:ressources:arretusrimages.png?60 |Emission Arrêt sur Images}}]]</image>
//25.1.2023//\\
**Claire Mathieu**, membre de l’IRIF et **spécialiste des algorithmes**, est intervenue à l’[[https://www.arretsurimages.net/emissions/arret-sur-images/ia-demandez-un-portrait-de-femme-vous-aurez-un-decollete-plongeant|émission Arrêt sur Images autour du ChatGPT]]. Comment cette IA construit-elle ses textes ? Pourquoi parvient-elle à couvrir à peu près n’importe quel sujet ? [[https://www.arretsurimages.net/emissions/arret-sur-images/ia-demandez-un-portrait-de-femme-vous-aurez-un-decollete-plongeant|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-01-16-article-decoupage-electoral.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.cairn.info/revue-francaise-de-science-politique-2022-3-page-333.htm?contenu=article|{{:actualites:ressources:rfsp_723.jpg?60 |Découpage électoral des circonscriptions législatives en France : Déséquilibres démographiques et contraintes territoriales}}]]</image>
//16.1.2023//\\
**Claire Mathieu** and 8 other authors co-authored the article [[https://www.cairn.info/revue-francaise-de-science-politique-2022-3-page-333.htm?contenu=article|"Découpage électoral des circonscriptions législatives en France : Déséquilibres démographiques et contraintes territoriales"]] about a **new perspective for understanding electoral maps**, using **computational social science** to study the criteria which shape how electoral districts are drawn up in France. [[https://www.cairn.info/revue-francaise-de-science-politique-2022-3-page-333.htm?contenu=article|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-01-13-internship-ls2n-irif.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/_media/intranet/lettre-irif/2023-01-13/internship_ros2_en.pdf|{{:actualites:ressources:63B9304.jpg?60 |Internship proposal at LS2N and IRIF}}]]</image>
//13.1.2023//\\
**Internship proposal** for Masters student in computer science at LS2N and IRIF in [[https://www.irif.fr/_media/postes/internship_ros2_en.pdf|Real-time analysis and verification of ROS2 robotic applications]]. To apply, please refer to the [[https://www.irif.fr/_media/postes/internship_ros2_en.pdf|internship description]]. [[https://www.irif.fr/_media/intranet/lettre-irif/2023-01-13/internship_ros2_en.pdf|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2023-01-11-lafi-2023.txt
 sorting priority 0
***/
<div>
<image shape="thumbnail">[[https://popl23.sigplan.org/home/lafi-2023|{{:actualites:ressources:lafi2023.png?60 |Workshop LAFI'23}}]]</image>
//11.1.2023//\\
[[https://popl23.sigplan.org/home/lafi-2023|LAFI'23]], a workshop affiliated to [[https://popl23.sigplan.org/|POPL’23]] about **Languages for Inference**, will be held on **January 15, 2023**, as a bi-located event in Boston and at Université Paris Cité. The Paris antenna will take place in salle Leduc, at the first floor of Saints-Pères building, 45 rue des Saints-Pères, 75006 Paris, from 3pm to 9:30pm Paris time. The The talks of V. Blanchi, G. Caylak, M. Pagani (IRIF), F. Zaiser will happen physically in Paris. [[https://framadate.org/KhPZuYi6WJQPc3wr|Registration is mandatory]]. [[https://framadate.org/KhPZuYi6WJQPc3wr|{{icon>arrow-circle-right}}]]
<div clear/>
</div>