School of Computer Science

Weekly Newsletter

29 March 2010


News from HoS

This Week

School Events

External Events

Funding Opps

Prize & Award Opps

Research Awards

Staff News




News Submissions

Newsletter Archive

School Strategy

School Intranet

School Seminars

ESNW Seminars

NaCTeM Seminars


News from Head of School

Computing at School Conference

On Wednesday 17th March, Computing at School held a conference for sixth form students from across the region hosted here at the School of Computer Science.  Just under 100 students, the majority being sixth formers, attended.  The speakers for the event were Steve Furber, Sean Bechhofer, Martyn Amos from MMU, Paul Curzon from Queen Mary's CS4fun project, Chris Child from games company Childish Things, MSc student Toby Ternent, and Alex Dobinson a student delegate from St. Ambrose College. Feedback from teachers and students was very positive, describing it as an informative and inspiring day with particular comments on the quality of the speakers and the impact created by the range of both topics and speaker gravitas. Many thanks go to Steve Furber, Sean Bechhofer and Toby Ternent.



MATLAB and Simulink Seminar 13 April 10

Full day from 09:30 Lecture Theatre B, Roscoe Building

This one day seminar is open to all postgraduate students and staff and will look at how MATLAB, one of the most important pieces of mathematical software available today, and Simulink, can enhance research and teaching within the University of Manchester.  The event will consider a range of application areas, highlighting many of the latest features and functionality.


BCTCS 2010 6-9 April

26th British Colloquium for Theoretical Computer Science (BCTCS)

University of Edinburgh

The purpose of the BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The conference will consist of invited keynote presentations by distinguished researchers and a number of contributed talks.

Registration closes on 2 March 2010 or when numbers reach capacity.



Research Awards

New awards

Title: Automated Prover Generation
Funding Body: EPSRC
PI: Renate Schmidt
Award Amount: 498,442