Conference Topics
Contributions related, but not limited, to the following topics of interest are welcome:
Semantics, logics, foundational theory
Design of languages and foundational calculi
Type systems
Compilers, interpreters, abstract machines
Program derivation, analysis, transformation
Software security, safety, verification
Concurrency, constraints, domain-specific languages
Tools for programming, verification, implementation