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: www.proofsociety.org/proof-theory-seminar/

Upcoming talks
Past talks
Your timeSpeakerTitle
WedMar 0317:00Dale MillerFocusing Gentzen's LK proof system
WedMar 1709:00Andreas WeiermannNotation systems for natural numbers and Goodstein sequences
Embed this schedule
Export series to