Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006