*********************************************************************
--- Call For Participation ---
5th International Symposium on Unifying Theories of Programming
Singapore, 13th May, 2014
In association with FM 2014
http://www.comp.nus.edu.sg/~pat/UTP2014/index.html
**********************************************************************
Invited talk:
Ian Hayes, University of Queensland
Separating concerns of rely and guarantee in concurrent program derivation
Contributed papers:
http://www.comp.nus.edu.sg/~pat/UTP2014/accepted_papers.html
Registration:
http://www.comp.nus.edu.sg/~pat/FM2014/registration.html
About the Symposium:
Interest in the fundamental problem of the combination of formal notations and
theories of programming has grown consistently in recent years. The theories
define, in various different ways, many common notions, such as abstraction,
refinement, choice, termination, feasibility, locality, concurrency and
communication. Despite these differences, such theories may be unified in a
way which 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 are to reaffirm the
significance of the ongoing UTP project and to stimulate efforts to advance.
The Symposium provides a focus for the sharing of results by those already
actively contributing, and raises awareness of the benefits of such unifying
theoretical frameworks among the wider computer science and software
engineering communities.
Tutorial on UTP, May 12:
http://www.comp.nus.edu.sg/~pat/FM2014/tutorial.html
[email protected]
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283521
http://www.cs.ox.ac.uk/people/jeremy.gibbons/
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
