UTP 2019 - Call for Participation

by Pedro Ribeiro, Sept. 3, 2019

7th International Symposium on Unifying Theories of Programming
Porto, Portugal, 8 October, 2019

Co-located with the 3rd World Congress on Formal Methods 2019.

-- 50th anniversary (October 1969) of "An axiomatic basis for
computer programming”. --

Special edition on the occasion of Sir Tony Hoare's 85th
birthday, featuring a keynote from Tony on "A Calculus for
Concurrent and Sequential Programming".

-----------------------------------------------------------------
#UTP2019 - Call for Participation
-----------------------------------------------------------------

7th International Symposium on Unifying Theories of Programming
Porto, Portugal, 8 October, 2019
www.cs.york.ac.uk/circus/utp2019

Co-located with the 3rd World Congress on Formal Methods 2019.

**Highlights**

-- 50th anniversary (October 1969) of "An axiomatic basis for
computer programming”. --

* Special edition on the occasion of Sir Tony Hoare's 85th
  birthday, featuring a keynote from Tony on "A Calculus for
  Concurrent and Sequential Programming".

* Illustrious invited speakers and papers from the UTP community.

* Early-bird registration until the 10th September 2019 at
  https://bit.ly/2JfdBjO.

* Further to the Industry day, Tool Exhibition, Doctoral
  Symposium (and a social event on Oct 10), FM'19 involves more
  than 30 parallel events (symposia, conferences, workshops and
  tutorials), bringing together a distinguished group of 40+
  world-top guest speakers (https://bit.ly/2Io2Lsh).

-----------------------------------------------------------------
Overview
-----------------------------------------------------------------

The main motivation for the 7th edition of the symposium is to
celebrate Tony Hoare’s 85th Birthday.

Established in 2006, the UTP symposium series aims at bringing
together researchers with interest in the fundamental problem of
the combination of formal notations and theories of programming.
The theories define, in various different ways, many common
notions, such as abstraction, refinement, composition,
termination, feasibility, locality, concurrency and communication.
Despite these differences, such theories may be unified in a way
that greatly facilitates their study and comparison. Moreover,
such a unification offers a means of combining different
languages describing various facets and artifacts of software
development in a seamless, logically consistent, way.

Hoare and He's Unifying Theories of Programming (UTP) is widely
acknowledged as one of the most significant such unification
approaches. Based on their pioneering work, the aims of the UTP
symposium series reaffirm the significance of the ongoing UTP
project and stimulate efforts to advance.

-----------------------------------------------------------------
Invited Speakers
-----------------------------------------------------------------
Featuring invited papers, and talks by:

* Bernhard K. Aichernig
* Andrew Butterfield
* Simon Foster
* Walter Guttmann
* Ian J. Hayes
* David Naumann
* Jim Woodcock
* Naijun Zhan
* Huibiao Zhu

-----------------------------------------------------------------
Registration
-----------------------------------------------------------------
Now open at: https://bit.ly/2JfdBjO

* Early - until Sep 10 (AoE)
* Late - from Sep 11 until 5 Oct (AoE)
* On site - from Oct 6 to Oct 11 (AoE)