Page Archive

Page Introuvable

Page introuvable.

Algorithmique & Algorithmique Avancée (L3 ENS Paris-Saclay)

Anglais (L3 ENS Paris-Saclay)

Architecture et Système (L3 ENS Paris-Saclay)

Biochemical Programming (M2 MPRI)

Calculabilité (L3 ENS Paris-Saclay)

Categories and Lambda-calculi (M1 ENS Ulm / ENS Paris-Saclay)

Categories Work (M2 - Working Group on Mac Lane's 'Categories for the working mathematician')

Club Algo (L3 ENS Paris-Saclay)

Advanced Complexity (M1 ENS Paris-Saclay / ENS Ulm)

Computational geometric learning: Geometric and Topological Data Analysis (M2 MPRI)

Computational geometric learning & Topological Data Analysis (Persistent Homology) (M2 MPRI)

Computational neuroscience (M1 ENS Ulm)

Computer Vision (M1 ENS Ulm / ENS Paris-Saclay)

Directed Algebraic Topology & Concurrency (M2 MPRI)

Conférences

Week 3: Deep Learning Session

Models of programming languages: Domains, Categories, Games (M2 MPRI)

Exercices

Foundations of proof systems (M2 MPRI)

Functional Programming and Type Systems (M2 MPRI)

Game Theory techniques in Computer Science (M2 MPRI)

Homological Algebra (M2 Mathematics - Orsay)

Week 4: Large Language Models

Lambda-calcul (L3 ENS Paris-Saclay / ENS Ulm)

Langages formels (L3 ENS Paris-Saclay)

Linear Logic and logical paradigms of computation (M2 MPRI)

Logique (L3 ENS Paris-Saclay)

Machine Learning applied to Neuroscience (M1 ENS Ulm)

Maths Discrètes (L3 ENS Paris-Saclay)

Modules et groupes finis (Ecole Polytechnique)

Neuro-robotique (M1 Paris Descartes)

Neuroanatomie (M1 Faculté de médecine Pierre et Marie Curie)

Neuromodeling (M1 ENS Ulm)

Prépa (MP*)

Preuve formelle assistée par ordinateur (LMFI)

Preuves et programmes (LMFI)

Programmation (L3 ENS Paris-Saclay)

Proof assistants (M2 MPRI)

Foray into research (M1 ENS Paris-Saclay)

Robot Motion Planning (M1 ENS Ulm / ENS Paris-Saclay)

Statistical Learning Theory (M1 ENS Ulm / ENS Paris-Saclay)

Homotopy Type Theory (LMFI)

Théorie des modèles (M2 LMFI)

Topologie algébrique (M1 Paris Diderot)

Tree automata (M1 ENS Paris-Saclay)

Algèbre (L3 ENS Paris-Saclay)

Catégories

Blog posts

Posts par groupes

🇬🇧 Hi! My name is Younesse Kaddar. I'm a theoretical computer science PhD student at the University of Oxford, working on programming language semantics, Ba...

🇫🇷 Bonjour ! Je m'appelle Younesse Kaddar, et je suis étudiant en informatique théorique à l'École Normale Supérieure Paris-Saclay, cette année en visit...

🇫🇷 Bonjour ! Je m'appelle Younesse Kaddar, et j'étudie l'informatique théorique à l'École Normale Supérieure Paris-Saclay. Bienvenue sur mon site person...

Bonjour ! Je m'appelle Younesse Kaddar, et j'étudie l'informatique à l'École Normale Supérie...

Page Archive

Calculabilité

Recipes

Sample Page

Sitemap

Posts par tags