Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars Previous LFCS Seminars

Previous LFCS Seminars

 Title   Type 
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions Event
Event LFCS seminar: Clemens Kupke: Learning via Coalgebraic Logic Event
Event LFCS seminar: Richard Mayr: On strong determinacy of countable stochastic games Event
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time Event
Event LFCS seminar: Dan Ghica: Diagrammatic Operational Semantics for Digital Circuits Event
Event LFCS/CISA seminar: Ian Horrocks: Scalable reasoning for semantic technologies Event
Event LFCS seminar: Edwin Brady: State machines all the way down Event
Event LFCS seminar: Ornela Dardha: Session types revisited Event
Event LFCS seminar: Casper Bach Poulsen: Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Event
Event LFCS seminar: Dan Olteanu: In-database factorized learning Event
Event LFCS seminar: Standa Zivny: Power and limits of convex relaxations Event
Event LFCS seminar: Laurence Tratt: Fine-grained language composition Event
Event LFCS seminar: Ohad Kammar: A monad for full ground reference cells Event
Event LFCS seminar: Sam Tobin-Hochstadt: Typed Racket and gradual typing Event
Event LFCS seminar: Andrea Cali: Searching and querying the deep web: a foundational approach Event
Event LFCS seminar: Aggelos Kiayias: End-to-end verifiable elections Event
Event LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml Event
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education? Event
Event LFCS seminar: Anastasis Georgoulas: Probabilistic programming process algebra Event
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub Event
Document Actions