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

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Anastasis Georgoulas: Probabilistic programming process algebra
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education?
Event LFCS seminar: KC Sivaramakrishnan: Practical Algebraic Effect Handlers in Multicore OCaml
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T
Event LFCS seminar: Sam Tobin-Hochstadt: Typed Racket and gradual typing
Event Lab Lunch by Roly Perera
Event Lab Lunch by James Cheney
Inside the sausage factory, or: what it's like to be on a standards committee
Event Lab Lunch by Stephen Gilmore
Model-checking Edinburgh Buses
Event Lab Lunch by Tamise Totterdell
Edinburgh Research Explorer, PURE and Research Data Management
Event LFCS seminar: Andrea Cali: Searching and querying the deep web: a foundational approach
Event LFCS seminar: Dan Ghica: Diagrammatic Operational Semantics for Digital Circuits
Event LFCS seminar: Clemens Kupke: Learning via Coalgebraic Logic
Event Course on Dependently typed metaprogramming (in Agda) by Conor McBride
Event LFCS seminar: Mayank Goswami:Distance sensitive Bloom filters without false negatives
Event LFCS seminar: Dominic Orchard: Fine-grained program reasoning via graded modal type theories
Event LFCS seminar: Richard Mayr: On strong determinacy of countable stochastic games
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks
Event Lab Lunch by Alex Simpson
Fuzzy logic for parallel probabilistic systems
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types
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: Philip Scott: An introduction to many-valued logics and effect algebras
Event LFCS seminar: Razvan Stanica
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