# 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

Export series to