Logic Colloquium 2019

Logic Colloquium 2019

On August 11–16, the Faculty of Information Technology organises Logic Colloquium 2019 together with Institute of Mathematics of the Czech Academy of Sciences, Faculty of Arts and Faculty of Mathematics and Physics, Charles University. This forum for presenting and discussing the new developments in the area of logic is the European Summer Meeting of the Association for Symbolic Logic. The conference begins on August 11 with a public lecture by Hannes Leitgeb, which is intended for the general public.

Topic

Logic is an an­cient dis­ci­pline that has un­der­gone striking modern de­vel­op­ments through the in­tro­duc­tion of formal meth­ods, stim­u­lated largely by foun­da­tional prob­lems in math­e­mat­ics. Re­cent re­search in other areas such as com­puter sci­ence, lin­guis­tics, and cog­ni­tive sci­ence has also been in­spired by logic, and the Logic Collo­quium re­flects such ex­panding in­ter­ests.

The conference provides a forum for presenting and discussing the new developments in the area of logic, including mathematical logic, computer science logic and philosophical logic.

Program

The Logic Colloquium 2019 host thirteen plenary talks, six invited session talks, and seven contributed sessions of talks. The conference begins on the afternoon of Sunday, August 11, with a public lecture by Hannes Leitgeb, which is a joint event with the CLMPST and is intended for the general public.

About the Event

Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic. It provides a forum for presenting and discussing the new developments in the area of logic. Full participation in the conference assumes registration and payment of a conference fee. All the necessary information is available on the conference website.

The colloquium follows the Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST), which is held in the same venue on August 5–10, 2019.

Event type
Conference
Organisers
Institute of Mathematics of the Czech Academy of Sciences
Faculty of Arts & Faculty of Mathematics and Physics,
Charles University
Faculty of Information Technology,
Czech Technical University in Prague
Date
August 11–16, 2019
Place
New Building CTU
Thákurova 9, Prague 6
Language
English
Event website
Logic Colloquium 2019
LC 2019 - banner

Contact

Logic Colloquium 2019 is jointly organised by the Institute of Mathematics of the Czech Academy of Sciences, Faculty of Arts and Faculty of Mathematics and Physics, Charles University, and the Faculty of Information Technology, Czech Technical University in Prague. The conference takes place in the New Building CTU—Thákurova 9, Prague 6. One of the members of the organising team is Mgr. Jan Starý, Ph.D.

Icon - profile

Mgr. Jan Starý, Ph.D.

Member of the LC 2019 Organising Committee

Assistant Lecturer at the Department of Applied Mathematics

Person responsible for the content of this page
Mgr. Jan Starý, Ph.D., jan.stary@fit.cvut.czMember of the LC 2019 Organising Committee


Last modified: 9.8.2019, 11:39