Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
talks
Progress presentation
Published:
Presentation to the rest of the team during the team’s annual seminar
Characterizing complexity classes with boolean theories extensions
Published:
Presentation during the annual meeting of the SCALP group Slides
Characterizing complexity classes with categorical logic
Published:
Presentation during the complexity days Slides
An introduction to descriptive complexity
Published:
Presentation at the IHPST Slides
teaching
Spécification Algébrique et Tests Logiciels
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2022
Responsable du cours : Pierre Rousselin Volume horaire : 18h de TD
Logique
Licence 1, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Marie Kerjean Volume horaire : 18h de TD
Principe de la programmation
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Joseph Le Roux Volume horaire : 19.5h de TP + 6h de TD
Algorithmique des graphes
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Frédérique Roupin Volume horaire : 19.5h de TP
Administration système
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Thierry Monteil Volume horaire : 30h de TP
Logique
Licence 1, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Sergueï Lenglet Volume horaire : 18h de TD
Spécification Algébrique et Tests Logiciels
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Flavien Breuvart Volume horaire : 16.5h de TD
Administration système
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2025
Responsable du cours : Thierry Monteil Volume horaire : 30h de TP
Calculabilité et décidabilité
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2025
Responsable du cours : Christian Codognet Volume horaire : 19.5h de TD