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 Lab Lunch by Alex Simpson
Fuzzy logic for parallel probabilistic systems
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types
Event LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods
Event LFCS seminar: Yitong Yin: Local distributed sampling from locally-defined distribution
Event LFCS seminar: Tomas Petricek: Programming as human data interaction
Event LFCS seminar: Carl Hewitt: Scalable Intelligent Systems by 2025
Event Pizza lunch welcoming new LFCS PhD students
We have nine new PhD students starting at LFCS this year, with an induction day on Friday next week. As part of this we are holding a pizza lunch ...
Event PhD lightning talks
Short talks by PhD Students for PhD Students
Event SICSA workshop on Computational Ecology
The objective of this workshop is to bring together SICSA researchers who are currently actively working on, or interested in, developing dynamic models of ...
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: Inapproximability of the independent set polynomial in the complex plane
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: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings
Event LFCS seminar: Juan Sequeda: Integrating Semantic Web in the Real World: A journey between two cities
Event LFCS seminar: Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions
Event LFCS seminar: Sayan Bhattacharya: Some Recent Advances in Dynamic Graph Algorithms
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