The LC2001, the 2001 European Summer Meeting of the Association of Symbolic Logic (ASL) took place in Vienna from Monday, August 6 and till Saturday, August 11. The conference venues were the Vienna University of Technology and the University of Vienna.

These venues were chosen to celebrate the 70th anniversary of the publication of Gödel’s famous Incompleteness Theorem. In 1931 Kurt Gödel was working in Vienna and lecturing at the University of Vienna.

The Logic Colloquium is the major international conference which integrates all fields of mathematical logic and its applications. Owing to its interdisciplinary and foundational character, it brings together outstanding researchers and students not only in classical logic, but also in fields such as theoretical computer science, computational logic, artificial intelligence, linguistics, and philosophy of logic and mathematics. The Logic Colloquium provides an important opportunity for young researchers to disseminate their results and to obtain feedback both from their peers and from senior members of the community.