8-12 Jun 2020
Moscow, Russia
LOGICAL PERSPECTIVES 2020: CONFERENCE, SUMMER SCHOOL AND WORKSHOP --CONFERENCE-- The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The topics include, but are not limited to: ? logical methods in mathematics; ? logical methods in philosophy; ? logical methods in computer science. The first conference [ http://www.pdmi.ras.ru/EIMI/2018/LP/] was held at Euler International Mathematical Institute in Saint Petersburg in 2018. The second Logical Perspectives conference (LP 2020 for short) will be held in Moscow on June 8?12, 2020. --SUMMER SCHOOL AND WORKSHOP-- The Logical Perspectives summer school and workshop series aims at giving advanced introductions into various branches of logic, and providing researchers ? including early career scientists ? an opportunity to present their work. In particular, the Logical Perspectives 2020 Summer School and Workshop (LP 2020 SW) will be concerned with computational proof theory, broadly understood. It will take place in Moscow on June 15-19, 2020, following LP 2020. The programme of LP 2020 SW will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks. --SPONSORS-- Both events are supported by the Simons Foundation, as well as by Steklov International Mathematical Center (SIMC). They will be hosted by Steklov Mathematical Institute of the Russian Academy of Sciences. --CONTRIBUTED TALKS AT LP 2020 SW-- For LP 2020 SW, we invite to submit proposals in all areas of proof theory and its applications. The topics include, but are not limited to: structural proof theory, type theory, automated reasoning, proof assistants, proof mining, reverse mathematics, non-well-founded proofs, program extraction, formal verification, proof complexity, proof-theoretical semantics, philosophy of proof theory, logical systems in computer science. Reports on work in progress and preliminary results are also welcome. Those who wish to present their work at LP 2020 SW are invited to submit an extended abstract, limited to 3 pages (not including references), via EasyChair: https://easychair.org/conferences/?conf=lp2020sw Authors are encouraged to use the EasyChair LaTeX style [ https://easychair.org/publications/for_authors]. Submissions will be subject to light reviewing. There will be no formally published proceedings; a book of abstracts will be made available online as well as in printed form at the event. --IMPORTANT DATES-- Dates of LP 2020: June 8?12, 2020 Dates of LP 2020 SW: June 15-19, 2020 Application Deadline (for participation in LP 2020 or LP 2020 SW): March 2, 2020. Submission Deadline (for contributed talks at LP 2020 SW): February 15, 2020 Notification of Acceptance: March 15, 2020 --INVITED SPEAKERS AND LECTURERS-- Please see http://lp2020.mi-ras.ru/conference.html http://lp2020.mi-ras.ru/workshop.html --WEBSITE-- http://lp2020.mi-ras.ru/ --CONTACT-- lp2020@mi-ras.ru <mailto:lp2020@mi-ras.ru> -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam