UNU-IIST International Institute for Software Technology UNU-IIST Report No. 347 R Pre-event Proceedings of the 1st International Workshop on Formal Methods for Interactive Systems FMIS 2006 Antonio Cerone and Paul Curzon (eds) 31 October 2006