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 by Colin Stirling
From model checking and equivalence checking to type checking
Event Lab Lunch by Vincent Danos
Thermodynamic graph-rewriting
Event Lab Lunch by John Wilson-Kanamori
From writing fiction to writing papers: a personal tale
Event Lab Lunch by Richard Mayr
Playing Energy Games or What is it like to ski in the southern hemisphere?
Event Lab Lunch by Ian Stark
Succession Planning for Informatics Head of School
Event Lab Lunch by Domagoj Vrgoc
Containment of negative upward-downward fragments of conjunctive positive XPath with reverse axes
Event Lab Lunch by Jiansen He
Having Cloud in Hand: Google vs Amazon
Event Lab Lunch by Ezra Cooper
The Timeless Way of Building