Edit detail for WorkShopRISC2008 revision 22 of 51

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51

Editor: hemmecke
Time: 2008年07月28日 08:37:05 GMT-7

Note:

added:
<a href="http://axiom-wiki.newsynthesis.org/uploads/Watt-RenamingExports.pdf">Watt-RenamingExports.pdf</a>

Aldor & Axiom Workshop 2008

part of

RISC Summer 2008

Hagenberg, Austria

24-26 July 2008

The workshop aims at a cooperation of Aldor, Axiom, OpenAxiom?, and FriCAS? developers with developers of packages written for other Computer Algebra Systems, and mathematicians that would like to use a computer algebra system to perform experiments.

Registration

Registration is handled via the general RISC Summer 2008 Registration. The fee (30 EUR) does not cover hotel, lunch, dinner, and transportation to Hagenberg. You may reserve a hotel room in Hagenberg through the registration page.

Topics

Similar to 2006 and 2007, the workshop will be organized as a mixture of talks and discussions. We will begin with an introduction to Axiom and the Aldor language, including a comparison with the approach employed by Sage and Python.

Participants:

Michael Abshoff
Christian Aistleitner
Gabriel Dos Reis
Johannes Grabmeier
Waldek Hebisch
Ralf Hemmecke
Marc Moreno Maza
Bill Page
Pippijn van Steenhoven
Emil Volcheck
Stephen Watt
Yuzhen Xie

Program

Date	Time	Who	What
24 July	08:30	Hemmecke	Opening & Organization & Introduction
	09:30	Rubey	Hierarchy of Functions + discussion
10:15	coffee break
10:30	Watt	Domain, SubDomain?, and categories + discussion
	11:30	Abshoff	Integration of Aldor/panAxiom into Sage
12:00	Moreno Maza	Efficient Implementation of polynomial arithmetic in a multi-level environment
	12:25	Yuzhen Xie	Parallel Aldor (Efficient Memory Management)
	12:45		lunch
	14:25	Watt	Layering in the Aldor Library. What is really builtin?
15:00		break
	15:40	Watt	Licencing
	16:55	Dos Reis	The OpenAxiom? scientific computation platform
	17:30		End
25 July	09:00	Hemmecke	Organizational Items
	09:15	Hebisch	FriCAS? and Its Future
	10:50		coffee break
	11:20	Watt	"extend" and "Meet"?
12:45	lunch
	14:30	Watt/Dos Reis	Multisorted algebras--solving the type parameter problem
	15:55	Watt	Renaming of exports + discussion
	16:15		break
	16:45	Page	Python (class/metaclass) vs. Aldor (domain/category)
	17:20	Hemmecke	Multisorted Species and problems with the Aldor Language
	18:20		End
26 July	09:00	Hemmecke	Organizational Items
	09:30	Hemmecke	Status of Aldor-FriCAS?
	11:30		coffee break
	11:45	van Steenhoven	Aldor Compiler
	13:15		End of Workshop/lunch