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 14:00-15: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
FriDec 1314:00Morgan RogersTopoi with enough points
Embed this schedule
Your timeSpeakerTitle
FriDec 0614:00Amin KaramlouQuantum relaxations of CSP and structure isomorphism
FriNov 2914:00Sebastian EnqvistComputational content of classical cyclic proofs
FriNov 2214:00Luca ReggioResource-bounded logics: a categorical and modal view
FriNov 1514:00Sergey GoncharovIntroduction to Higher-Order Mathematical Operational Semantics
FriNov 0814:00Giovanni SoldàA proof of Nash-Williams theorem in ATR0
FriNov 0114:00Soumyajit PaulDrinking is not good for driving, nor for computation : complexity of solving games with imperfect information
FriOct 2513:00Sky WilshawNew Foundations: the story of a large formalisation project
FriOct 1813:00Daniel GratzerOn synthetic category theory in homotopy type theory
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 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