Zum Inhalt springenZur Suche springen

Upcoming:

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

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

Past:

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


I gave a mini course on abstract and motivic homotopy theory in Verona, Italy, February 7-15 (and a research talk there on Feb 11th), 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

Verantwortlichkeit: