\n

The Logic Colloquium 2019 is the annual European summer mee ting of the Association of Symbolic Logic (ASL) ,& nbsp; an international organization supporting res earch and critical studies in logic. Its primary f unction is to provide an effective forum for the p resentation, publication, and discussion of schola rly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lec ture by H. Leitgeb, jointly sponsored by the two m eetings.

\n\nThe invited speakers are S. A bramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Ret iring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tut orials will be given by D. Raghavan and M. Rathjen . Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theor y and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.

\n\n <
p>To submit an abstract for a contributed talk ple
ase send it by e-mail as a PDF file accompanied by
a LaTeX file using the ASL abstract template.Subm
itted abstracts should be limited to 300 words inc
luding the title and references. Abstracts of cont
ributed talks submitted by ASL members will be pub
lished in The Bulletin of Symbolic Logic if they s
atisfy the Rules for Abstracts.\n

URL:https://www.lc2019.cz/
END:VEVENT
END:VCALENDAR