Page Archive

Page Not Found

Page not found.

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)

About Me

Algèbre (L3 ENS Paris-Saclay)

Catégories

Blog posts

Posts par groupes

Hi! My name is Younesse Kaddar. I'm a Research Associate & PhD Candidate at the University of Oxford, and Director of Recursive Safeguarding Ltd, work...

🇫🇷 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...

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

LLM APIs Pricing Comparison

Page Archive

Calculabilité

Recipes

Sample Page

Sitemap

Posts par tags

CLAUDE.md

LLM Pricing Page Tutorial

Compiling-to-Categories_Automatic_Differentiation_Project