Events

2023

15-17 November 2023, 2nd Workshop on Logic, Graphs, and Algorithms (LogAlg 2023), Warsaw, link
16-18 October 2023, Annual Meeting of the Institute of Mathematics, Telč
18-20 September 2023, A workshop associated with the newly published Samson Abramsky on Logic and Structure in Computer Science and Beyond book, London, link
Towards comonadic locality theorems
17-19 July 2023, Resources and Co-Resources closing workshop, Cambridge, link
A synthetic road to locality theorems, slides
25 June 2023, Structure meets Power Workshop III (an LiCS 2023 workshop), Boston & online, link
[organising and programme committee]

21-23 September 2022, Resources in Computation workshop, London, link
A structural account of composition methods in logic
8-19 August 2022, 33rd European Summer School in Logic, Language and Information, Galway, link
Teaching an advance course “Relating Structure to Power: An Invitation to Game Comonads” jointly with Luca Reggio
4 July 2022, Structure meets Power Workshop II (an ICALP 2022 workshop), Paris & online, link
[organising and programme committee]
20-24 June 2022, Topology, Algebra, and Categories in Logic (TACL), Coimbra, link
[programme committee]
16-20 May 2022, Duality and More (Workshop), Nice, link
Kleisli and Eilenberg-Moore Laws in the Setting of Game Comonads
4 April 2022, G²OAT Seminar, FIT ČVUT
Game comonads in Finite Model Theory, video
10 January 2022, Yorkshire and Midlands Category Theory Seminar, online, link
Game Comonads and Courcelle’s theorem

5-9 July 2021, Applied Category Theory 2021 (ACT), link
Lovász-Type Theorems and Game Comonads
29 June - 02 July 2021, 36th Annual Symposium on Logic in Computer Science (LICS 2021), online, link
Lovász-Type Theorems and Game Comonads
27-28 June 2021, Structure meets Power Workshop, online, link
[organising and programme committee]
9-13 June 2021, BLAST conference, online, link
29 March - 1 April 2021, 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2021), link
A Duality Theoretic View on Limits of Finite Structures, video

~~25-30 April 2020, FoSSaCS 2020~~ (postponed)
26 March 2020, Online Workshop on Resources and Co-Resources, online, link
Quantifiers and Measures, Part II
~~25-27 March 2020, Resources and Co-Resources Workshop, Cambridge, link~~ (postponed)

9-13 December 2019, Logic and Structure in Computer Science and Beyond, Leiden, link
11-16 August 2019, Logic Colloquium 2019, Prague, link
On connections between logic on words and limits of graphs slides
17-21 June 2019, Topology, Algebra, and Categories in Logic (TACL), Nice, link
[organising committee]
10-15 June 2019, TACL Summer School, Île de Porquerolles, link
[organising committee]
9-10 May 2019, Prague Gathering of Logicians 2019, link

27-29 September 2018, Workshop on Algebra, Logic and Topology (in honour of Aleš Pultr, on the occasion of his 80th birthday), Coimbra, link
A pointfree account of Carathéodory’s Extension Theorem slides
12 September 2018, Quantifiers and duality workshop, Paris, link
8 September 2018, An Intersection of Neighbourhoods (Achim Jung Fest, in honour of his 60th birthday), link
2-6 July 2018, International Workshop on Topological Methods in Logic VI (ToLo), Tbilisi, link
Free constructions and quotients of d-frames slides

11-15 December 2017, School and Workshop on Univalent Mathematics, link (only partially participated)
24-25 June 2017, Prague Seminar on Paraconsistent Logic II, Prague, link
Bitopological view on Belnap’s logic
26-30 June 2017, Topology, Algebra, and Categories in Logic (TACL), Prague, link
A Vietoris functor for bispaces and d-frames slides
20-24 June 2017, TACL Summer School, Olomouc, link
12-16 June 2017, Algebra and Coalgebra in Computer Science (CALCO), Ljubljana, link
Free Constructions and Coproducts of d-Frames

12-16 December 2016, HOMONOLO (a combinatorial workshop), Nová Louka, link
9 December 2016, Prague Workshop on Nonclassical Logics, Prague, link
3-8 October 2016, Autumn school “Proof and Computation”, Aurachhof, link
1-5 August 2016, Summer Conference on Topology and its Applications, Leicester, link
Bitopology and four-valued logic
13-17 June 2016, International Workshop on Topological Methods in Logic V (ToLo), Tbilisi, link
A Vietoris functor for d-frames slides
23-26 May 2016, Mathematical Foundations of Programming Semantics (MFPS), Pittsburgh, link
Bitopology and four-valued logic
11-15 April 2016, MGS, Birmingham, link