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

Subscribe to an always-updated feed of these search terms

Event Lab Lunch by Faron Moller
Professor Faron Moller from Swansea University will talk about Technocamps, an outreach programme he runs in Wales.
Event Title: "How standard is the Standard?
Speaker: Leonid Libkin
Event Title: The geometry of Boolean algebra
Speaker: Chris Heunen
Event Lab Lunch with Stratis Viglas
At this additional Lab lunch Stratis Viglas will chair a discussion of nominations for Milner Lecturers.
Event Lab Lunch by Tomasz Gogacz
Determination of queries by views
Event Lab Lunch by Wilmer Ricciotti
Wilmer Ricciotti will speak about Formal Language Theory in MF2. Biscuits as usual by Fabian Peternek.
Page Lab Lunch talks 2018
Talks are on Tuesdays, starting at 1:00pm, in The Informatics Forum, Room MF2 4.40 (Mini-Forum 2, Level 4).
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 Teaching theoretical computer science: a personal experience
Speaker: He Sun
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