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 13:00-14:00 in your time zone, UTC
Organizers: Abhishek De*, Sam Speight*
*contact for this listing

Meeting ID: 818 7333 5084 ~ Password: 217

Upcoming talks
Past talks
Your timeSpeakerTitle
FriOct 1813:00Daniel GratzerTBA
FriNov 0814:00Giovanni SoldaTBA
FriNov 2214:00Luca ReggioTBA
FriNov 2914:00Sebastian EnqvistTBA
Embed this schedule
Your timeSpeakerTitle
FriOct 1113:00Tamio-Vesa NakajimaBipartite versus triangle-free subgraphs
FriOct 0413:00Christian KonradMaximal Matching in Bounded-deletion Streams
FriSep 2713:00Arkadev ChattopadhyayThe Power of Randomness in Query and Communication
ThuSep 1910:00Stepan KuznetsovSubstructural logics with Kleene star
FriJun 2110:00Georg StruthFormalising globular and cubical categories with a proof assistant
FriJun 0710:00Wilmer RicciottiSyntactic representation of program execution history
FriMay 3110:00Ambroise LafontA diagram editor to mechanise categorical proofs
FriMay 2410:00Sam van GoolDeciding unifiability by folding coalgebras
FriMay 1710:00Calum HughesModels of Martin-Löf Type Theory and Algebraic Model Structures
FriMay 1010:00Andrew SogokonInductive Invariants in Continuous Systems
FriApr 2610:00Paul TaylorFree algebras for functors, with not an ordinal in sight
FriApr 1910:00Pablo DonatoDeep Inference for Graphical Theorem Proving
ThuApr 1810:00Hugo FeréeMechanised uniform interpolation for modal logics K, GL and iSL
FriMar 2211:00Cristina MatacheParameterized algebraic theories and applications
MonMar 1813:00Igor Carboni OliveiraPolynomial-Time Pseudodeterministic Construction of Primes
FriMar 1511:00Leo LobskiTowards functorial chemistry: completeness and universality for reaction representation
FriMar 0811:00Charles GrelloisSemantic approaches to verification of functional programs
FriMar 0111:00Nesta van der SchaafOrdered Locales
FriFeb 2311:00Alex KavvosTwo-dimensional Kripke Semantics
FriFeb 1611:00Dylan BraithwaiteProbabilistic Programming with Session Types
FriFeb 0911:00Satoshi KuraHigher-Order Weakest Precondition Transformers via a CPS Transformation
FriFeb 0211:00Tomáš JaklFeferman–Vaught–Mostowski theorems and game comonads
FriJan 2611:00Jeremy GibbonsTurner, Bird, Eratosthenes: An Eternal Burning Thread
Embed this schedule
Export series to