Watt
2012
Program
Abstracts
Travel Information
Fotos
PROGRAM OF Watt 2012
The Watt Workshop on Symbolic Computation
Saturday 22 September 2012

Edinburgh, Scotland

Room EM 1.70



10:00 - 10:50 A Cluster of Languages for Mathematical Computing
Stephen Watt
10:50 - 11:40 Ursula Martin
Online/off line - mathematical culture in the age of the internet
11:40-12:30 On the Computerisation of Mathematics slides
Fairouz Kamareddine
12:30 - 14:00 BREAK
14:00 - 14:50 Interactive vs. automated proofs in computational origami slides
Tetsuo Ida
14:50 - 15:40 SymGrid-Par: a System for Parallel Symbolic Computation on Large-scale Distributed Systems slides
Hans-Wolfgang Loidl
15:40 - 17:00 DEMO and DISCUSSION

15:40 - 16:10 A demo of the "Symbolic Computation Software Composability Protocol and Its Implementation"
Alexander Konovalov

16:10 - 17:00 Discussion