Seminars
Student workshop on logic
on October 2015, 29th: a semantic proof of the compactness theorem. Notes in french.
PhD student seminar
on October 2015, 7th: the use of monads with arities in order to formalize allocation and deallocation of memory in a quantum program. Slides in english.Other documents (mainly about math)
Stacks in groupoids as homotopy limits
Preparatory notes (in english) for a talk given in the course "Moduli problems, stacks and simplicial presheaves" by Gabriele Vezzosi. Based on the work of Sharon Hollander, I detail how the condition on a category fibered in groupoids to be a stack can be reformulated as a descent condition.