HATS project members are organizing the International School on Formal Models for Objects and Components.
The school will be held at the University Residential Center of Bertinoro (Italy), September 24-28, 2012.