News: I recently started my second postdoc in Cambridge. See my Research Associate website and also my personal website on tomas.jakl.one.
I am working as a postdoc on Mai Gehrke’s project DuaLL and I am a member of the research group called Dualité de Stone, langages formels et logique.
Contact e-mail: Tomas.Jakl@unice.fr
This website gathers my activity while working on DuaLL. For information about my work done also outside of the project go to my personal homepage.
I am in charge of the TACL series and TACL 2019 websites.
Past activity
- 9-13 December 2019, Logic and Structure in Computer Science and Beyond (LSCSB), Leiden, link
- 11-16 August 2019, Logic Colloquium 2019, Prague, link
- 17-21 June 2019, Topology, Algebra, and Categories in Logic (TACL), Nice, link
- 10-15 June 2019, TACL Summer School, Île de Porquerolles, link
- 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
- 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, ToLo VI, Tbilisi, link
Refereeing work
- Logical Methods In Computer Science, link
- Topology and its Applications, link
- Logic in Computer Science, link
- Studia Logica, link
- Rocky Mountain Journal of Mathematics, link
- Mathematical Structures in Computer Science, link
- Relational and Algebraic Methods in Computer Science, link
