12. ICTAC 2015: Cali, Colombia

Invited Talks

Algebra and Category Theory

Automata and Formal Languages

Concurrency

Constraints

Logic and Semantic

Software Architecture and Component-Based Design

Verification

Tool Papers

Short Papers

maintained by Schloss Dagstuhl LZI, founded at University of Trier