|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Static Verification for Web Scripting Languages
If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.
This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
This talk is part of the Microsoft Research Cambridge, public talks series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsDPMMS Pure Maths Seminar FERSA Guest Lectures Cambridge Centre for Analysis talks
Other talksTBC (molecular mechanisms of emphysema, hypoxia and lung aging) How the brain exploits binaural hearing: more than just two bites of the cherry A close look at fast cold gas in the halo of a z > 6 QSO The labor market consequences of electricity adoption: concrete evidence from the Great Depression Microbiota, arthritis and regulatory B cells : a complex interdependent interaction Biomimetics: from nature to applications - ONE DAY MEETING