Annals JLC


  • New: conference photo album

  • Participants photos (click to enlarge):

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in the following places:

The Association for Symbolic Logic is the largest in the world international organization supporting research and critical studies in logic. It was founded in 1936 at a time when great advances in logic were beginning to be made.