Elektrine lite

← Feed

Ulrik Buchholtz

buchholtz@mathstodon.xyz

<p>I&#39;m a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.</p>

Posts

  • Post #1402954

    I&amp;#39;m in Paris at @LipnLab to give a three-part mini-course on synthetic homotopy theory at the Université Sorbonne Paris Nord in Villetaneuse, starting today at 16:00 CET. It&amp;#39;ll also be streamed and recorded via BigBlueButton; see the webpage for details: https://eur.univ-paris13.fr/en/events/mini-course-by-ulrik-buchholtz/

  • Post #1158588

    I’m in Venice for the 7th Workshop on Formal Topology: https://events.math.unipd.it/7wftop/ – We already had some great talks by Thierry Coquand, Maria Manuel Clementino, and Steve Vickers. If you’re jealous, you can console yourself that the talks are being streamed/recorded here: https://youtube.com/@wires0/streams