French version selectionnée English version Spanish version

International Workshop on Semantic and formal approaches to COmplexiTy 2020 (SCOT 2020)

29-30 juin 2020
Aubervilliers - Aubervilliers (France)
Semantic and formal approaches to program complexity : Événement satellite de la conférence FSCD2020. The SCOT workshop is devoted to the problem of reasoning on the complexity properties 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. This workshop 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.
Discipline scientifique : Informatique

Lieu de la conférence
Personnes connectées : 97 |  Contact |  À propos |  RSS