Unifying Theories of Programming (UTP)

UTP 2019: Porto, Portugal

UTP 2016: Reykjavik, Iceland

UTP 2014: Singapore

UTP 2012: Paris, France

UTP 2010: Shanghai, China

UTP 2008: Dublin, Ireland

UTP 2006: Walworth Castle, County Durham, UK

a service of Schloss Dagstuhl - Leibniz Center for Informatics