Description

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, LP 2020 SW will be concerned with computational proof theory, broadly understood. More precisely, the programme will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.

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. 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

Deadline for Submissions: Notification of Acceptance:
March 1, 2020 March 15, 2020
Please note that the deadline has been extended.

Lecture Courses


Each of the courses will consist of three 90-min lectures.

Programme Committee

Organising Committee