SCOT: A Seminar on Semantic and Formal Approaches to Complexity

The SCOT Seminar is devoted to the problem of reasoning on the complexity of programs in formal and compositional ways. Many approaches have been exploited for that, taking advantage from logic, category theory, denotational semantics, type systems, interpretations, etc. This seminar aims at providing a forum of discussion for all issues related to these questions, from foundational aspects on semantics of complexity to automated time or space complexity analysis.

The seminar is held on a monthly basis, and virtually.

A mailing list announcing seminars is available. Please subscribe to it if you are interested in staying informed about the future seminars.

List of Seminars