This page will be kept up to date with useful resources for the proof theory community. Please get in touch by email if you have any suggestions!
The Proof Society
The Proof Society was set up in 2017 with the aim of consolidating the community and to promoting research on proof theory and related scientific areas that consider ‘proofs’ as legitimate objects of their studies. They aim to hold an annual workshop and school that advances these goals. Membership is open to all!
Online seminar series
Here are some online seminar series that are relevant to proof theorists:
- Proof Theory Virtual Seminar. A biweekly seminar dedicated to proof theory and its applications. It is affiliated with the Proof Society, and presents talks by leading researchers from all areas of proof theory.
- Logic Online Seminar. This is a weekly seminar series that features online talks presented by international speakers on a broad range of Logic related topics. It is hosted by the Department of Mathematical Logic of Steklov Mathematical Institute and Steklov International Mathematical Center.
- Online Worldwide Seminar on Logic and Semantics (OWLs). This is a fortnightly seminar series of research talks highlighting recent work in the international computer science logic community. The scope of the seminar series is roughly that of the major computer science logic conferences such as LICS, ICALP and FSCD.
- Computability Theory and Applications. This is a weekly seminar series on computability theory with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia.
- The Logic Supergroup. This comprises logic groups across the world, hosting virtual talks by speakers that these groups would have had in their physical seminars/colloquia.
Proof Theory mailing list (and others)
The Proof Theory mailing list is the most prominent mailing list pertaining to proof theory at large. It is typically used for announcements of events and job posts, though there are also occasionally scientific discussions and announcements of preprints.
More subject-specific lists include:
- Proof Complexity. Used for announcing preprints, job posts and events pertaining to proof complexity.
- Frogs. Used for scientific discussions about structural proof theory, in particular representations of proofs such as deep inference, proof nets and linear logic. No announcements permitted.
More general lists that are relevant include:
- Foundations of Mathematics. Used for both scientific discussions pertaining to the foundations of mathematics and mathematical logic in general.
- Types. Used for both scientific discussions and announcements pertaining to type theory and related areas.
- Categories. Used for both scientific discussions and announcements pertaining to category theory and related areas.
LaTeX for Logicians. This is an excellent guide to LaTeX resources for logicians, including a list of several packages for typesetting proofs.
Encyclopedias, Wikis and Zoos
The Stanford Encylopedia of Philosophy is an excellent source of subject-surveys in logic. Each entry is written by an active researcher who generally keeps the page up to date with the state of the art.
The Encyclopedia of Proof Systems is an expanding catelogue of different proof systems in the literature. It seems to be of particular interest to structural proof theorists. The encyclopedia is open, so anyone may contribute new entries.
There are also many subject-specific wikis, including:
- Computability Zoo. An interactive graph of classes in computablity theory (aka recursion theory).
- Linear Logic. A wiki for linear logic and related matters.
- Complexity Zoo. A wiki for complexity classes.
- nLab. A wiki for applied category theory and higher category theory.
- Haskell. A wiki for the Haskell programming language.
Question and answer sites
MathOverflow is a research-level question and answer site where several logicians are active. For more general questions there are the following:
Some other relevant group blogs to logic and proof theory include:
- Computability. A group blog on computablity theory (aka recursion theory).
- The n-Category Café. A group blog on mathematis, physics and philosophy, from a categorical perspective.
- Gödel’s Lost Letter and P=NP. Contributions by Dick Lipton and Ken Regan on computational complexity and the general theory of computation.
- Homotopy Type Theory. A group blog on topics pertaining to homotopy type theory and related matters.
- M-Phi. A group blog dedicated to mathematical philosophy.
- Women in Logic, together with the corresponding Facebook group.
There are also many personal blogs, including: