Jonathan

I am still interested - but can't do anything until after the first call
submission date

cliff

At 10:44 2003-03-14, Jonathan Bowen wrote:
>Dear all,                    (cc Traian Muntean)
>
>Traian Muntean and I had a productive meeting in Brussels recently. After
>discussions with CEC officials and between ourselves, we have decided it may
>be better to go for a Coordination Action (CA) rather than a full Network of
>Excellence for FMnet. This would be more on the scale of an FP5 Working
>Group and we feel this is more realistic given the proposed scope of the
>Action. In addition, the "open development platforms for software and
>services" strategic objective which seems to fit better with our objectives
>than the area of dependability and security. An advantage of this is that it
>is part of the 2nd call later this year which gives use some time to prepare
>properly.
>
>We propose to work mainly in the area of improving tools for formal methods
>in a coordinated manner since we feel that this is one area where formal
>methods is seriously lacking and which is holding back the industrial use of
>formal methods. In particular, we would like to encourage the
>interoperability of tools where possible. Associated standards development
>could also be included.
>
>We invite you to join this proposal by giving your ideas of how you could
>contribute to such a CA, assuming you are interested. We would like to know
>with which of the proposed partners you might be especially interested in
>cooperating and also if you think there are any serious omissions, bearing
>in mind the limitations of size for a realistic CA. It may be that a core of
>critical partners could form an associated full project as well. We would be
>grateful for initial feedback to confirm your interest in this proposal and
>then more considered feedback with material suitable for inclusion in the
>proposal in due course.
>
>Please note I am away at a conference 16-24 March, but I will collate
>replies after that and assess how to proceed.
>
>To remind you, information on FMnet can be found under www.fmnet.info.
>
>Best regards,
>
>Jonathan
>
>--
>Prof. Jonathan Bowen, Professor of Computing
>London South Bank University, CISM, Borough Road, London SE1 0AA, UK
>Tel: +44 (0)20 7815 7462/7420    Fax: +44 (0)870 133 8371
>Email: [log in to unmask]  URL: http://www.sbu.ac.uk/~bowenjp/
>Centre for Applied Formal Methods: http://www.cafm.sbu.ac.uk/
>Museophile Limited: http://www.museophile.com/
>Personal:
>Email: [log in to unmask]    URL: http://www.jpbowen.com/