20 January 2016 Agenda

Informatics Board of Studies for Agenda 20 January 2016, 2.00pm, 1. B10, Forresthill.

Agenda:

1. Apologies

2. Minutes of the Previous Meeting

3. Matters Arising

4. (5 mins) Course Proposal: Categories and Quantum Informatics – C. Heunen (Proposal).

Categories and Quantum Informatics 11 (39.54 KB PDF)

5. (5 mins) Course Proposal: Automated Reasoning (full proposal) – J. Fleuriot (Proposal).

6. (25 mins) For Discussion: Restructuring of 3^rd Year – B. Franke (Proposal).

Year 3 Curriculum proposals (336.3 KB PDF)

7. (2 mins) For Approval: 15/16 KIS LT&A Data and Programme Accreditation Data – K. Hardman (Document 1, 2, 3).

Approval of KIS Data (75.38 KB PDF)

KIS Data for Approval (136.32 KB PDF)

Accreditation for approval by Board of Studies (168.97 KB PDF)

8. (5 mins) For Information:  Proposed Changes to Computer Science/Electronics Programmes – J. Thompson/ L. Haworth (Proposal).

BoS Informatics Engineering (334.29 KB PDF)

9. AOCB