Short course or Array and Tensor-based computation

During her visit as a SICSA Distinguished Visitor (Feb 1st - Feb 14th), Lenore Mullin

http://www.gla.ac.uk/departments/computingscience/people/visitors/lenoremullin/

is offering a 3-lecture short course on array and tensor-based computation; including her work on the mathematics of arrays and the psi calculus. Further details are below.

If you are interested in attending, please contact Paul Keir
<pkeir@dcs.gla.ac.uk> by return. This is not taken as confirmation of attendance; and can also express interest if you are uncertain of whether you can attend some or all of the course.


-----------------------------------------------------
Short Course - Array and Tensor-based Computation
Lenore Mullin
-----------------------------------------------------

Monday the 8th February at 10-11am,     Room SAWB-423
-----------------------------------------------------
Introduction.
Thinking in Arrays and why scalar, and structured
matrices are arrays.
=====================================================

Tuesday the 9th February at 10-11am,    Room SAWB-423
-----------------------------------------------------
Implementation.
Why can't interpretive languages perform as well as
compiled languages, some thoughts on how to solve
this problem.
=====================================================

Wednesday the 10th February at 10-11am, Room SAWB-422
-----------------------------------------------------
Program equivalence.
Can we prove the equivalence of programs both
semantically and operationally?
=====================================================


--
Paul Keir
Research Student
University of Glasgow
Department of Computing Science
pkeir@dcs.gla.ac.uk
Tel: +44 (0) 141 330 5542