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

Subscribe to an always-updated feed of these search terms

Event Title: Reachability for Branching Concurrent Stochastic Games
Speaker: Kousha Etessami
Event Lab Lunch by Perdita Stevens
What happens at an EPSRC prioritisation panel?
Event Lab Lunch by Karoliina Lehtinen
Eliminating complexity in modal mu calculus & a brief survey of folk dancing in Edinburgh and elsewhere.
Event Title: The Digital Skills Partnership: What do we need from industry?
Speaker: Stuart Anderson
Event Lab Lunch by Anna Pappa
Nonlocality and conflicting interests
Event Lab Lunch by James McKinna
Bidirectional transformations, from a dependently-typed perspective
Event Title: Graphs, Ellipsoids, and Balls-into-Bins: A linear-time algorithm for constructing linear-sized spectral sparsifiers
Speaker: He Sun
Event Title: Constant-Delay Traversal of Grammar-Compressed Graphs
Speaker: Fabian Peternek
Event Title: Triangulating Context Lemmas
Speaker: Ian Stark
Event Lab Lunch by James Cheney
Monads and lenses
Event Lab Lunch by Andrew Drucker
Limits to Efficient Preprocessing
Event Lab Lunch - Petros Wallden
What is quantum non-locality and how to use it to maintain privacy when you don't trust your own devices.
Event Lab Lunch - Michael Fourman
Quantifying inequality in the distribution of a binary advantage.
Event Lab Lunch - Paul Jackson
Creating finite-state abstractions of continuous systems
Event Title: Mobile $r$-gather: Distributed and Geographic Clustering for Location Anonymity
Speaker: Rik Sarkar
Event Lab Lunch by Julian Bradfield
Two short talks: "The structure of events in boolean games" and "The frustrations of shooting".
Event Lab Lunch by Rahul Santhanam
Event Lab Lunch by Mary Cryan
the Hirsch conjecture
Event Title: Games for security education
Speaker: Kami Vaniea
Event Lab Lunch by Jane Hillston
Event Lab lunch by Alex Simpson
Twenty-five years in LFCS
Event Lab Lunch by Kami Vaniea
Updating Software
Event An Automatic Approach for Security Policies Generation
Event Lab Lunch by Peter Buneman
Four years of elation and frustration with rural internet
Event Title: MCMix: Anonymous Messaging via Secure Multiparty Computation
Speaker: Thomas Zacharias
Event Lab Lunch by Vladimir Nikishkin
Recent advancements in property testing. Data mining and analysis in extreme conditions.
Event Lab Lunch by Shayan Najd
Everything old is new again: Quoted Domain Specific Languages
Event More Semantics More Robust: Improving Android Malware Classifiers
Speaker: Wei Chen. See abstract below.
Event Lab Lunch with Craig Innes
Craig Innes will join us to talk about programming as an interactive experience. Biscuits will be provided as usual.
Event Composition in validated integration
Event Qualitative analysis of Vass-induced MDPs