Electronic Notes in Theoretical Computer Science: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)

Electronic Notes in Theoretical Computer Science: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) (2007) . Edited by Judi Romijn, Graeme Smith and Jaco van de Pol. IFM 2005: Fifth International Conference on Integrated Formal Methods. Doctoral Symposium, 29 November 2005, Eindhoven, Netherlands.


Title of proceedings Electronic Notes in Theoretical Computer Science: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)
Editor Judi Romijn
Graeme Smith
Jaco van de Pol
Conference name IFM 2005: Fifth International Conference on Integrated Formal Methods. Doctoral Symposium
Conference location Eindhoven, Netherlands
Conference dates 29 November 2005
Convener Mathematics and Computer Science, Technische Universiteit Eindhoven
ISBN 1571-0661
Place published Amsterdam, Netherlands
Publisher Elsevier
Publication date 2007
Volume number 191
Start page 1
End page 113
Total pages 113
Language eng
Formatted Abstract/Summary
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.
Q-Index Code E4
Q-Index Status Provisional Code
Institutional Status Non-UQ
Additional Notes Publication date: 6 October 2007. Abstract and DOI from the Volume Preface.

Document type: Conference Proceedings
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 21 Apr 2011, 10:32:23 EST by Graeme Smith on behalf of School of Information Technol and Elec Engineering