Satellite Events Handouts

ACCAT, Bytecode, COCV, FESCA, GT-VMT, HAV,

HFL, LDTA, MBT, QAPL, SC, SLA++P, TERMGRAPH, WITS

Satellite events handouts

• ACCAT, Applied and Computational Category Theory

• Bytecode, Bytecode Semantics, Verification, Analysis and Transformation

• COCV, Sixth Workshop on Compiler Optimization Meets Compiler Verification

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

• GT-VMT, Sixth International Workshop on Graph Transformation and Visual Modeling

• HAV, Heap Analysis and Verification

• HFL, Hardware design using Functional Languages

• LDTA, Seventh Workshop on Language Descriptions, Tools and Applications

• MBT, Third Workshop on Model Based Testing

• QAPL, Fifth Workshop on Quantitative Aspects of Programming Languages

• SC, Software Composition

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

• TERMGRAPH, Fourth International Workshop on Computing with Terms and Graphs

• WITS, Seventh Workshop on Issues in the Theory of Security