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

Subscribe to an always-updated feed of these search terms

Event LFCS seminar by Prof. Petros Drineas (RPI)
Randomized Algorithms in Linear Algebra and Applications in Data Analysis
Event LFCS seminar by Prof. Graham Cormode (Warwick)
Differentially Private Mechanisms for Data Release
Event LFCS seminar by Dr. Utz-Uwe Haus (ETH)
Monotone Boolean Functions in Systems Biology
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions
Event LFCS 'Away Day'
Event Lab Lunch by Wenfei Fan
Querying Big Graphs: Theory and Practice
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub
Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions
Event LFCS seminar: Vivek Nigam: Slow TCAM exhaustion DDoS attack
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 LFCS seminar: Aggelos Kiayias: End-to-end verifiable elections
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 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