Such a network already existed when CoLogNET started, and its web site is at:
That seminal home page need be supplemented. And that is what we are doing. In close collaboration with the main person who is responsible for The FM Page, Prof. Jonathan P. Bowen.
Area 7 has therefore redefined its effort to cover the following activities - as can be seen from web-site The CoLogNET Fotmal Methods Main Page
This report, is for ease of reference, and because a split up along the lines of otherwise prescribed D7.1, D7.2, and D7.3 deliverables is not logical, assembled as one report.
Workpackage 8 touches upon the following areas:
We refer to web page: Formal Methods
Some of these pages have been written. Others will be solicited during the FM03 FM Symposium September 8-13, 2003, Pisa, Italy.
We refer to web page: The Logics of Specification Languages
We have solicited the writing of the following papers:
Please refer to the immediately preceeding item: On The Logics of Specification Languages.
Except for the DC paper, all of the above mentioned have now been written and all have been processed, by me, each through three referees and accepted.
They will be published as a double issue of the
Please refer to the immediately two preceeding items: On The Logics of Specification Languages and Journal Double Issue.
There are now plans, being worked out with Prof. Branislav Rovan, Comenius University, Bratislava, Slovakia, to hold a two week PhD summer school at the Slovak Academy retreat in the High Tatras, June 7-18, 2004.
Speakers will be one author from each of the eight papers listed above. Some 40 PhD students shall come, 20 from Eastern Europe, some 20 from Western Europe.
Please refer to the immediately three preceeding items: On The Logics of Specification Languages, Journal Double Issue and PhD School.
As a result of these last three activities we expect, and are negotiating with Cambriudge University Press and with Springer-Verlag, to publish expanded version of the above mentioned papers plus one on VDM-SL, together with CD-ROM based tool set software for each of these eight methods cum languages.
We refer to web page: Grand Challenges
for an overview of this effort. And we refer to its separate web pages:
Work on the Grand Challenge items will be resumed in late September 2003.
We refer to the net page. and its referenced web document:
A Teaching Formal Methods Symposium ?
The idea is to organise a special symposium, in 2004, on The Teaching of Formal Methods.
We refer to web page: IDAY02
A special one day event was held at the 2002 FLoC conference, as part of the FME Symposium.
A number of industrialists using formal methods presented their work on using formal methods in industry, for real customers.
Presentations at this Industry Day 2002 event will be made available over the net sometime this fall when all speakers have delivered their power point presentations.
for information abot a follow-up on the 2002 event.
Again a number of industrialists, using formal methods, will present their work on using formal methods in industry, for real customers, and again we will make all presentations available on the web later this fall.
Considerable work has been put into assembling - hopefully some - 30 industries worldwide into an assocation as named above.
We refer to web pages:
A consultant, Mr. Tim Denvir has been hired by me to help me assemble these industries, to write the Charter, By-Laws and other related documents.
A ForTIA brochure is being assembled by Tim Denvir to be printed and distributed at FM03, Pisa, 8-13 Sept., 2003.
We refer to web page:
Workpackage 8, Area 7 Budget and Accounts
on which you will, continuously, find the current status of the Area 7, Workpackage 8, budget and accounts.
This document was generated using the LaTeX2HTML translator Version 2K.1beta (1.47)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 -toc_depth 6 /home/db/colognet/reports/D7123-html.tex
The translation was initiated by on 2003-08-23