the ultimate separation of proof-theoretic and vector space semantics;
formal network security of string diagrams;
letting information flow once and for all;
game theory for Toe Wrestling;
enriched categories with vitamins S and B12;
Klingon natural language processing;
to be and not to be... how explosive might that be?
First edition: 16/05/2024
Organised by: Elaine & Mehrnoosh
Invited speaker: Leo Lobski
Second edition: 11/12/2025
Organised by: Elaine & Loc & Mateo
Invited speaker: TBA
Inspired by the CrapCon conferences!