ACCAT
Applied and Computational Category Theory

AVIS
Automated Verification of Infinite-State Systems

Bytecode
Bytecode Semantics, Verification, Analysis and Transformation

COCV
Compiler Optimization Meets Compiler Verification

FESCA
Formal Foundations of Embedded Software and Component-Based Software Architectures

FInCo
Foundations of Interactive Computation

GT-VMT
Graph Transformation and Visual Modeling Techniques

HAV
Heap Analysis and Verification

HFL
Hardware design using Functional Languages

LDTA
Language Descriptions, Tools and Applications

MOMPES
Model-based Methodologies for Pervasive and Embedded Software

OpenCert
Foundations and Techniques for Open Source Software Certification 

QAPL
Quantitative Aspects of Programming Languages

SC
Software Composition

SLA++P 
Model-driven High-level Programming of Embedded Systems

TERMGRAPH
Computing with Terms and Graphs

WITS
Workshop on Issues in the Theory of Security