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
WedJun 1609:00Hugo HerbelinTBA
WedJul 0717:00Antonina KolokolovaTBA
Embed this schedule
Export series to