12th ICTAC 2015: Cali, Colombia

Refine list

showing all ?? records

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