Schools

Planned Schools

none

Past Schools

1st International School on Methodologies and Tools for Human-computer Interaction
(Rio de Janeiro, Brazil, 17-21 September 2007).

IFIP-UNU Advanced course on Networking and Security
(Maputo, Mozambique, 9-20 July and 13-17 August 2007).

School on Refinement
(Tunis, Tunisia, 13-17 November 2006).

International School on Advanced Topics in Networking, Security and Verification
(Bandung, Indonesia, 28 November - 9 December 2005).

Pernambuco School on Software Engineering: Refinement
(Recife, Brazil, 23 November - 5 December 2004).