The Computer Science Committee advises Council on all matters relating to the development of links between mathematics and computer science and undertakes further tasks as required or approved by Council.

Terms of Reference

1. To inform the membership of the LMS on items of general interest involving both mathematics and computer science;
2. To promote publications and meetings which keep mathematicians and computer scientists informed of developments of mutual interest in research and in education;
3. To promote in industry, in commerce and in the scientific civil service an appreciation of the inter-relations between mathematics and computing.

Membership
T. Melham (Chair), M. Ainsworth, J. Cooke (BCS–FACS), A. Czumaj, K. Paterson, V. Sassone, C. Turner (EPSRC observer), vacancy.

Dates of Meetings
The Committee meets twice annually, once in March/April and once in October/November.

Grants
The Committee oversees the Scheme 7 grants programme. In addition, the committee also makes support available for the annual British Colloquium for Theoretical Computer Science (BCTCS)  for a high-profile speaker.

Reports
The Committee publishes, in association with the Smith Institute, Knowledge Transfer Papers.

Useful Links
BCS-FACS
BCTCS