TallCat

Compositional Systems and Methods group at TalTech. Supported by the ESF funded Estonian IT Academy research measure (project 2014-2020.4.05.19-0001).

• Pawel Sobocinski
• Amar Hadzihasanovic
• Fosco Loregian
• Edward Morehouse
• Elena Di Lavore
• Matt Earnshaw
• Nathan Haydon
• Diana Kessler
• Chad Nester
• Mario Román

Friends and visitors

• Jules Hedges
• João de Paixão
• Eigil Rischel
• Nick Behr
• Fabio Zanasi

Seminars

• Seminars

Courses

• Functional Programming (ITI0212).
• Introduction to Category Theory and its applications (ITI9200).

Summer internships

• Summer internships, 2020

Group stuff

• Categorical automata theory, Spring 2021
• Chu construction meetings, Fall 2020
• Functorial semantics meetings, Spring 2020

Publications

• Chad Nester; "A Variety Theorem for Relational Universal Algebra". RAMICS 2021.

• Chad Nester; "Situated Transition Systems". ACT 2021.

• Fabrizio Genovese, Fosco Loregian, Daniele Palombi; "A Categorical Semantics for Bounded Petri Nets". Applied Category Theory 2021.

• Fosco Loregian, Théo de Oliveira Santos; "Coends of higher arity". To appear on Applied Categorical Structures.

• Fabrizio Genovese, Jelle Herold, Fosco Loregian, Daniele Palombi; "A Categorical Semantics for Hierarchical Petri Nets". Accepted for GCM2021.

• Chad Nester; "The Structure of Concurrent Process Histories". COORDINATION 2021.

• Fabrizio Genovese, Fosco Loregian, Daniele Palombi; "Nets with Mana: A Framework for Chemical Reaction Modelling". Accepted for ICGT2021.

• Amar Hadzihasanovic, “The smash product of monoidal theories”. Extended abstract accepted for LICS 2021.

• Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński; "Functorial Semantics for Partial Theories". POPL 2021.

• Nathan Haydon, Paweł Sobociński, “Compositional Diagrammatic First-Order Logic”. Accepted for Diagrams 2020.

• Elena Di Lavore, Jules Hedges, Paweł Sobociński, “Compositional modelling of network games”. Accepted for CSL 2021.

• Chad Nester, “A Foundation for Ledger Structures”. Tokenomics 2020.

• Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore and Mario Román, “Profunctor optics, a categorical update”.

• Filippo Bonchi, Robin Piedeleu, Paweł Sobociński and Fabio Zanasi, “Contextual Equivalence for Signal Flow Graphs”. Accepted for FoSSaCS 2020.

• Nicolas Behr and Paweł Sobociński, “Rule Algebras for Adhesive Categories”. Accepted for publication in Logical Methods in Computer Science.

• Filippo Bonchi, Jens Seeber and Paweł Sobociński, “Cartesian Bicategories with Choice”. In peer review.

• Filippo Bonchi, Paweł Sobociński and Fabio Zanasi, “Compositional semantics of signal flow graphs: a survey”. In preparation.

• Ahti-Veikko Pietarinen, Fracesco Bellucci, Angelina Bobrova, Nathan Haydon and Mohammad Shafiei, “The Blot”. Accepted for Diagrams 2020.