IRIF (@IRIF_Paris)

Pinned

I

IRIF@IRIF_Paris · Dec 19

🐦⏩🦋 For ethical reasons and because we don't share the same values, IRIF has decided to suspend its X account and join #BlueSky. Join us : bsky.app/profile/irif-p…

0

2

0

178

IRIF Retweeted

C

CNRS Sciences informatiques@CNRSinformatics · Feb 20

#Distinction 🏆| Une bourse @ERC_Research 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_Paris @labo_Loria @LjadNice @CNRS_Villejuif @CNRS_Centre_Est

0

3

5

0

452

IRIF Retweeted

U

Université Paris Cité@univ_paris_cite · Jan 14

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…

6

10

28

2

8.0K

IRIF Retweeted

A

Actualité quantique@actu_quantique · Dec 20

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-…

0

1

4

0

188

I

IRIF@IRIF_Paris · Dec 12

Join IRIF for a quantum camputing position!

T@ ·

0

2

0

320

IRIF Retweeted

C

CNRS Sciences informatiques@CNRSinformatics · Dec 9

#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_Paris @CNRS_Villejuif @ERC_Research

0

1

3

0

423

I

IRIF@IRIF_Paris · Dec 6

🌍 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 !

IIRIF@IRIF_Paris · Oct 24

L'informatique a-t-elle un avenir ? 🤔 @jhalloy (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…

0

111

IRIF Retweeted

C

CNRS Sciences informatiques@CNRSinformatics · Dec 4

#Distinction 🏆| L'équipe du projet DynAMiCs, Valérie Berthé, Florian Luca et Joël Ouaknine, récompensée d'une bourse @ERC_Research Synergy pour leurs travaux sur les systèmes dynamiques discrets. ➡️ins2i.cnrs.fr/fr/cnrsinfo/ve… 🤝@IRIF_Paris @CNRS_Villejuif @StellenboschUni

0

2

3

0

369

I

IRIF@IRIF_Paris · Dec 2

🎉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.

IIRIF@IRIF_Paris · Nov 28

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

0

3

0

212

I

IRIF@IRIF_Paris · Nov 28

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

IIRIF@IRIF_Paris · Oct 31

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

0

2

0

332

I

IRIF@IRIF_Paris · Nov 21

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

IRIF_Paris's tweet image. The 2024 edition of the IRIF Distinguished Talk Series is coming to an end with Dexter Kozen, professor at @Cornell Univ.
💬 His lecture will be on "Probability and Angelic Nondeterminism with multiset Semantics".

🔗 irif.fr/seminaires/iri…
📅 03/12/2024
📍 @univ_paris_cite

0

1

2

0

141

I

IRIF@IRIF_Paris · Nov 13

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

IRIF_Paris's tweet image. [🏆 Accepted papers ]

👏 Congratulations to our following members whose papers have been accepted for the 2025 @poplconf : Rida Ait El Manssour, @gllmbdrt, Adrienne Lancelot, @GManzonetto, Gabriel Scherer and Mahsa Shirmohammadi.

🔗 popl25.sigplan.org/track/POPL-202…

0

1

3

0

154

I

IRIF@IRIF_Paris · Nov 12

📢 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…

IRIF_Paris's tweet image. 📢 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…

0

103

IRIF Retweeted

C

CNRS Sciences informatiques@CNRSinformatics · Nov 5

#Distinction 🏆| Félicitations aux trois équipes retenues pour l’appel @ERC_Research 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…

1

4

9

0

1.0K

I

IRIF@IRIF_Paris · Nov 5

🏆This year, 3 IRIF researchers are part of two projects that have won a 2025 Synergy Grant from the @ERC_Research. 👏Many congratulations to Valérie Berthé, Hugo Herbelin and Paul-André Melliès ! IRIF wishes them successful results. @Inria @CNRSinformatics @CNRS_Villejuif

IRIF_Paris's tweet image. 🏆This year, 3 IRIF researchers are part of two projects that have won a 2025 Synergy Grant from the @ERC_Research.

👏Many congratulations to Valérie Berthé, Hugo Herbelin and Paul-André Melliès ! IRIF wishes them successful results.

@Inria @CNRSinformatics @CNRS_Villejuif

4

1

3

0

399

I

IRIF@IRIF_Paris · Oct 31

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

IRIF_Paris's tweet image. 🚨Get ready for our next Distinguished Talk!

🗣️IRIF is excited to host Dexter Kozen from @Cornell University for a guest talk.

More details to come!

🗓️03/12/2024
⏲️11:00 to 12:30
📍Amphi Turing, Sophie Germain Building, @univ_paris_cite

0

2

0

355

I

IRIF@IRIF_Paris · Oct 29

🏆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-…

IRIF_Paris's tweet image. 🏆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-…

0

1

3

1

329

I

IRIF@IRIF_Paris · Oct 24

L'informatique a-t-elle un avenir ? 🤔 @jhalloy (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…

IRIF_Paris's tweet image. L'informatique a-t-elle un avenir ? 🤔

@jhalloy (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…

0

2

3

0

321

IRIF Retweeted

C

CNRS Provence et Corse@CNRS_dr12 · Oct 10

#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/@CNRSbiologie)

0

5

8

2

772