# MGS Christmas Seminar 2011

The MGS Christmas Seminar 2011 takes place in Birmingham on

## Tuesday, 20 December 2011, 14:00h-17.30h

in UG40, School of Computer Science, University of Birmingham. For instructions
how to reach the School, see here.
## Programme

**14:00h-15:00h**

*How computer science helps to bring quantum physics to the masses. *

Bob Coecke, Oxford University

We present computational aspects of quantum theory in a computer science dress and show how this not only helps towards novel quantum technologies but also allows for a more intuitive presentation of the theory which doesn't require a background in mathematical physics. In particular, the language that we will use closely resembles flowcharts. We also illustrate how this research is transcendental with respect to disciplinary boundaries and has helped in solving problems in other areas, most notably, natural language processing.
References:

** 15:00h-15:30h**
*Coffee*

** 15:30h-16:30h**

*A Tutorial on Concurrent and Parallel Programming in Haskell
*

Satnam Singh , University of Birmingham

This tutorial introduces practical aspects of writing concurrent and
data-parallel programs in the pure lazy functional programming language
Haskell. The focus will be about writing concurrent and parallel programs
for multi-core processors but alternative computing elements like GPUs
(graphic processing units) and FPGAs (Lego-like circuits) will also be
considered.

** 16:30h-17:30h**

* Can we make a decision?
*

Rick Thomas, University of Leicester

The notion of decidability is a fundamental one in Computer Science. In this talk we will discuss the decidability of certain questions with a particular emphasis on some problems in mathematics. The talk will not assume any prior knowledge of decidability (or the problems from mathematics that we consider) and will take the form of a survey (as opposed to going into any technical details).

*Page maintained by E.Ritter@cs.bham.ac.uk
*

Last modified: Thu Dec 15 08:49:10 GMT 2011