Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Paper |
|
||
Camera-Ready |
Metrics
Submitted Papers
51
Accepted Papers
22
Venue
Wellington, New Zealand
Warning: Venue is missing. The map might not show the exact location.
Topics
- Semantics, logics, foundational theory
- Design of languages, type systems, and foundational calculi
- Domain-specific languages
- Compilers, interpreters, abstract machines
- Program derivation, synthesis, and transformation
- Program analysis, verification, model-checking
- Logic, constraint, probabilistic, and quantum programming
- Software security
- Concurrency and parallelism
- Tools and environments for programming and implementation