L'UFR d'informatique de l'Université Paris Cité organise une nouvelle conférence "On éteint 📴 , on réfléchit 🧠 , on discute 🗣️ " sur "𝐋𝐞 𝐦𝐨𝐧𝐝𝐞 𝐦𝐞𝐫𝐯𝐞𝐢𝐥𝐥𝐞𝐮𝐱 𝐝𝐞𝐬 𝐬𝐭𝐚𝐫𝐭-𝐮𝐩" avec Marion Flécher, maîtresse de conférences en sociologie à l'Université Paris Nanterre, spécialiste de toutes ces questions et Jean Krivine, chercheur en informatique à l’Université Paris Cité, qui a travaillé dans des start-up.

🫵 Venez nombreux !

📅 01/04
⏰ 16h30-18h30
📍 Amphi 4C 2, Halle aux Farines
🔗 https://www.informatique.univ-paris-diderot.fr/ufr/conferences_ufr

🎙️ Le 3e épisode du #podcast “Qu'est ce que tu cherches ?” du @cnrs a invité Geoffroy Couteau pour parler de son sujet de recherche : la protection des données privées via les calculs sécurisés et les protocoles sécurisés.

Vous pourrez également découvrir sa journée type, le moment où il fait le plus de sciences (et non, ce n'est pas forcément pendant la journée !) et les stéréotypes liés à son domaine.

🔗 (Ré)Écoutez cet épisode : https://podcast.ausha.co/cnrs-qu-est-ce-que-tu-cherches/comment-proteger-nos-donnees-privees-geoffroy-couteau-cnrs

📉 🌱 𝐒𝐚𝐧𝐬 𝐦𝐚𝐭𝐡𝐞́𝐦𝐚𝐭𝐢𝐪𝐮𝐞𝐬, 𝐩𝐚𝐬 𝐝’𝐢𝐧𝐟𝐨𝐫𝐦𝐚𝐭𝐢𝐪𝐮𝐞 ! L’informatique fondamentale repose sur les maths, et pourtant, cette discipline souffre d’un désintérêt croissant chez les étudiants. Depuis plusieurs années, le niveau en maths diminue et les inégalités dans l’accès aux filières scientifiques se creusent.

🔎 Le @cnrs lance la consultation citoyenne "𝐀𝐮𝐱 𝐦𝐚𝐭𝐡𝐬, 𝐜𝐢𝐭𝐨𝐲𝐞𝐧𝐧𝐞𝐬, 𝐜𝐢𝐭𝐨𝐲𝐞𝐧𝐬 !".

🗳️ Votre avis compte ! 👉 https://consultation-maths.fr/

#Mathématiques #Éducation #ConsultationCitoyenne

🗣️ For the 3rd Paris ACTS, the speakers will be Laetitia Laversa (IRIF, @univpariscité ) who will speak 𝘈𝘣𝘰𝘶𝘵 𝘵𝘩𝘦 𝘬-𝘴𝘺𝘯𝘤𝘩𝘳𝘰𝘯𝘪𝘻𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘰𝘧 𝘤𝘰𝘮𝘮𝘶𝘯𝘪𝘤𝘢𝘵𝘪𝘯𝘨 𝘢𝘶𝘵𝘰𝘮𝘢𝘵𝘢 and Glynn Winskel (Queen Mary Univ. of London) who will speak about 𝘍𝘳𝘰𝘮 𝘊𝘰𝘯𝘤𝘶𝘳𝘳𝘦𝘯𝘵 𝘎𝘢𝘮𝘦𝘴 𝘵𝘰 𝘎𝘰̈𝘥𝘦𝘭'𝘴 𝘋𝘪𝘢𝘭𝘦𝘤𝘵𝘪𝘤𝘢 𝘐𝘯𝘵𝘦𝘳𝘱𝘳𝘦𝘵𝘢𝘵𝘪𝘰𝘯.

P-ACTS is a seminar series focused on connections between 𝗔𝘂𝘁𝗼𝗺𝗮𝘁𝗮 𝗮𝗻𝗱 𝗖𝗼𝗻𝗰𝘂𝗿𝗿𝗲𝗻𝗰𝘆 𝘁𝗵𝗲𝗼𝗿𝘆, shared between EPITA, @Polytechnique and IRIF.

📅 29/01/2025
📍 IRIF
📽️ Broadcasted on Zoom.
🔗 https://p-acts.github.io/index.html

📢 The LVP (Languages and Program Verification) working groupe of the GPL GdR will be holding its one-day conference at IRIF, in amphi Turing.

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.
🔗 https://groupes.renater.fr/wiki/lvp/public/journee_lvp_novembre2024

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

🗓️ Tuesday 03 December, 2024
⏲️11:00 to 12:30
📍Amphi Turing, Sophie Germain Building, Université Paris Cité

Everyone is free to join!

🏆 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: https://siam.org/conferences-events/siam-conferences/soda25/program/accepted-papers/

🦊 FOCS 2024: https://focs.computer.org/2024/accepted-papers-for-focs-2024/

L'informatique a-t-elle un avenir ? 🤔

José Halloy (LIED - Univ Paris Cité) et Anne-Laure Ligozat (LISN - Univ Paris Saclay) débattront cette question lors de la 3e conférence “On éteint, on réfléchit, on discute”, organisée par François Laroussinie.

📅 Mardi 10 décembre 2024
⏲️ 16h15 - 18h30
📍 Université Paris Cité, Amphi Gouges 2, bâtiment Olympe de Gouges
💸 Gratuit
🔗 https://www.informatique.univ-paris-diderot.fr/ufr/conferences_ufr