23 - 28 July 2018, Logic Colloquium 2018 (LC 2018), Udine, Italy
The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) , an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry.
LC 2018 will include tutorials by Katrin Tent (WWU Münster) and Ulrike Sattler (University of Manchester), a Gödel Lecture by Rod Downey (Victoria University of Wellington), and 6 special sessions on the topics of Descriptive set theory and dynamical systems, Model theory, Proof theory and constructivism, Temporal and multivalued logics, Computability theory, and Philosophy of Logic and Mathematics.
Abstracts of contributed papers must be submitted as pdf file via EasyChair. Abstract should be prepared using the ASL abstract style.