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 90 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Claude Heiland-Allen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter
Event LFCS seminar: Noam Zeilberger: Lambda calculus and the four colour theorem
Event LFCS/CISA seminar: Alice Miller: Probabilistic model checking for UAV controller generation
Event LFCS seminar: Vaishak Belle: First-order probabilistic relational models
Event LFCS seminar: Ashley Montanaro: Opportunities and challenges for quantum algorithms for constraint satisfaction problems
Event Lab lunch by Paul Jackson
Finding bugs in axioms used in formal software verification
Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach
Event LFCS PhD Lunch
Pizza Lunch and informal tutorial for all LFCS PhD students
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time
Event LFCS seminar: Dan Olteanu: In-database factorized learning
Event LFCS seminar: Laurence Tratt: Fine-grained language composition
Event LFCS seminar: Edwin Brady: State machines all the way down
Event LFCS seminar: Casper Bach Poulsen: Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
Event LFCS seminar: Ornela Dardha: Session types revisited
Event LFCS seminar: Standa Zivny: Power and limits of convex relaxations
Event LFCS/CISA seminar: Ian Horrocks: Scalable reasoning for semantic technologies
Event LFCS PhD Lunch
Pizza Lunch and informal tutorial for all LFCS PhD students
Event LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time
Event Lab Lunch by Don Sannella
Marketing LFCS
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets
Event LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers
Event LFCS seminar: Ohad Kammar: A monad for full ground reference cells
Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory?
Event LFCS seminar: Danel Ahman: A fibrational view on computational effects
Event LFCS seminar: Chung-Kil Hur: A promising semantics for relaxed-memory concurrency
Event LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types
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 PhD Lunch
Pizza Lunch and informal tutorial for all LFCS PhD students