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

Previous LFCS Seminars

 Title   Type 
Event LFCS seminar: Amal Ahmed: Compositional compiler verification for a multi-language world Event
Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents Event
Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms Event
Event LFCS seminar: Mayank Goswami:Distance sensitive Bloom filters without false negatives Event
Event LFCS seminar: Vivek Nigam: Slow TCAM exhaustion DDoS attack Event
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
Document Actions