Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 51 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time
Event LFCS seminar: Tom Schrijvers: Explicit effect subtyping
Event LFCS seminar: Michel Schellekens: Modular algorithm analysis
Event LFCS seminar: Oliver Bračevac: The marriage of effects and joins
Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers
Event LFCS/CISA seminar: Stefania Dumbrava: Certifying deductive database engines with Coq/SSReflect
Event LFCS seminar: Amal Ahmed: Compositional compiler verification for a multi-language world
Event LFCS seminar: Vaishak Belle: First-order probabilistic relational models
Event LFCS/CISA seminar: Alice Miller: Probabilistic model checking for UAV controller generation
Event LFCS seminar: Noam Zeilberger: Lambda calculus and the four colour theorem
Event LFCS seminar: Claude Heiland-Allen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter
Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory?
Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents
Event LFCS seminar: Chung-Kil Hur: A promising semantics for relaxed-memory concurrency
Event LFCS seminar: Danel Ahman: A fibrational view on computational effects
Event LFCS seminar: Mayank Goswami:Distance sensitive Bloom filters without false negatives
Event LFCS seminar: Vivek Nigam: Slow TCAM exhaustion DDoS attack
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions
Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms
Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions
Event LFCS seminar: Richard Mayr: On strong determinacy of countable stochastic games
Event LFCS seminar: Dominic Orchard: Fine-grained program reasoning via graded modal type theories
Event LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types
Event LFCS seminar: Nicolas Wu: Syntax and handlers for operations with scopes
Event LFCS seminar: Clemens Kupke: Learning via Coalgebraic Logic
Event LFCS seminar: Dan Ghica: Diagrammatic Operational Semantics for Digital Circuits
Event LFCS/CISA seminar: Ian Horrocks: Scalable reasoning for semantic technologies
Event LFCS seminar: Ornela Dardha: Session types revisited