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

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms
Event LFCS seminar: Healfdene Goguen: Concurrency and Compositional Synchronization
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions
Event LFCS seminar: Vivek Nigam: Slow TCAM exhaustion DDoS attack
Event LFCS seminar: Ranko Lazic: The Reachability Problem for Petri Nets is Not Elementary
Event Lab Lunch by Stuart Anderson
Balancing foundational and translational research in School of Informatics
Event LFCS seminar: Nicolas Wu: Syntax and handlers for operations with scopes
Event Milner Lecture 2018: Swift Logic for Big Data and Knowledge Graphs
Speaker: Georg Gottlob, University of Oxford
Event LFCS seminar: Aggelos Kiayias: End-to-end verifiable elections
Event LFCS seminar: Prakash Panangaden: Quantitative equational reasoning
Event LFCS seminar: Ronald Garcia: Gradual Enforcement of Program Invariants
Event LFCS PhD Lunch
Pizza Lunch and informal tutorial for all LFCS PhD students
Event LFCS seminar: Maciej PirĂ³g: Handle with care: relational interpretation of algebraic effects and handlers
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 LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs
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: Georg Gottlob: General and Fractional Hypertree Decompositions: Hard and Easy Cases
Event LFCS seminar: Mitchell Wand: A Probabilistic Language with Continuous Random Variables and Recursion
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