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

Subscribe to an always-updated feed of these search terms

Event Lab Lunch with Andrew Sogokon
Andrew Sogokon will be our speaker. Biscuits will be provided as usual.
Event Lab Lunch with Howard Lin
Howard Lin will join us at Lab Lunch to speak about "Applying Research Ethical Approval and R&D from NHS for researchers in Informatics without permanent UK ...
Event Lab Lunch by Ian Stark
REMS: Rigorous Engineering for Mainstream Systems
Event Lab Lunch with Steve Renals
Title: REF-2021
Event Lab Lunch with Aggelos Kiayias
Blockchain Protocols
Event Lab Lunch by Richard Mayr
Minimizing nondeterministic automata: From words to trees
Event Title: Compiler-Assisted Test Acceleration on GPUs (for Embedded Software)
Speaker: Vanya Yaneva
Event Lab Lunch by Andy Gordon
Prof. Andy Gordon will talk about indexed models for classifiers and clustering in Tabular.
Event Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems
Speaker: Cheng Feng. See abstract below.
Event Lab Lunch Talk by Nassim Seghir
Nassim Seghir will give a lab lunch talk on Verification and Certification of Android Apps
Event Lab Lunch Talk by Matteo Cavaliere
The Rise and Fall of Cooperative Communities (and why Prosperity may be Associated with Instability)
Event Title: Computability in real and complex analysis: some recent progress
Speaker: John Longley
Event Lab Lunch by Brian Campbell
Event Lab Lunch by Danel Ahman
Event Lab Lunch by David Aspinall
Investigatory Powers and Responsibilities
Event Lab Lunch by Jonh Longley
The recursion hierarchy for PCF is strict
Event Lab Lunch Talk by Stratis Viglas
Write-limited sorts and joins for persistent memory
Event LFCS Christmas Quiz
Event Lab Lunch Talk by Anastasis Georgoulas
Machine Learning for Formal Dynamical Systems
Event Lab Lunch with Elham Kashefi
Elham Kashefi will join us at Lab Lunch to talk about Quantum-enhanced Secure Delegated Classical Computing. Biscuits will be provided.
Event Lab Lunch with Keith Edwards
Title: What your Business Development Executive (BDE) can do for you
Event Consensus in the Blockchain Era
Event Lab Lunch by Wei Chen
Towards Understanding Behaviours of Android Applications
Event Lab Lunch by Kousha Etessami
The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game of perfect recall.
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 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