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 92 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 LFCS seminar: Mark Jerrum: A polynomial-time approximation algorithm for all-terminal network reliability
Event LFCS seminar: Jessica Enright: Counting small subgraphs in multi-layer networks
Event LFCS seminar: Varun Kanade: Hierarchical clustering: Objective functions and efficient algorithms
Event LFCS seminar: Mihai Cucuringu: Robust ranking via eigenvector and semidefinite programming synchronization
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: Oliver Bračevac: The marriage of effects and joins
Event LFCS seminar: Tom Schrijvers: Explicit effect subtyping
Event LFCS seminar: Ulrich Schöpp: Interaction semantics for low-level programming and compilation
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 LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods
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 ...