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

Subscribe to an always-updated feed of these search terms

Event Lab Lunch talk by Ilias Garnier
Application of space-partitioning techniques to ray-tracing.
Event Lab Lunch talk by Diego Figueira
50 shades of bread
Event Lab Lunch talk by Wenyuan Yu
Incremental Detection of Inconsistencies in Distributed Data
Event Lab Lunch talk by James McKinna
Provisionally entitled: 'provisionality'; cognitive dimensions of programming-as-proof-search
Event Lab Lunch talk by Liz Elliot
Institutes and money
Event Lab Lunch talk by Vashti Galpin
Hybridising PEPA and beyond
Event Lab Lunch talk by Dimitrios Milios
Markov Chain Simulation with Fewer Random Samples
Event Lab Lunch talk by Brian Campbell
Trip report: Certified Programs and Proofs 2012