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

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Michel Schellekens: Modular algorithm analysis
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras
Event LFCS seminar: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
Event LFCS seminar: Nada Amin (cancelled due to strike)
Event LFCS seminar: Andreas Galanis: TBA
Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic
Event LFCS seminar by Dr. Justin Ward (Warwick)
Iterative Rounding Algorithms for Stochastic Probing Problems
Event LFCS seminar by Prof. Adriana Compagnoni (Stevens)
A Calculus of Located Entities
Event LFCS seminar by Prof. Paul Goldberg (Oxford)
A Random Walk in One-sided Matching Markets
Event LFCS Away Day 2014
The LFCS Away Day will be an opportunity to spend time away from the Informatics Forum, listening to stimulating talks, taking part in networking and ...
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 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 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