Tomáš Jakl

Czech Academy of Sciences
Czech Technical University
Me pretending to use an old computers.

Recent news

14 Apr 2023

Announcing the third iteration of the Structure meets Power Workshop (25 June 2023). Save the date!

05 Apr 2023

Our recent paper A categorical account of composition methods in logic, coauthored by Dan Marsden and Nihil Shah, has been accepted at LiCS 2023.

01 Apr 2023

I'm very happy to announce that I'm starting my next jobs at the Czech Academy of Sciences and the Czech Technical University.

13 Apr 2022

The course on game comonads I taught jointly with Luca Reggio at ESSLLI is over. It seemed to be really well received! For details go to the course website.

News archive

Web Analytics