# Proof Theory Virtual Seminar

logic in computer science logic

Audience: | Researchers in the topic |

Seminar series times: | Every other Wednesday 09:00-10:00, 17:00-18:00 |

Organizers: | Lev Beklemishev, Yong Cheng, Anupam Das, Anton Freund*, Thomas Powell, Sam Sanders, Monika Seisenberger, Andrei Sipoş, Henry Towsner |

*contact for this listing |

The Proof Theory Virtual Seminar presents talks by leading researchers from all areas of proof theory. Everyone who is interested in the subject is warmly invited to attend! In order to participate, please visit the seminar webpage: www.proofsociety.org/proof-theory-seminar/

Upcoming talks

Past talks

Your time | Speaker | Title | |||
---|---|---|---|---|---|

Wed | May 05 | 17:00 | Revantha Ramanayake | Up and Down the Lambek Calculus | |

Wed | Apr 21 | 09:00 | Greg Restall | Comparing Rules for Identity in Sequent Systems and Natural Deduction | |

Wed | Mar 17 | 09:00 | Andreas Weiermann | Goodstein sequences and notation systems for natural numbers | |

Wed | Mar 03 | 17:00 | Dale Miller | Focusing Gentzen's LK proof system | |

Wed | Feb 17 | 09:00 | Keita Yokoyama | Forcing interpretation, conservation and proof size | |

Wed | Feb 03 | 17:00 | Sara Negri | A proof-theoretic approach to formal epistemology | |

Wed | Jan 20 | 09:00 | Georg Moser | Herbrand Complexity and Hilbert's Epsilon Calculus | |

Wed | Dec 16 | 09:00 | Matthias Baaz | Cut elimination as error correcting device | |

Wed | Dec 02 | 17:00 | Ulrich Kohlenbach | Proof Mining and the "Lion-Man" game | |

Wed | Nov 18 | 09:00 | Albert Visser | Fixed Points meet Löb's Rule | |

Wed | Nov 04 | 17:00 | Valeria de Paiva | Benchmarking Linear Logic | |

Wed | Oct 21 | 09:00 | Michael Rathjen | Far beyond Goodman's Theorem? | |

Wed | Oct 07 | 17:00 | Sam Buss | Propositional proof systems and bounded arithmetic for logspace and nondeterministic logspace |

Export series to