[Vsr-users] Mondex papers - reminder + update

[Leo F. <le...@cs...>]

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