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 80 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: 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: TBA
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: TBA