Electronic Notes in Theoretical Computer Science: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)
Judi Romijn, Graeme Smith, Jaco van de Pol · Integrated Formal Methods · 2007
This volume contains the extended papers from five presentations of the doctoral symposium that was organised as part of IFM2005. The conference on Integrated Formal Methods was held for the fifth time in November/December 2005, at the Technische Universiteit Eindhoven in The Netherlands. The conference addressed the integration of formal methods, and attempted to provide meaningful and effective answers to questions regarding inter-model consistency, and completeness and correctness of implementations. The IFM2005 doctoral symposium attracted 20 submissions from all over Europe, from which 13 quality presentations were selected. The symposium proved a lively and interesting occasion where young researchers benefited from the experience of presenting their work in public, getting feedback from their colleagues, and attending the invited tutorial as well as the main conference. Afterwards, based on proposals by the symposium speakers for extending their contribution, we invited a selection for submission, and finally accepted five extended symposium papers.