Edito

Dans la lettre cette semaine, l'ouverture des postes MCF et professeurs, la rentrée de la commission IRIF et environnement et la distribution de livres ayant appartenu à Maurice Nivat.

Côté actualités scientifiques, 5 papiers de membres de l'IRIF sont acceptés à EUROCRYPT 2023, et l'appel à participation à ETAPS et à l'École Jeunes Chercheuses et Chercheurs en Informatique Mathématique (EJCIM).

Le focus de cette semaine présente quelques unes des grandes avancées de l'année 2022 en informatique.

Bonne lecture !

Annonces de la direction

  • Postes MCF et PR : nous vous rappelons que cette année nous allons recruter 3 maîtresses/maîtres de conférence et 2 professeures/professeurs. Voir la page enseignant.e.s-chercheur.euses pour plus de renseignements. Nous allons bientôt annoncer ces postes sur plusieurs listes de diffusion. Merci de signaler à Sylvain Schmitz toute suggestion de listes où diffuser cette annonce.
  • [Rappel] Commission environnement : La commission IRIF et environnement reprend du service, mandatée par le conseil de laboratoire ! Notre première réunion plénière se déroulera le jeudi 9 février à 16h, et nous nous réunirons une fois par mois après ça. Cette réunion est ouverte à toutes et tous : vous êtes les bienvenus même si vous n'êtes pas membre de la commission. Nos objectifs s'organisent en trois axes : communiquer autour de l'environnement et du climat, collecter des données au niveau laboratoire et au delà, et établir des scénarios d'adaptation dans le respect de notre pratique de la recherche. Vous retrouverez toutes les informations sur notre page.
  • [Rappel] Livres Maurice Nivat : Plusieurs ouvrages ayant appartenu à Maurice Nivat sont encore disponibles au 8ème étage du bâtiment Sophie Germain, à la bibliothèque MIR. Servez-vous, emportez les livres qui vous intéressent, adoptez-les !


Actualités

  • EUROCRYPT 2023 / Accepted papers : Five papers co-authored by IRIF members will be presented at EUROCRYPT 2023 in Lyon, France on April 23-27.
    • Constrained Pseudorandom Functions from Homomorphic Secret Sharing (Geoffroy Couteau, Pierre Meyer, Alain Passelègue, and Mahshid Riahinia)
    • Sublinear-Communication Secure Multiparty Computation does not require FHE (Elette Boyle, Geoffroy Couteau, and Pierre Meyer)
    • Short Signatures from Regular Syndrome Decoding in the Head (Eliana Carozza, Geoffroy Couteau, and Antoine Joux)
    • Fine-Grained Non-Interactive Key-Exchange: Constructions and Lower Bounds (Abtin Afshar, Geoffroy Couteau, Mohammad Mahmoody, and Elahe Sadeghi)
    • Oblivious Transfer with Constant Computational Overhead (Elette Boyle, Geoffroy Couteau, Niv Gilboa, Yuval Ishai, Lisa Kohl, Nicolas Resch, and Peter Scholl)


Focus on the biggest discoveries in Computer Science in 2022

For the first time, the Quantamagazine's annual year in review series includes a list of the biggest advances in computer science that was covered this year. This year, many of the most significant computer science results also involved other scientists and mathematicians.

Entangled Answers: Three computer scientists have posted a proof of the NLTS conjecture, showing that systems of entangled particles can remain difficult to analyze even away from extremes.

Transforming How AI Understands: For the past five years, transformers have been revolutionizing how AI processes information. Developed originally to understand and generate language, the transformer processes every element in its input data simultaneously, giving it a big-picture understanding that lends it improved speed and accuracy compared to other language networks, which take a piecemeal approach.

Breaking Down Cryptography: Two researchers have broken an encryption protocol that many saw as a promising defense against the power of quantum computing.

Machines Help Train Machines: By using hypernetworks, researchers can now preemptively fine-tune artificial neural networks, saving some of the time and expense of training.

Improved Algorithms: Inspired by the results of a game-playing neural network, mathematicians have been making unexpected advances on an age-old math problem.

New Avenues for Sharing Information: Mark Braverman, a theoretical computer scientist at Princeton University, has spent more than a quarter of his life working on a new theory of interactive communication. His work allows researchers to quantify terms like “information” and “knowledge,” not just allowing for a greater theoretical understanding of interactions, but also creating new techniques that enable more efficient and accurate communication.


Appels d'offres et informations des partenaires

  • CNRS / AAP 2023 : L’AAP 2023 (Thèses AID) est sorti, toutes les informations à l’adresse https://www.defense.gouv.fr/aid/theses-aid-classiques-2023.
    • 16/01/2023 : Lancement de l’AAP sur le site de l’AID
    • 28/02/2023 : Date limite de demande de N° de dossier au responsable AID
    • 06/03/2023 : Date limite de remise de N° de dossier au porteur de projet
    • 21/04/2023 minuit : Date limite de dépôt des dossiers
    • 09/06/2023 : Envoi des résultats par mail aux porteurs de projets (date au plus tard)
    • 09/06/2023 : Envoi des résultats par mail aux porteurs de projets (date au plus tard)
    • 01/10/2023 : Date au plus tôt de début de thèse, en fonction du conventionnement AID/Employeur du doctorant
  • INS2I / Nouvelle directrice de l’institut : Adeline Nazarenko est nommée directrice de l’institut des sciences de l'information et de leurs interactions du CNRS, à compter du 1er février 2023. Elle succède à Ali Charara, qui occupait ces fonctions depuis janvier 2019.
  • INS2I / Livret d’accompagnement pédagogique de la BD Les décodeuses du numérique : Le livret d'accompagnement pédagogique propose des outils pragmatiques pour accompagner les élèves dans leur orientation, l’explicitation de leurs appétences, leur approche des métiers, en faisant un pied de nez à toutes les idées reçues qui entourent encore les trajectoires du numérique et de l’informatique. Il est complété par une séquence pédagogique élaborée par l’Onisep.
  • Université Paris Cité / Nouvelle plateforme nationale pour l’entrée en master 1 : Le site monmaster.gouv.fr a ouvert ses portes le 1er février 2023. Il réunit toutes les informations utiles sur les diplômes nationaux de master. S’informer, candidater, se décider : tout se passe désormais sur ce site.

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.

Agenda de la semaine du 06 février au 10 février

Vérification · Lundi 06 février, 11:00, 1007 and Zoom link ·
Claudio Gomes (University of Aarhus), Application of formal methods to verification of self-adaptation loops in digital twins

Algorithmes et complexité · Mardi 07 février, 11:00, Room 3052 ·
Pierre Meyer (IRIF / Reichman University), On Low-End Obfuscation and Learning

One world numeration seminar · Mardi 07 février, 14:00, Online ·
Ale Jan Homburg (Universiteit van Amsterdam, Vrije Universiteit Amsterdam), Iterated function systems of linear expanding and contracting maps on the unit interval

Preuves, programmes et systèmes · Jeudi 09 février, 10:30, Room 3052 & online ([Zoom link|https://u-paris.zoom.us/j/84381797685?pwd=WG1ZSnhnYi81MnhsTFB6S2krM0E2Zz09) ·
Clément Blaudeau (INRIA Paris, CAMBIUM Project-Team), Retrofitting OCaml modules

Combinatoire énumérative et analytique · Jeudi 09 février, 14:00, Room 3052 et zoom ·
Groupe De Lecture, Philippe Biane

Analyse et conception de systèmes · Jeudi 09 février, 14:00, Room séminaires au plateau SCAI (Esclangon, 1er étage, campus Jussieu) ·
Catarina Urban (Inria), Interpretability-Aware Verification of Machine Learning Software

Automates · Vendredi 10 février, 14:00, Room 3052 ·
Uli Fahrenberg, An invitation to higher-dimensional automata theory