Unifying Theories of Programming

UTP 2012: Paris, France

UTP 2010: Shanghai, China

UTP 2008: Dublin, Ireland

UTP 2006: Walworth Castle, County Durham, UK