[FOM] Logical Perspectives 2020

[Лев Д. Беклемишев]

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 at mi-ras.ru <mailto:lp2020 at mi-ras.ru>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200115/ccef6511/attachment-0001.html>