We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

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 time			Speaker	Title
Fri	Jun 21	10:00	Georg Struth	Formalising globular and cubical categories with a proof assistant
Fri	Jun 07	10:00	Wilmer Ricciotti	Syntactic representation of program execution history
Fri	May 31	10:00	Ambroise Lafont	A diagram editor to mechanise categorical proofs
Fri	May 24	10:00	Sam van Gool	Deciding unifiability by folding coalgebras
Fri	May 17	10:00	Calum Hughes	Models of Martin-Löf Type Theory and Algebraic Model Structures
Fri	May 10	10:00	Andrew Sogokon	Inductive Invariants in Continuous Systems
Fri	Apr 26	10:00	Paul Taylor	Free algebras for functors, with not an ordinal in sight
Fri	Apr 19	10:00	Pablo Donato	Deep Inference for Graphical Theorem Proving
Thu	Apr 18	10:00	Hugo Ferée	Mechanised uniform interpolation for modal logics K, GL and iSL
Fri	Mar 22	11:00	Cristina Matache	Parameterized algebraic theories and applications
Mon	Mar 18	13:00	Igor Carboni Oliveira	Polynomial-Time Pseudodeterministic Construction of Primes
Fri	Mar 15	11:00	Leo Lobski	Towards functorial chemistry: completeness and universality for reaction representation
Fri	Mar 08	11:00	Charles Grellois	Semantic approaches to verification of functional programs
Fri	Mar 01	11:00	Nesta van der Schaaf	Ordered Locales
Fri	Feb 23	11:00	Alex Kavvos	Two-dimensional Kripke Semantics
Fri	Feb 16	11:00	Dylan Braithwaite	Probabilistic Programming with Session Types
Fri	Feb 09	11:00	Satoshi Kura	Higher-Order Weakest Precondition Transformers via a CPS Transformation
Fri	Feb 02	11:00	Tomáš Jakl	Feferman–Vaught–Mostowski theorems and game comonads
Fri	Jan 26	11:00	Jeremy Gibbons	Turner, Bird, Eratosthenes: An Eternal Burning Thread

Embed this schedule

Export series to