SPONSORS

UTP 2012 : 4th International Symposium on Unifying Theories of Programming

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

Registration is now open


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.

Previous Editions