Welcome to UTP 2012
4th International Symposium on Unifying Theories of Programming
August 27 - 28, 2012
Paris, France
http://utp12.lri.fr/
For more information e-mail: utp12@lri.fr
The International Symposium on Unifying Theories of Programming (UTP 2012) is the 4th in a serie of symposia,
that have been succesful in bringing together innovators and practitioners working on unifying theories of programming.
UTP 2012 will take place on August 27th-28th, 2012 in Paris, France. It is co-located with the 18th International Symposium on Formal Methods, FM 2012.
The symposium is organized by the ForTesSE research group of the LRI and
Paris-Sud XI university.