|
|
|
1824 |
|
|
Weekly Newsletter |
29 March 2010 |
|
Contents |
News from Head of SchoolComputing 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 EventsMATLAB and Simulink Seminar 13 April 10 Full day from 09:30 Lecture Theatre B, 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) 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 AwardsNew awards Title: Automated Prover
Generation |
|
|
|
|