Catégories

Algebre

Algorithmique

Anglais

Architecture-systeme

Biochemical-programming

Calculabilite

Categories-lambda-calculi

Categories-work

Lecture 1: Basics

\newcommand\yoneda{ {\bf y}} \newcommand\oppositeName{ {\rm op}} \newcommand\opposite[1]{ {#1}^\oppositeName} \newcommand\id[1][{}]{ {\rm id}_{#1}} \newcomma...

Club-algo

Complexity

Computational-geometric-learning

Computational-neuroscience

Computer-vision

Concurrency

Pospaces, Local pospaces

Recap: every program in our setting is comprised of sequential processes $(P_1, …, P_n)$ that are turned into a control flow graph $(G_1, …, G_n)$

Conferences

Domains-categories-games

Exercices

Foundations-proof-systems

Functional-programming

Game-theory-CS

HoTT

Homological-algebra

Lambda-calcul

Langages-formels

Linear-logic

Lecture 11:

Important concepts in rewriting theory: when redexes are created

Logique

ML-neuroscience

Maths-discretes

Modules-groupes

Neuro-robotique

Neuroanatomie

Neuromodeling

Prepa

Preuve-assistee-par-ordinateur

HOL

Symmetry in HOL

Isabelle

Isabelle (named by Lawrence Paulson after the daughter of Gérard Huet, as a tribute): a popular generic theorem prover

Preuves-programmes

Programmation

Proof-assistants

Research

Robot-motion-planning

Statistical-learning

Lecture 2: Regression

Linear Regression and Logistic regression: particular cases of empirical risk regression

Theorie-modeles

Espace des types

Proposition: On se fixe $ℳ, \; A ⊆ M, \; \overline{x}, \; p = p(\overline{x})$ un ensemble de $ℒ_A$-formules. Si $𝒩 \succcurlyeq ℳ$, alors ...

Topologie-algebrique

Tree-automata

fields