University of Birmingham theoretical computer science seminar

computational complexity discrete mathematics formal languages and automata theory logic in computer science programming languages category theory logic

Audience: Researchers in the topic
Seminar series time: Friday 10:00-11:00 in your time zone, UTC
Organizers: Abhishek De*, George Kaye*, Sam Speight*
*contact for this listing

Meeting ID: 818 7333 5084 ~ Password: 217

Upcoming talks
Past talks
Your timeSpeakerTitle
FriMay 2410:00Sam van GoolDeciding unifiability by folding coalgebras
FriMay 3110:00Ambroise LafontTBA
FriJun 0710:00Wilmer RicciottiTBA
FriJun 2110:00Georg StruthTBA
Embed this schedule
Export series to