Preface

摘要

ICALP 2015, the 42nd edition of the International Colloquium on Automata, Languages and Programming, was held in Kyoto, Japan during July 6-10, 2015. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS), which first took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, automata, complexity, and games) and track B (focusing on logic, semantics, and theory of programming), and of the recently introduced track C (focusing on foundations of networking). In response to the call for papers, the Program Committee received 507 submissions, the highest ever: 327 for track A, 115 for track B, and 65 for track C. Out of these, 143 papers were selected for inclusion in the scientific program: 89 papers for Track A, 34 for Track B, and 20 for Track C. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many deserving papers could not be selected.