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.
• Fosco Loregian.
• Edward Morehouse.
• Elena Di Lavore.
• Nathan Haydon.
• 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

• Git server

Publications

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

• Elena Di Lavore, Jules Hedges, Paweł Sobociński, “Open games on Open Graphs”. In peer review.

• Chad Nester, “A Foundation for Ledger Structures”. Accepted for 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.