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
List of Seminars