Introduction

TL;DRAbstract

The Logic Colloquium 2007, the European Summer Meeting of the Association for Symbolic Logic, was held in Wrocław, Poland, from 14 to 19 July 2007. It was colocated with the following events: The thirty-fourth International Colloquium on Automata, Languages and Programming (ICALP), the twenty-second Annual IEEE Symposium on Logic in Computer Science (LICS) and the ninth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP). There was an agreement with LICS on running joint sessions for one day.

Chat with Paper

AI Agents for this Paper