LFCS Research Committee

March 1998
----------
  AGENDA

  1. Matters arising from the minutes of the last meeting

     The last meeting was on 11 June 1997.  You should all have a copy
     of the minutes -- if not, ask Kendal.  Copies are being sent to
     Roni, Ian and Martin.

  2. Director's and Assistant Director's report

     Publicity, grand challenges, Lucas Aerospace, grant activity,
     Milner lecture, research reviews, etc.

  3. Systems Level Integration initiative

     How should LFCS position itself with regard to this?  According to
     the SLI inaugural lecture recently, some of the things that we do
     in LFCS are highly relevant.

     Copies of some slides will be circulated before the meeting.

  4. Industrial interaction

     Do people actually want to interact?  What sectors of industry
     should we be targeting?

  5. Research themes

     The current set of themes (logic and proof; concurrency; language
     and semantics; complexity and algorithms; formal development of
     programs and systems) reflects what was happening in LFCS in the
     early 90's.  Should they be updated?  What to?  What is their
     purpose and how can we make better use of them?

  6. Any other business