APPENDIX 1

Proposal for a New Taught Scheme of Study

This proposal template contains five sections

A) The University of Wales Forms SCAP 1 is required for all new schemes except undergraduate Certificates of Higher Education. SCAP 1a must be completed only for any joint or combined subjects.

B) Details of the Scheme Structure that must be completed. This will enable the University’s Student Record Unit to record the scheme.

C) A Scheme Summary Form. The Planning and Resources Committee will evaluate the resource implications of the intended new scheme, and academic issues will be evaluated by the Faculty Quality Committee.

D) A Programme Specification which details the academic structure of taught schemes. This will be evaluated in detail by the Faculty Quality Committee.

E) A final section confirming that the required internal approvals have been obtained.

To assist you in accurately completing the various sections, Guidance Notes (L.1394) are available. Also available are Guidelines in the Design of New Schemes (L.1431).

Please note that the amount of space provided in each of the sections of this template is not meant to limit the amount of text you provide. Please expand where necessary.

(L.1395/LJR/Amended)

Section A – University of Wales FormsForm SCAP/1

SYNOPSIS OF A PROPOSAL FOR A SCHEME DEVELOPMENT REQUIRING FULLVALIDATION WITH A USP REPRESENTATIVE

This form must be completed by the proposing institution and three copies sent to the USP Secretariat, University of Wales Registry, King Edward VII Avenue, Cathays Park, Cardiff, CF10 3NS by 1 January prior to the proposed date of introduction. (Please see the UWS document L.1394 for guidance notes on completion.)

UW INVOLVEMENT Category 1 (full validation with a USP representative)INSTITUTIONUniversity of Wales Swansea

1.2 FULL TITLE OF SCHEME

Welsh Title: M.Res. Rhesymeg a Cyfrifiaeth

English Title:M. Res. Logic and Computation

1.3 NAME OF AWARD (eg BA, MSc, PgCert) M. Res.

1.4 INTERMEDIATE/EXIT-POINT/FALL-BACK QUALIFICATION(S), IF ANY

Postgraduate Certificate

1.5 PROPOSED DATE OF INTRODUCTION MONTH Sept YEAR 2004

1.6 PROPOSED MONTH(S) WHEN VALIDATION EVENT TO BE HELD

January – February 2004

2.1 RELEVANT UNIVERSITY OF WALES REGULATIONS Enabling Regulations

2.2 DOES THE PROPOSED SCHEME INVOLVEANY DEVIATION FROM THE REGULATIONS?

NO

3 RATIONALE FOR SCHEME To lay the foundation for a research career in industry, academia or public sector, in the field of logic based methods in Computer Science (formal specification and verification of software and hardware, model checking, formal software development and artificial intelligence).

4.1 MAIN SUBJECT AREA(S) Computer Science

4.2 DEPARTMENT(S)/SCHOOL(S)/FACULTY INVOLVED Computer Science, Mathematics

5 OTHER N/A

6Signed ………………………………………………… (for Institution Registry) Date: ………………………………

(L.1395/LJR/Amended)

Form SCAP/1APROPOSED NAMED AWARDS

(Only for Joint/Combined Schemes)

For a proposed Joint or Combined Honours scheme please list below all possible named awards arising from the proposal. (For example, if the proposal is for a new Women’s Studies Joint Honours component, the list might include award titles such as : BA Joint Honours in Women’s Studies and Welsh; BA Joint Honours in Women’s Studies and Spanish; and BA Joint Honours in Women’s Studies and Criminology.) This will enable the University of Wales Registry to maintain an accurate database of all possible approved named awards.

A copy of this form should be attached to each copy of Form SCAP/1 and sent to the USP Secretariat, University of Wales Registry.

(L.1395/LJR/Amended)

Section B Scheme Structure

1. UNDERGRADUATE SCHEMES ONLY1.1 Is this Scheme a Single Joint Major/Minor (Please tick one)

1.2 Is the final award of this scheme a: (Please tick one)Certificate Diploma/ Ordinary Degree Honours

Non-Honours Degree Degree

Integrated Graduate Graduate Other Masters, Certificate Diploma Please specifye.g. Mchem ………………

2. POSTGRADUATE SCHEMES ONLY2.1 Awards under this scheme: (please note that certificates and diplomas will only be stand alone

qualifications if specifically stated here, in the scheme summary (Section C) and programme specification (Section D))

(Please tick all that apply)

Postgraduate Certificate Postgraduate Diploma Masters degree Taught(HE4) (HE4) (HE4) doctorate

(HE5)

2.2 Is there to be a Formal Date for early submission of the dissertation? No (applicable for Taught P/G Masters only). If Yes, please stipulate:

2.3 Candidature Periods: Full-Time Study: ?? need to contact taught postgraduate administration in Academic registry

Part-Time Study:

3 .TO BE COMPLETED FOR ALL SCHEMES

3.1 Normal pattern of study: Level M 3.2 Normal duration: 1 Year

3.3 Foundation Year: NO 3.4 Special Year: None

3.5 Mode of Study: Full-time v and/or Part-time Distance Learning

3.6 Home Department: Computer Science

3.7 Name of Scheme Co-ordinator: Dr Ulrich Berger (u.berger@swansea.ac.uk)

3.8 To be offered by the Department(s) of: Computer Science

3.9 Other Department(s) involved in teaching (not already listed above): Mathematics

(L.1395/LJR/Amended)

Section C – Scheme Summary Form

For Faculty Quality Committee/Planning and Resources Committee

1. Scheme Details

1.1 Awarding Institution / Body: University of Wales1.2 Teaching Institution: University of Wales Swansea1.3 Scheme Accredited by: (e.g. Professional Body)

N/A

1.4a Final Award: M. Res.1.4b. Other Stand-alone/Exit qualifications within the scheme

None

1.5 Scheme Title: Logic and Computation1.6 Relevant QAA Subject Benchmarking Group(s):

Computing

1.7 Date of production/revision: September 2003 (approval by department of CS)1.8 Proposed Date of Introduction Month

SeptYear2004

Session2004/05

2. Academic Considerations

2.1 Introduction and Rationale

Provide an introduction to the background of the proposal, together with issues relating to validation and professional accreditation. A summary of the rationale for the scheme in the UWS context, in particular how the scheme relates to the University’s mission. A statement of the likely benefits to the University from the establishment of the scheme.

Logic is about what we can express, compute and reason. In the Twentieth Century, formal logic developed into one of the great intellectual disciplines, having a profound influence in philosophy, linguistics, mathematics, computer science, and electronics. In computing, throughout the century, logic has been the primary source of ideas and techniques for the theoretical and practical development of programming.

Today, as the scope of programming technology expands, and the horizon of users’ applications widens, research in logic and its applications in software and hardware development is booming.

This scheme will educate students in advanced techniques in logic and their applications in research problems in computer science. Students will receive an elite education of direct relevance to research and development problems in contemporary information and communication technology (ICT).

The Department of Computer Science at UWS has an established and excellent reputation for its contributions to theoretical computer science. Currently, it has great strength in logic and its applications to software technology. It is among the best places in the UK for students to receive the education we have in mind.

The scheme is directly relevant to the Research and Teaching Aims of UWS. In addition, the scheme will serve the Third Mission in attracting and educating high-calibre students with interest in the ICT sector.

Benefits to UWS

The MRes in Logic and Computation will

(i) attract very able students and give them an advanced education;(ii) nurture and expand the research student community in the Department;(iii) enhance our national and international reputation for logic and theoretical computer science;(iv) add human resources to our research programmes to the Digital Technium(v) join our portfolio of advanced courses on

MRes in Computer Graphics, Multimedia and Visualisation

(L.1395/LJR/Amended)

MSc in Computing and Software technology Meng in Computing

and make a powerful contribution to UWS mission in developing Swansea as a national centre for contemporary technology.

2.2 Scheme Aims

In bullet form, please list the intended aims of the scheme. In accordance with the University’s Careers Education, Information and Guidance Policy, at least one aim should be employment related. As defined by the Quality Assurance Agency for Higher Education, the aims express the provider's broad educational purposes in providing a scheme of study and address the question 'why is the education provided?')

The main educational aims of this programme are to provide students with

- a fundamental understanding of logic and its applications in computer science,- the ability and experience to explore, theoretically and practically, state of the art research and

development problems,- the ability to plan and complete a substantial research project,- the ability and confidence to pursue successfully careers in industrial research, or to proceed with

with further research on a PhD.

2.3 Market Research

Detailed information relating to the perceived or known market for the scheme. Statistical information must be provided from authoritative sources, such as UCAS, the British Council, professional institutions or other forms of LMI. (Please also undertake and report upon a SWOT analysis in completing this section – see the Guidelines)

Indicate how you intend to market this information via advertising brochures, leaflets, posters etc and what information you will provide e.g. fees, course structure and assessments, career destinations, fall-back qualifications available.

(i) StrengthsAt the UK and Wales level, government has recognised that it is beneficial to encourage the so-called digital economy through various initiatives and tax credits for research. In Wales, initiatives such as @Wales, and Digital Technium are explicitly aimed at creating and growing digital media companies. The Future Wales programme is seeking to encourage high growth companies in emerging technologies and generally there is a lot of support and encouragement for connections between academic research and industry.

This MRes programme is designed to take graduate students and to place them into such a vibrant and exciting environment. This programme will start at the peak of this support activity and shortly after the Digital Technium has opened on site. Students will be exposed to a culture of entrepreneurship, innovation and high-tech companies. The overall aim of this programme is to give students the research background within a major area of the digital economy upon which they can build and innovate, and the transferable skills they need to exploit their efforts. Students will be destined for further research in academia, high-tech companies, the public sector, or will consider exploiting their research through company creation.

The programme will be offered by the Department of Computer Science, which recently achieved a 5 in the 2001 RAE. Students will be immersed in a culture of research within the Theory group which consists of 8 nationally and internationally recognised researchers working in areas of theoretical computer science where methods from formal logic and the theory of computation are applied (Prof Faron Moller, Prof John V Tucker, Dr Ulrich Berger, Dr Phil W Grant, Dr Neal A Harman, Dr Olliver Kullmann, Dr Markus Roggenbach, Dr Anton G Setzer). Presently the group has also 4 PhD students and 3 research assistants.

Due to the relatively large number of staff we will be able to offer a very intensive, individual supervision throughout the programme.

The department will draw upon industrial support for the programme from Microsoft Research Labs (Cambridge), Zuehlke (Switzerland) and possibly other companies.

(L.1395/LJR/Amended)

(ii) WeaknessesUnlike its sister programme (MRes Computer Graphics, Visualisation and Virtual Environments) the MRes in Logic and Computation is located in a research area which by students is commonly considered to be extremely difficult and hard to penetrate. This programme will therefore depend on an advertising campaign that succeeds in conveying the ideas and the great career opportunities this programme bears.

(iii) OpportunitiesThis MRes programme will be an excellent opportunity to

- expand our research through MRes projects;- enthuse students for theoretical computer science and bring them on board our research group as

PhD students;- gain EPSRC or industrial funding for MRes projects.

(iv) ThreatsWe are minimising the risk by basing our programme on the research interests of the members of the Theory group. The programme might become unsustainable if we are unable to attract at least 8 students.

(v) Marketing strategyThe production of joint marketing materials for the two proposed MRes courses within the Department of Computer Science could be targeted at Computing students in departments within the UK. A poster for a mailshot to all UK and many other international CS departments will be produced and sent out by Autumn, to catch the eye of potential final-year students elsewhere. The department has contacts in most good UK Computer Science departments, and this should ensure the relevant placement in the literature. This approach should ensure sufficient interest from the target graduate market.

(vi) FundingStudents are to be self-funding. We will also seek funding from the EPSRC Collaborative Training Accounts programme.

2.4 Admissions criteria

Describe the admission requirements for the scheme, including non-standard admissions entry. Will there be an upper limit for the number or proportion of non-standard entries in any single cohort? What English-language requirements will you set and how will you verify this? See the Guidelines for more details on these matters.

The standard minimum entrance requirement will be a BSc in a Computing, Mathematics or Physics course at a level of 2(ii). Students with an Electronics or Communications degree are welcome if they can demonstrate a strong interest in Computing and Logic.

Students are required to have a minimum competence level of IELTS 6.0, TOEFL 550, or computer based TOEFL 213.

For students whose first language is not English the University Centre for Applied Language Studies provides courses of various durations. Based on scores obtained from a recognised English Language Testing Service (British Council or TOEFL) the following gives a rough guide to the length of tuition desirable.

IELTS 5.0-5.5; TOEFL 530-550; computer based TOEFL 197-213 7 weeks IELTS 5.0-5.5; TOEFL 500-550; computer based TOEFL 173-197 10 weeks IELTS 4.5-5.0; TOEFL 470-500; computer based TOEFL 150-173 15 weeks IELTS 4.0-4.5; TOEFL 430-470; computer based TOEFL 117-150 20 weeks

2.5 External Comment(s) on Standards

Please attached the written comments of the external assessor and/or Professional Body's regarding the standards of this scheme, and note any details of professional validation/exemption (if any).

(L.1395/LJR/Amended)

?? At least one comment required!

2.6 Other Issues

If relevant, any other comments relating to academic matters (e.g. the relationship between this scheme and departmental research interests):

This research is cognitive to one of the research groups within the Department of Computer Science, and will enhance the profile of this group by increasing the research activity within this area.

3. Resource Implications

3.1 Please list, by level, any new modules to be introduced so that this scheme may be offered (module proformas should be appended to the programme specification in section D of this proposal): Theory Seminar, Reading Course, both level M

Level Module title, credit value

3.2 Will the introduction of the scheme require any additional resources? Yes(If Yes, and this involves the appointment of new staff, you must append written confirmation that the resources to support the appointment of the additional member of staff. have been approved by the Cost Centre Working Group – see Guidelines. Approval by the Cost Centre Working Group is required before the proposal is submitted to the Faculty Officer.)

3.3 Where new resources are required, elaborate below, providing estimates of costs. Resources include books and periodicals, support from the Careers Centre, timetabling (in particular to avoid clashes between compulsory or core modules), staffing.

Major Resource Implications Total/Year

3.3a StaffingEach postgraduate student will be assigned to a supervisor upon entry. The supervisor will be responsible for directing the research project of the student. The following staff are directly involved with research within the area of Logic and Computation and will supervise students on the MRes Logic and Computation programme:

Prof Faron Moller, Prof. John V Tucker, Dr Ulrich Berger, Dr Phil W Grant, Dr Neal A Harman, Dr Olliver Kullmann, Dr Markus Roggenbach, Dr Anton G Setzer

Estimated Cost£ 0

3.3b Laboratory, other equipment, suppliesIt is proposed that the two MRes programmes to be offered by the Department of Computer Science should request new facilities in the form of a joint laboratory for work space and computing equipment. The laboratory should have seating for 30 students. Students will need access to moderately advanced workstations and the latest graphics cards. Good performance for price and regular refresh is more important than purchasing state-of-the-art computing facilities. Initially 15 workstations costing £1,600 each would be required with the aim of spending £400 per machine at 12 months and 24 months on the latest graphics

(L.1395/LJR/Amended)

cards, and renewing the machines after 36 months. This would average at £600 per year per student (assuming 20 students).

Further equipment would be needed for the Graphics students.In particular the Graphics students will also need access to state-of-the-art technology. Existing departmental

Estimated Cost£66000 over 3 years(£1100 per student)

Minor Resource Implications

3.3c Library and IT requirementsThe area of study is well provided for by the library. The main resources will be the following journals (which are already available as hard copies or online through LIS):

Theoretical Computer ScienceAnnals of Pure and Applied LogicJournal of Functional programmingJournal of Logic and Algebraic ProgrammingJournal of Symbolic LogicCategorical Structures in Computer Science

The department would seek to create a support library of technical material which would be located within the department and would cost £2000.

IT requirements have been mentioned in 3.3bEstimated Cost£2000

Please tick if you have discussed issues of resources with subject librarian

3.3d Timetabling implications and Space Utilisation (in particular for core/compulsory module clashes)

None

Please tick if you have discussed space needs with Timetabling Officer

Total Estimated Cost£

Please ensure that you attach the written comments of the external assessor/Professional Body.If requesting additional staffing resources, attach confirmation from the Cost Centre Working Group that these have been approved.

Section D Programme Specification For New Taught Schemes of Study

Please note: This specification provides a concise summary of the main features of the scheme and the learning outcomes that a typical student might reasonably be expected to achieve and demonstrate if he/she takes full advantage of the learning opportunities that are provided. The subject providers (i.e. departments or schools) reserve the right to modify the specific modules offered on an annual basis, provided that the aims and overall intended outcomes of the scheme are not altered. More detailed information on the learning outcomes, content and teaching, learning and assessment methods of each module can be found in the departmental or module handbook. The accuracy of the information contained in this document is reviewed by the University and may be checked by the Quality Assurance Agency for Higher Education.

1. Intended Scheme Outcomes - the scheme provides opportunities for students to develop and demonstrate knowledge and understanding, qualities, skills and other attributes in the following areas:

1.1 Knowledge and understanding

Intended Outcomes – please provide a bulleted list of between 4-10 outcomes. You do not have to provide all ten.

By the end of this scheme, students should be able to demonstrate a systematic knowledge and understanding of:

a. Advanced problem solving paradigms (divide and conquer, greedy algorithms, dynamic programming, randomisation).

b. Formal specification and modelling techniques (abstract data types, process algebra, game semantics)

c. Formal program verification techniques (model checking, term rewriting, interactive theorem proving).

d. Logical methods for program synthesis (program extraction from proofs, rapid prototyping, genetic programming).

e. Advanced functional programming (polymorphism, type classes, modules, monadic programming, higher order functions, lazy data structures).

f. The history of formal logic and its impact on the foundation of Science.g. Efficient algorithms for fragments of the SAT problem, reducing other relevant

problems to the SAT problem.h.i.j.

Teaching/learning & assessment methods to achieve and demonstrate these outcomes

Each student is assigned a supervisor upon entry who acts as a tutor throughout the year and who supervises the students project dissertation. The teaching and assessment methods in each module are described below.

- Theory seminar: Provides a broad overview of current research. Students write reports and give talks on general research topics in theoretical computer science. Reports and talks are assessed by at least two lecturers.

- Reading course: Specialized and individual study. Students and lecturers give talks on project related topics. The student talks are assessed.

- Project specification: Students write a detailed specification of their project which is assessed by two lecturers.

- Project: Students write a dissertation on their project and present the project in a viva. Dissertation and viva are assessed by two lecturers.

- Taught courses: The courses usually include assessed coursework of theoretical (problem solving, modelling) and practical (programming) nature. Each course is also assessed by a written examination

Skills and other attributes

1.2 Intellectual (thinking skills)

Intended Outcomes – please provide a bulleted list of 4-8 outcomes. You do not have to provide all eight.

By the end of this scheme, students should demonstrate an ability to:

a. mathematically model computing problemsb. analyse the computational complexity of an algorithmc. formally specify softwared. formally verify that a program meets its specification

Teaching learning & assessment methods to achieve and demonstrate these outcomes

Same as above

1.3 Practical Skills (Subject-Specific)

Intended Outcomes – please provide a bulleted list of between 4-6 outcomes. You do not have to provide all six. (This section is optional – depends on whether significant practical skills are developed in this scheme.

By the end of this scheme, students should demonstrate an ability to:

a. doing independent research in new areas of theoretical computer scienceb. solving advanced computing problems using high level programming languages c. using formal specification software d. working with interactive theorem proverse. applying SAT solvers to a variety of problems

Teaching/learning & assessment methods to achieve and demonstrate these outcomes

Same as above

1.4 Key skills

Intended Outcomes – please provide a bulleted list of between 4-6 outcomes. You do not have to provide all six.

By the end of this scheme, students should demonstrate an ability to: TO DO

a.b.c.d.e.

Teaching/learning & assessment methods to achieve and demonstrate these outcomes

Same as above

2. Scheme Content

2.1. NarrativeA substantial section explaining in detail the structure of the scheme, the identification of any pathways, its relationship to other schemes of study and faculty provision. You can include a graphic representation of the scheme in the Appendices.

This is a research oriented modular Master Scheme, consisting of Part One modules (totalling 80 credits) and Part Two (100 credits) for a total of 180 M level credits.

Successful completion of at least 80 credits in Part One will result in a Higher Education Postgraduate Certificate in Logic and Computation being awarded should the student wish to exit the scheme at that point.

In Part One there are 40 compulsory credits (Theory seminar, Reading, course, 10 credits each, and Project specification, 20 credits) and 40 optional credits to be selected from the module list below.

Students must obtain at least 40% to pass a module and at least 50% in all modules in Part One in order to qualify to proceed to Part Two – the project dissertation (100 credits). Failure to pass the dissertation will result in students being awarded a Higher Education Postgraduate Certificate.

Students will complete Part One over the Autumn term and Spring term. They will be allocated a project supervisor and do research on their project throughout the programme (beginning in September).

The scheme is offered on a full-time basis only.

Please choose the appropriate text for this award from the Guidelines, and amend relevant text, e.g. number of compulsory and optional credits. (Insert the relevant text here.)

2.2 Scheme Structure

For each level of study, please list the summary information for all modules (i.e. title and credit; and for existing modules, the module code) separated into compulsory and optional modules). Please list new modules first and append proformas for all new modules. It would be good practice to provide summary information for existing modules, in particular for the external assessor. Relevant pages from the Academic Handbook and Catalogue of Modules could be copied and attached for this purpose.

Level MCompulsory ModulesModule Code Title of module Credits(new module) Theory Seminar 10(new module) Reading Course 10(new module) Project Specification 20(new module) Project Dissertation 100Optional ModulesModule Code Title of module Credits(new module) Functional Programming and Interactive

Theorem proving15

(new module) Fundamentals of Programming languages 15(new module) Artificial Intelligence 15(new module) Constraint Satisfaction Problems and

Applications10

(new module) Logic and Semantics 10CSM71 Design Patterns and Generic Programming 10CSM13 Critical Systems 10CSM43 Algebraic Specification of Software and

Hardware10

MAP361 Optimisation 10MAP363 Combinatorics 10MAP421 Logic and Foundation 10MAP442 Number Theory 10

Level M

Potential Award(s) from completion of this level of study: Master of Research

3. Appendices

i) Staff Lists

Prof Faron Moller Models of concurrent computation. Modal and temporal logic. Equivalence and model checking of infinite state systems.

Prof. John V Tucker Mathematical Theories of specification and computation. Topological synchronous concurrent algorithms and their Applications. Logic, algebra and applications. Dr Ulrich Berger Logic, proof theory and applications. Domain Theory. Proof theory and program synthesis.Dr Phil W Grant Logic programming and expert systems. Multimedia communications. Parallel processing. Evolutionary computing.Dr Neal A Harman Algebraic specification of microprocessors and other digital hardware. Algebraic specification of languages and Environments. Formal specification methodologies.Dr Olliver Kullmann Complexity theory. Algorithms for hard problems. Combinatorial optimisation. Combinatorics. Propositional proof systems. Satisfiability problems and generalisations.Dr Markus Roggenbach Mathematical theories of specification. Algebraic specification. Process algebra. Tool support for specification languages. Programming languages.Dr Anton G Setzer Logic, proof theory, type theory, esp. Martin-Loef type theory and programming with dependent types. Theory of object Oriented programming. Theorem proving

ii) Graphic representation of scheme structure

TO DO

Section E – Approval Stages

Approval in Principle

Approved by departmental Learning and Teaching Committee: Date:…………………………………

Signed: …………………………………………………... (Head of Home Department) Date:…………………………………

Signed: …………………………………………………... (Head of other Department – if applicable) Date: ……………………………….

Additional Resources

Did you answer Yes to Q3.2 in Section C? If so, please tick to confirm that the approval of the Cost Centre

Working Group is attached.

To be completed following Review by the Faculty Quality Committee

Faculty Quality Committee Approval

Signed: …………………………………………………... (Chair of Faculty Quality Committee)

Date:……………………………….

For Office Use Only

Date approved by Planning and ResourcesDate approved by U of Wales:

SLC notified:

Admissions notified: UCAS Code:

Publications Notified: LIS/Careers Centre notified:

Database updated: Initials: