RADICAL 2010, International Workshop on Relations and Data Integrity Constraints and Languages. May 10-11, 2010, Microsoft Research, Cambridge, UK.

RADICAL is a workshop on databases and programming languages, with an emphasis on connections between databases and recent advances in type systems and logics, especially dependent type systems incorporating data constraints.

Organising committee:
* Andrew D. Gordon (convenor), Microsoft Research
* David Langworthy, Microsoft Corporation
* Philip Wadler, University of Edinburgh

Check out the web page, and drop us a line if you'd like to attend.

Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?