LP 2020 SW: Logical Perspectives Summer School and Workshop Steklov Mathematical Institute of Russian Academy of Sciences Moscow, Russia, June 15-19, 2020 |
Conference website | http://lp2020.mi-ras.ru/workshop.html |
Submission link | https://easychair.org/conferences/?conf=lp2020sw |
Submission deadline | February 15, 2020 |
LOGICAL PERSPECTIVES SUMMER SCHOOL AND WORKSHOP
The Logical Perspectives Summer School and Workshop (LP 2020 SW) will be hosted by Steklov Mathematical Institute of the Russian Academy of Sciences (Steklov International Mathematical Center, SIMC) in Moscow. LP 2020 SW will take place on June 15-19, 2019, adjacent to the 2nd Logical Perspectives Conference. The aims of Logical Perspectives Summer School and Workshop are to give a deep introduction into a particular subject and to provide researchers, including the ones early in their career, an opportunity to present their work. The focus topic of LP 2020 SW is Computational Proof Theory, broadly understood. Following these aims, the programme will include three mini-courses on various aspects of computational proof theory, as well as contributed workshop talks.
We invite to submit contributed talks in all areas of proof theory and its applications. Concrete topics include (but not limited to): structural proof theory, formal verification, proof assistants, proof mining, reverse mathematics, non-well-founded and circular proof systems, type theory, proof complexity, automated reasoning, program extraction of proofs, philosophy of proof theory, logics in Computer Science. We also welcome reports on work in progress and preliminary results. Researchers wishing to present their work at the workshop 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 and in printed form at the event.
IMPORTANT DATES
February 15, 2020: Submission Deadline
March 1, 2020: Notification of Acceptance
June 15-19, 2020: LP 2020 SW
LECTURE COURSES
1. Alexander Razborov, Univ. of Chicago & Steklov Mathematical Institute of RAS
Proof Complexity
2. Andrei Voronkov, University of Manchester
First-order Theorem Proving
3. Sarah Winkler, University of Innsbruck
Term Rewriting: Basic Concepts, Tools, and Applications
PROGRAM COMMITTEE
1. Matthias Baaz, TU Wien
2. Lev D. Beklemishev, Steklov Mathematical Institute of RAS
3. Andre Scedrov, University of Pennsylvania
4. Stanislav O. Speranski, St. Petersburg State University
ORGANIZING COMMITTEE
1. Lev D. Beklemishev, Steklov Mathematical Institute of RAS
2. Stepan L. Kuznetsov, Steklov Mathematical Institute of RAS
3. Stanislav O. Speranski, St. Petersburg State University
4. Vladimir V. Podolskii, Steklov Mathematical Institute of RAS
5. Daniyar S. Shamkanov, Steklov Mathematical Institute of RAS
6. Alexei L. Talambutsa, Steklov Mathematical Institute of RAS
CONTACT
lp2020@mi-ras.ru