From: Leo F. <le...@cs...> - 2006-11-30 10:44:46
|
Dear colleagues, Our deadline for the Mondex papers is approaching. According to Jim, the format of the issue should contain ten papers: "eight recording the work of individual groups; one introducing the problem; and one concluding and comparing the approaches and results. The largest issues of FACJ are 160 pages in length in facj.sty, so this gives a provisional budget of 16 pages per paper". We are still waiting news on this. The introductory paper will contain information from the original monograph as it was together with extensive discussion material motivating the work to follow. Jim also mentioned some useful references/pointers related to the grand challenge and the repository: " First, three papers by Tony Hoare that set out what a grand challenge is in general, and what the verified software challenge is in particular. * C. A. R. Hoare: The verifying compiler: A grand challenge for computing research. J. ACM 50(1): 63-69 (2003) * Tony Hoare, Robin Milner: Grand Challenges for Computing Research. Comput. J. 48(1): 49-52 (2005) * Tony Hoare. The Ideal of Verified Software. Proceedings CAV2006 Computer Aided Verification, 18th International Conference, Seattle, August 17-20, 2006. Thomas Ball and Robert B. Jones (editors). Lecture Notes in Computer Science 4144:5-16 Springer (2006). An article that describes the Repository: * Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock. The verified software repository: a step towards the verifying compiler. Formal Aspects Computing 18(2):143-151 (2006). Next, two articles that describe our challenge, and that mention Mondex and the Augsburg work: * Cliff Jones, Peter W. O'Hearn, Jim Woodcock. Verified Software: A Grand Challenge. IEEE Computer 39(4):93-95 (2006). * Jim Woodcock. First Steps in the Verified Software Grand Challenge. IEEE Computer 39(10):57-64 (2006). And finally, an article that describes the work we did in Z. * Jim Woodcock, Leo Freitas. Z/Eves and the Mondex Electronic Purse. Kamel Barkaoui, Ana Cavalcanti, and Antonio Cerone (editors). Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, November 20-24, 2006. Lecture Notes in Computer Science 4281:15-34 Springer (2006). There will be a further paper in Science of Computer Programming based on the short descriptions everyone provided, and with a author list of all contributors, but this also has an end-of-the-year deadline. " Hope you find that useful. Best, Leo |