Events
2023
- 15-17 November 2023, 2nd Workshop on Logic, Graphs, and Algorithms (LogAlg 2023), Warsaw, link
Game comonads - a new kid in the finite model theory playground
- 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, slides
- 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]
2022
- 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
2021
- 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
2020
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)
2019
- 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
2018
- 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
2017
- 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
2016
- 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
Earlier
- 11-13 June 2015, Prague seminar on Non-Classical Mathematics, Prague, link
- 22-26 April 2014, Midlands Graduate School (MGS), Nottingham, link
- 15-16 February 2013, A Gathering of Prague-Based Logicians, Prague, link
- 16-18 April 2012, Algebra & Coalgebra Meet Proof Theory (ALCOP), Prague, link
- 7-13 August 2011, Symposium on General Topology (TOPOSYM), Prague, link