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

Previous LFCS Seminars

 Title   Type 
Event LFCS seminar: Oliver Bračevac: The marriage of effects and joins Event
Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers Event
Event LFCS seminar: Chung-Kil Hur: A promising semantics for relaxed-memory concurrency Event
Event LFCS seminar: Danel Ahman: A fibrational view on computational effects Event
Event LFCS seminar: Noam Zeilberger: Lambda calculus and the four colour theorem Event
Event LFCS/CISA seminar: Alice Miller: Probabilistic model checking for UAV controller generation Event
Event LFCS/CISA seminar: Stefania Dumbrava: Certifying deductive database engines with Coq/SSReflect Event
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory? Event
Event LFCS seminar: Vaishak Belle: First-order probabilistic relational models Event
Event LFCS seminar: Claude Heiland-Allen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter Event
Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic Event
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
Document Actions