The Colloquium of Logic is organized by the Portuguese Logic Society and aims to promote the research and knowledge in this field, from mathematical logic to philosophical logic as well as logic for artificial intelligence and theoretical computer science. The talks of the Colloquium of Logic will be held in a hybrid way. The talks will take place, unless otherwise stated, at the Mathematics Department of Técnico ULisboa, room 3.10, and virtually
Bernardo Toninho (Department of Computer Science and Engineering, Técnico ULisboa), “Making Propositions-as-Sessions Run”, 21st January 2026, 17h, meeting room of the Department of Computer Science and Engineering, Técnico ULisboa.
Abstract: In this talk I will overview the last ~10 years of work on the logical foundations of session-based computation, as derived from the propositions as types interpretation of Linear Logic in its classical and intuitionistic forms, with an emphasis on recent work deriving a (session) abstract machine, the SAM, for efficient execution of session-based processes.
See past talks of the Colloquium of Logic on Events.