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

Previous LFCS Seminars

 Title   Type 
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions Event
Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach Event
Event LFCS seminar: Nicolas Wu: Syntax and handlers for operations with scopes Event
Event LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types Event
Event LFCS seminar: Dominic Orchard: Fine-grained program reasoning via graded modal type theories Event
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
Document Actions