University Cryptology Computer Science Mathematics

University

• The University of Versailles-St-Quentin-en-Yvelines University (UVSQ).
• The Cryptology and Information Security Group.
  • See here the program of the Crypto Group Seminar.
• The LMV Laboratory (Laboratoire de Mathématiques de Versailles).
• The Computer science department.
• The SeCReTS professional graduate program (Security of Contents, Networks, Telecommunications and Systems).
• The Algèbre Appliquée à la Cryptographie et au Calcul formel graduate program (MA2C2).
• La Chaire Industrielle High Tech Low Cost (UVSQ-Continental)
• The new Université Paris-Saclay (UPSay).
• The DigiCosme excellence laboratory center (LabEx) in the field of computer science and communication.
• The Hadamard Mathematics excellence laboratory center (LabEx).
• L'IRT SystemX (Institut de Recherche Technologique en ingénierie numérique).
• Le DIM RFSI (Réseau Francilien en Sciences Informatiques).
• The French Centre National de la Recherche Scientifique (CNRS).

Cryptology and Security

• The International Association for Cryptologic Research.
• Au CNRS
  • Le GdR Informatique Mathématique (IM)
  • Le GdR Sécurité Informatique
  • Le groupe de travail Codage et Cryptographie (C2).
• Portail officiel de la sécurité informatique - ANSSI.
• Cryptology ePrint Archive.
• Cipher: The Newsletter of the IEEE Computer Society Technical Committee on Security and Privacy.
• Schneier on Security: A blog covering security and security technology.
• Le Séminaire Crypto de l'ENS.
• UCL List of Call for Papers.

Computer Science

• Gödel's Lost Letter and P=NP. A personal view of the theory of computation. By Dick Lipton.
• Collège de France :
  • Chaire "Sciences du logiciel" (Xavier Leroy)
    • Structures de contrôle : de « goto » aux effets algébriques (2023-2024)
    • Structures de données persistantes (2022-2023)
    • Sécurité du logiciel : quel rôle pour les langages de programmation ? (2021-2022)
    • Logiques de programmes : quand la machine raisonne sur ses logiciels (2020-2021)
    • Sémantiques mécanisées : quand la machine raisonne sur ses langages (2019-2020)
    • Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui (2018-2019)
  • Chaire "Science des données" (Stéphane Mallat)
    • Apprentissage et génération par échantillonnage aléatoire (2023-2024)
    • Modèles, information et physique statistique (2022-2023)
    • Information et complexité (2021-2022)
    • Représentations parcimonieuses (2020-2021)
    • Modèles multi-échelles et réseaux de neurones convolutifs (2019-2020)
    • L'apprentissage par réseaux de neurones profonds (2018-2019)
    • L'apprentissage face à la malédiction de la grande dimension (2017-2018)
  • Chaire "Algorithmes, machines et langages" (Gérard Berry)
    • Où va l'informatique ? (2018-2019)
    • Esterel de A à Z (2017-2018)
    • Structures de données et algorithmes pour la vérification formelle (2015-2016)
    • Prouver les programmes : pourquoi, quand, comment ? (2014-2015)
    • Le temps élargi : horloges multiples, temps discrets et temps continu (2013-2014)
    • L'informatique du temps et des événements (2012-2013)
  • Chaire "Combinatoire" (Timothy Gowers)
    • La théorie de la complexité (2023-2024)
  • Chaire "Informatique et sciences numériques"
    • Apprendre les langues aux machines (2023-2024) (Benoît Sagot)
    • Cryptographie : de l'algorithmique mathématique à la sécurité de l'information (2022-2023) (Antoine Joux) [reporté à l'année académique 2024-2025]
    • Interagir avec l'ordinateur (2021-2022) (Wendy Mackay)
    • Algorithmes quantiques (2020-2021) (Frédéric Magniez)
    • La biologie de l'information – un dialogue entre l'informatique et la biologie (2019-2020) (Walter Fontana)
    • Algorithmique répartie (2018-2019) (Rachid Guerraoui)
    • Algorithmes (2017-2018) (Claire Mathieu)
    • Géométrie algorithmique : données, modèles, programmes (2016-2017) (Jean-Daniel Boissonnat)
    • L'apprentissage profond : une révolution en intelligence artificielle (2015-2016) (Yann Le Cun)
    • Façonner l'imaginaire : de la création numérique 3D aux mondes virtuels animés (2014-2015) (Marie-Paule Cani)
    • Des images médicales au patient numérique (2013-2014) (Nicholas Ayache)
    • L’algorithmique et les sciences (2012-2013) (Bernard Chazelle)
    • Sciences des données : de la Logique du premier ordre à la Toile (2011-2012) (Serge Abiteboul)
    • La sécurité informatique (2010-2011) (Martin Abadi)
    • Penser, modéliser et maîtriser le calcul informatique (2009-2010) (Gérard Berry)
  • Chaire "Chaire Innovation technologique — Liliane Bettencourt"
    • Pourquoi et comment le monde devient numérique (2007-2008) (Gérard Berry)
• La Société Informatique de France (SIF).
• Interstices, une revue de culture scientifique sur la recherche en informatique.
• INRIA.
• L'Institut des sciences de l'information et de leurs interactions (INS2I) du CNRS.

Mathematics

• What's new. Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao.
• Emmanuel Kowalski'sblog. Comments on mathematics, mostly.
• The Grothendieck circle.
• David Madore's WebLog.
• La Société Mathématique de France (SMF).
• L'Institut national des sciences mathématiques et de leurs interactions (INSMI) du CNRS.