🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

#FDS2024. Une visite #CNRSinsolite unique en son genre en binôme parent/bébé 👶🍼. Les visiteurs ont été très surpris de découvrir les capacités incroyables de leur bébé en terme de langage ! Intéressés pour participer ? Consulter le site du Labo des Minots. (CNRS 🌍/CNRS Biologie)

L'informatique a-t-elle un avenir ? 🤔 José Halloy (LIED) et Anne-Laure Ligozat (LISN) débattront cette question lors de la 3e conf. “On éteint, on réfléchit, on discute”, organisée par François Laroussinie. 📅 10/12/2024 ⏲️ 16h15 - 18h30 💸 Gratuit 🔗 informatique.univ-paris-diderot.fr/ufr/conference…

🏆New papers of Irif members have been accepted to conferences: three at #SODA2025 and one at #FOCS2024. Congratulations to Michel Habib, David Saulpic and Laurent Viennot.👏 🌍 Soda 2025: siam.org/conferences-ev… 🦊FOCS 2024: focs.computer.org/2024/accepted-…

🚨Get ready for our next Distinguished Talk! 🗣️IRIF is excited to host Dexter Kozen from Cornell University University for a guest talk. More details to come! 🗓️03/12/2024 ⏲️11:00 to 12:30 📍Amphi Turing, Sophie Germain Building, Université Paris Cité

🏆This year, 3 IRIF researchers are part of two projects that have won a 2025 Synergy Grant from the European Research Council (ERC). 👏Many congratulations to Valérie Berthé, Hugo Herbelin and Paul-André Melliès ! IRIF wishes them successful results. Inria CNRS Sciences informatiques CNRS Île-de-France Villejuif

#Distinction 🏆| Félicitations aux trois équipes retenues pour l’appel European Research Council (ERC) Synergy Grant 2024. Les projets ADDI, Dynamics et MALINCA ont été soutenus par la cellule ERC de l’institut et ont obtenu une bourse #ERCSyG de financement. ➡️ins2i.cnrs.fr/fr/cnrsinfo/er…

📢 The LVP w.g of the GPL GdR will be holding its one-day conference at IRIF. Emilio Jesús Gallego Aria, Inria researcher at IRIF, will be giving a talk on : ‘Flèche: Incremental Validation for Hybrid Formal Documents’. 🗓️14/11 2024 ⏲️9am - 5.40pm. 🔗groupes.renater.fr/wiki/lvp/publi…

[🏆 Accepted papers ] 👏 Congratulations to our following members whose papers have been accepted for the 2025 POPL 2026 : Rida Ait El Manssour, @gllmbdrt, Adrienne Lancelot, Giulio Manzonetto, Gabriel Scherer and Mahsa Shirmohammadi. 🔗 popl25.sigplan.org/track/POPL-202…

The 2024 edition of the IRIF Distinguished Talk Series is coming to an end with Dexter Kozen, professor at Cornell University Univ. 💬 His lecture will be on "Probability and Angelic Nondeterminism with multiset Semantics". 🔗 irif.fr/seminaires/iri… 📅 03/12/2024 📍 Université Paris Cité

🎉 Let's conclude 2024 with a high-quality computer science talk! 🗣️Dexter Kozen, professor at Cornell University University, will give a talk titled "Probability and Angelic Nondeterminism with Multiset Semantics". 📅 03/12/2024 🕚 11am - 12:30pm 🔗Abstract: irif.fr/seminaires/iri…

🎉Get ready, D-day is tomorrow ! 🔜We’re thrilled about this event and can’t wait to welcome you to this scientific talk. ℹ️Join us in Amphi Turing, located in the Sophie Germain building in Université Paris CIté. The talk will begin at 11am.

#Distinction 🏆| L'équipe du projet DynAMiCs, Valérie Berthé, Florian Luca et Joël Ouaknine, récompensée d'une bourse European Research Council (ERC) Synergy pour leurs travaux sur les systèmes dynamiques discrets. ➡️ins2i.cnrs.fr/fr/cnrsinfo/ve… 🤝IRIF CNRS Île-de-France Villejuif Stellenbosch University

🌍 Face aux enjeux climatiques actuels, quel avenir pour l'informatique ? 🪫🔌 Si cette dernière facilite notre quotidien, sa consommation énergétique accroît de + en + et contribue donc fortement à la dégradation de notre environnement. 🔜 Rendez-vous le 10/12 pour débattre !

#Distinction 🏆| L'équipe du projet DynAMiCs, Valérie Berthé, Florian Luca et Joël Ouaknine, explore la vérification automatique des systèmes dynamiques discrets. ➡️ins2i.cnrs.fr/fr/cnrsinfo/ve… 🤝IRIF CNRS Île-de-France Villejuif European Research Council (ERC)

Join IRIF for a quantum camputing position!

Une expérience quantique révolutionnaire maintient un état de superposition pendant 1 400 secondes, ouvrant de nouvelles perspectives pour les ordinateurs quantiques et la communication quantique. #physiquequantique #technologie innovant.fr/2024/12/19/ce-…

Compte tenu des missions qui lui incombent et des valeurs qui l’animent, l’Université Paris Cité ne peut pas cautionner l’évolution de la politique conduite par X. À ce titre, elle a décidé de suspendre son activité sur ce réseau social. Ses contenus sont accessibles sur Bluesky

#Distinction 🏆| Une bourse European Research Council (ERC) Synergy qui s'intéresse à la vérification #automatique des théorèmes sans avoir à les réécrire. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/ma… 🤝 IRIF Loria LjadNice CNRS Île-de-France Villejuif CNRS Centre-Est