Zum Inhalt springen Zur Suche springen

Upcoming:

nothing planned right now...

-------------------------------------------------------------------------------------

Past:


I attended the conference "Toposes in Mondovi", Italy, September 9-11 2024, and gave no talk :)


I gave a talk at the conference "Topology, Algebra and Categories in Logic 2024", Barcelona, June 1-5 2024


I gave a minicourse at UFABC, Brazil, on Spectral Graph Theory, Graph Signal Processing and Generalizations, March 18-22 2024. You can find the materials here.


I gave a talk at the workshop "From Proofs to Computation in Geometric Logic and Generalizations", Schloss Dagstuhl, January 2024


I gave a talk together with Felix Cherubini and Hugo Moeneclay at the Workshop on Synthetic Algebraic Geometry, Augsburg, October 2023


I gave a talk at EPFL Lausanne, May 2023


I gave a talk at TACL, June 20-24 2022, slides on the homepage.


I gave a minicourse on Categories of logics and translations at Unilog 2022, April 1-5 on the island of Crete. The slides can be found here.


With Marcus Zibrowius I organized the 32nd NRW Topology meeting at HHU Düsseldorf, November 8-9, 2019


I gave a talk at Masaryk University, Brno, October 2019


I gave a talk at TACL, Nice, June 17-21, 2019


I was in London, Canada, March 18-22, invited by K.Kapulkin, giving a talk on March 18th, 2019


I gave two talks at the workshop Geometry in Modal Homotopy Type Theory in Pittsburgh, USA, March 11-15, 2019, Videos: Talk1, Talk2


I gave a mini course on abstract and motivic homotopy theory in Verona, Italy, February 7-15 2019, Video recordings


I gave a research talk in Verona on February 11, 2019, and the same talk in Padova on February 13, 2019


I gave a mini course on motivic homotopy theory at the conference GAAG IV, Geometry in Algebra and Algebra in Geometry, Sao Paulo, Brazil, November 5-9 2018


I gave a mini course on topos theory and Caramello's bridge technique at the UNILOG school, Vichy, France, June 16th-26th 2018. Here is course page


I organized a workshop on Category theory and logic at the UNILOG conference, Vichy, France, June 16th-26th 2018. Here is the workshop page


With Adeel Khan I organized a school on Motives and derived algebraic geometry, Essen, May 6-8, 2016


I gave a minicourse on Lindström theorems at the Unilog 2015, Istanbul, and promised to keep the slides online. Here they are: First session, Second session, Third session