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
WedNov 0417:00Valeria de PaivaBenchmarking Theorems of Implicational Intuitionistic Linear Logic
WedNov 1809:00Albert VisserFixed Points meet Löb's Rule
WedDec 0217:00Ulrich KohlenbachTBA
WedDec 1609:00Matthias BaazCut elimination as error correcting device
WedJan 2009:00Georg MoserTBA
Embed this schedule
Export series to