Keynote talk at School of Computer Science Research Students' Symposium 2011

[hafeed]

Maybe some of you have not been notified about this talks and would be
interested in attending it.

Subject: Symposium Keynote Talk, Tuesday 11:00am, Kilburn 2.19
Date: Mon, 31 Oct 2011 09:41:27 +0000
From: Joshua Knowles <j.kn...@manchester.ac.uk>
To: acs...@cs.man.ac.uk, research...@cs.man.ac.uk



Dear all,

This is a reminder that you are all invited to tomorrow's Research
Student Symposium Keynote talk in
Kilburn 2.19 at 11.00am.

** Coffee will be available in there from 10.45am. **

Details of the talk are available at the website
http://www.cs.manchester.ac.uk/pgr/symposium/

and below.

best wishes
Joshua


Keynote Speaker: Prof Achim Jung (U. Birmingham)
Title: From mathematics to computer science

Abstract: This could be the motto of my own academic career, starting
in
the Mathematics Department of the Technical University in Darmstadt to
today's appointment in the School of Computer Science in Birmingham,
but
it is the intellectual interface between these two disciplines I wish
to
talk about. In the natural sciences, and in physics in particular, it
has
been argued that mathematics exhibits an "a priori" usefulness, and
this
has led to much speculation why the universe should be comprehensible
in
mathematical terms. In computer science we also use mathematical
language
and mathematical theories, but one should perhaps not speak so much of
"applicability" of one to the other, but of a rich and constantly
evolving
relationship between the two disciplines. I will trace one instance of
this relationship; that which starts with Church's lambda calculus in
the
1930s and has since led to the development of programming languages
such
as Haskell.

--
Joshua Knowles .. j.kn...@manchester.ac.uk
http://www.cs.manchester.ac.uk/~jknowles/
Machine Learning and Optimization Group
School of Computer Science, University of Manchester, UK
and
Manchester Interdisciplinary Biocentre www.mib.ac.uk