International Workshop on
Relations and Data Integrity Constraints and Languages

May 10-11, 2010, Microsoft Research, Roger Needham Building, Cambridge, United Kingdom

Latest News


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.

We aim to cover significant recent developments in directions including (but not limited to) the following:

Organising Committee

Call for Speakers

We are thrilled to announce that the following leading researchers have agreed to speak at RADICAL 2010:

We seek presentations of the best work-in-progress from members of our community. To this end, contributions will not be refereed or published, so that authors are free to publish completed papers at refereed venues. We will collect presentation materials, such as PDFs of slides, and also links to draft papers.

Important Dates


To register, please email msrcevnt at microsoft.com with the following information:

Thanks to generous sponsorship from Microsoft Research, there is no registration fee, and we have some funds available to subsidise participants, particularly students; just contact us to apply for this support.

Local Arrangements


We have a block of rooms reserved at the Arundel House, a traditional English hotel on the banks of the River Cam. We have a full two day programme, so we recommend staying for three nights. To book your accommodation please call the Arundel House on +44 1223 367701 and quote reference: MS Radical Workshop. Double Rooms, sole occupancy with continental breakfast are £95 per night.

Apart from the Arundel, please see here and here for recommended hotels, maps, and travel information.

Bike Hire

An easy and pleasurable way to get around Cambridge is by bicycle, Cambridge is well accustomed to cyclists, with several bike hire shops, the closest shop to the Arundel House is Bike Hire Online which is situated by Jesus Green lock on Chesterton Road. Please go to Think! Road Safety for further advice and tips on road safety. To get to Microsoft Research via bike, the quietest and most scenic route is via the Coton foot path, which begins at Adams Road (before Robinsons College), alternatively you can access the site via the A1303. (Cambridge cycle route map).

Cambridge is a beautiful medieval university town, a short train ride north of London.  RADICAL takes place in the Roger Needham Building, named after a pioneer of logics for security, and home to Microsoft's European research laboratory.

We are working to gather a diverse and stimulating group of researchers to make being in Cambridge this May for RADICAL a lot of fun!


RADICAL 2010 is sponsored by Microsoft Research.