To those with an interest in the proposed FMnet Network of Excellence On Saturday 19 October 2002 I attended the Formal Methods Europe AGM in Pisa and discussed the proposed network. I hope that FME will be heavily involved in the formation of the Network. Prof Dines Bjorner also mentioned the existing CoLogNET Network of Excellence on computational logic (see www.colognet.org ), with which it would be worth liaising. I have also created a mailing list for those interested in the Network using the UK academic JISCmail mailing list facility. This is accessible via http://www.jiscmail.ac.uk/lists/FMnet.html and this email is the first to be sent to this mailing list. You are welcome to post messages relevant to FMnet to this list. Only subscribers make post messages which should keep the amount of spam email to a minimum. You can also control your subscription email address at this web address. For the future, I understand that the Call for Proposals for Framework 6 is likely to become available at the beginning of December. In the meantime, if anyone has suggestions for further partners not included in the Expression of Interest linked under the FMnet website ( www.fmnet.info and www.afm.sbu.ac.uk/fmnet ), please send full contact details and brief information on expertise and interests. -- Prof. Jonathan Bowen, Professor of Computing School of Computing, Information Systems and Mathematics (SCISM) South Bank University, 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/ Personal: Email: [log in to unmask] URL: http://www.jpbowen.com/