default search action

combined dblp search
author search
venue search
publication search

ask others

Unifying Theories of Programming (UTP)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

UTP 2019: Porto, Portugal

- view
  authority control:
- export record
  dblp key:
  - conf/utp/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2019
Pedro Ribeiro, Augusto Sampaio:
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Lecture Notes in Computer Science 11885, Springer 2019, ISBN 978-3-030-31037-0 [contents]

UTP 2016: Reykjavik, Iceland

- view
  authority control:
- export record
  dblp key:
  - conf/utp/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2016
Jonathan P. Bowen, Huibiao Zhu:
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10134, Springer 2017, ISBN 978-3-319-52227-2 [contents]

UTP 2014: Singapore

- view
  authority control:
- export record
  dblp key:
  - conf/utp/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2014
David A. Naumann:
Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8963, Springer 2015, ISBN 978-3-319-14805-2 [contents]

UTP 2012: Paris, France

- view
  authority control:
- export record
  dblp key:
  - conf/utp/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2012
Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi:
Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7681, Springer 2013, ISBN 978-3-642-35704-6 [contents]

UTP 2010: Shanghai, China

- view
  authority control:
- export record
  dblp key:
  - conf/utp/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2010
Shengchao Qin:
Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings. Lecture Notes in Computer Science 6445, Springer 2010, ISBN 978-3-642-16689-1 [contents]

UTP 2008: Dublin, Ireland

- view
  authority control:
- export record
  dblp key:
  - conf/utp/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2008
Andrew Butterfield:
Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5713, Springer 2010, ISBN 978-3-642-14520-9 [contents]

UTP 2006: Walworth Castle, County Durham, UK

- view
  authority control:
- export record
  dblp key:
  - conf/utp/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2006
Steve Dunne, Bill Stoddart:
Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4010, Springer 2006, ISBN 3-540-34750-X [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.