next up previous contents
Next: Small Visits and Up: First Annual Meeting Previous: Visitors

Planned Activities

The meeting identified the following themes for activity in the coming year. Note that not all activities are of equal importance to every site.

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