Next: Small Visits and
Up: First Annual Meeting
Previous: Visitors
The meeting identified the following themes for activity in the coming
year. Note that not all activities are of equal importance to every
site.
- A critical appraisal of case studies and methodologies
employed by each site, to be undertaken by all other sites. A meeting
specifically focusing on case studies is to be held in the coming
year, provisionally in Amsterdam.
- Work on further case studies to be undertaken, with particular
interest paid to the IFIP WG 10.2 Benchmark List of J Staunstrup and
T Kropf.
- A study of the theory and use of streams to be undertaken by
sites for which this is a specific concern. A meeting specifically
focusing on streams is to be held in the coming year, in Munich.\
- A study of concepts of correctness to be undertaken.
- Work on NGHDL to continue. A meeting specifically focusing on
NGHDL to be held in conjunction with the next annual meeting in
Uppsala.
In addition, M Sheeran is organising a combined Designing Correct
Circuits/Theorem Provers in Circuit Design meeting in Sweden in 1996.
Given the interest of NADA participants, and that the next annual
meeting in Sweden, M Sheeran and Uppsala will coordinate on the timing
of these two meetings.
Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995