Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

11 - 16 August 2019, Logic Colloquium 2019 (LC 2019), Prague, Czech Republic

Date: 11 - 16 August 2019
Location: Prague, Czech Republic
Deadline: Tuesday 30 April 2019

The Logic Colloquium 2019 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. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.

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

To submit an abstract for a contributed talk please send it by e-mail as a PDF file accompanied by a LaTeX file using the ASL abstract template.Submitted abstracts should be limited to 300 words including the title and references. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts.

For more information, see https://www.lc2019.cz/.

Please note that this newsitem has been archived, and may contain outdated information or links.