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 Lab Lunch by Wilmer Ricciotti
Wilmer Ricciotti will speak about Formal Language Theory in MF2. Biscuits as usual by Fabian Peternek.
Event Teaming with Estonia
Event Variations on Variants
Event Title: Hardware Bitcoin Wallets: how secure are they, anyway?
Speaker: Andriana Gkaniatsou
Event Lab lunch by Vashti Galpin
Modelling residential smart grids
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 Title: An Operational Approach to Consistent Query Answering
Speaker: Andreas Pieris
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.