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

Subscribe to an always-updated feed of these search terms

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 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 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 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