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

Subscribe to an always-updated feed of these search terms

Event Lab Lunch by Kyriakos Kalorkoti
Two Brief Talks: Solving Ɓukasiewicz mu-terms, and Photographing LFCS.
Event Lab Lunch by Ian Stark
REMS: Rigorous Engineering for Mainstream Systems
Event Lab Lunch by Shayan Najd
Everything old is new again: Quoted Domain Specific Languages
Event Lab Lunch by Mary Cryan
the Hirsch conjecture