In the absence of official minutes from Gordon Duckett, the following have been provided by Don Sannella.
Martin Escardo to convene first year PhD students progress meeting. [mhe, continued]
Another attempt will be made to conduct theme reviews, concentrating on complexity first. [grd, continued]
Allocation of new machines. [grd+dts, happened]
MLWorks site licence. [soa, continued]
Grant information (current grants and how to apply for grants) on LFCS web pages. [grd+mkl, continued]
Pursue idea of CD Rom containing LFCS reports. [grd, continued]
LFCS brochure. [grd, continued]
Lucas Aerospace link. [grd, continued]
What is the difference between LFCS as it is now and institutes? The main difference is that institutes can have responsibilities placed on them by the division.
The current plan is to delay forming institutes until various discussions have taken place. It was decided that we should say that we want to be an institute right now, rather than waiting for the outcome of these discussions. [action dts]
Laboratory for Foundations of Informatics or Computation or Computer Science? We decided on the latter -- maybe we will broaden in due course but it we should wait to see if this happens.
Interactions with the rest of Informatics (links and opportunities) should be a permanent item on the research committee agenda. [action grd]
LFCS should organize meetings to interact with others in Informatics. Such as:
There was discussion of the wording of the aims of LFCS, and various changes were suggested. [action dts -- see the application to become an Institute for what happened]
In future, we need to address the softening of boundaries (this will be solved almost without specific action) and LFCS's inertia. [action dts, grd]