4th International Symposium on Unifying Theories of Programming (UTP 2012)

Organized by Marie-Claude Gaudel University Paris XI

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.

UTP 2012 Program

more info at

2nd International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2012)

Organized by Zhiming Liu, UNU-IIST, Macao

Information and communication technology plays an increasingly enabling role in addressing the global challenges of healthcare, in both the developed and the developing world, that are the concern of the United Nations, its Peoples and Members States. The use of software in medical devices is already raising issues in relation to safety and efficacy for manufacturers and regulators. Health information systems raise issues of both privacy and confidentiality, on the one hand, and, increasingly, patient safety on the other. Hospital and other information systems raise important issues of efficacy and interoperability. However, to capitalize on the potential of this technology in reshaping healthcare demands focused research on sound and safe development techniques from software engineering, electronic engineering, computing science, information science, mathematics, and industrial engineering.

FHIES 2012 Program

more info at