[Haskell] UTP-2014 call for participation

[Jeremy Gibbons]

*********************************************************************

                  --- 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

Jeremy.Gibbons at cs.ox.ac.uk
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/



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20140416/d59eb7cf/attachment.html>