12th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics