Proof Theory Virtual Seminar

External homepage

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:

Upcoming talks
Past talks
Your timeSpeakerTitle
WedDec 1509:00Alessio GuglielmiTBA
WedNov 1709:00Alexis SaurinTBA
WedNov 0317:00Wilfried SiegProofs as objects
WedOct 2009:00Fedor PakhomovFast growing hierarchies, ordinal collapsing, and Π¹₁-CA₀
WedOct 0617:00Jeremy AvigadThe conservativity of weak König's lemma (a proof from the book)
WedJun 3017:00Antonina KolokolovaLearning from Bounded Arithmetic
WedJun 1609:00Hugo HerbelinOn the logical structure of choice and bar induction principles
WedJun 0217:00Lutz StraßburgerTowards a Combinatorial Proof Identity
WedMay 0517:00Revantha RamanayakeUp and Down the Lambek Calculus
WedApr 2109:00Greg RestallComparing Rules for Identity in Sequent Systems and Natural Deduction
WedMar 1709:00Andreas WeiermannGoodstein sequences and notation systems for natural numbers
WedMar 0317:00Dale MillerFocusing Gentzen's LK proof system
WedFeb 1709:00Keita YokoyamaForcing interpretation, conservation and proof size
WedFeb 0317:00Sara NegriA proof-theoretic approach to formal epistemology
WedJan 2009:00Georg MoserHerbrand Complexity and Hilbert's Epsilon Calculus
WedDec 1609:00Matthias BaazCut elimination as error correcting device
WedDec 0217:00Ulrich KohlenbachProof Mining and the "Lion-Man" game
WedNov 1809:00Albert VisserFixed Points meet Löb's Rule
WedNov 0417:00Valeria de PaivaBenchmarking Linear Logic
WedOct 2109:00Michael RathjenFar beyond Goodman's Theorem?
WedOct 0717:00Sam BussPropositional proof systems and bounded arithmetic for logspace and nondeterministic logspace
Embed this schedule
Export series to