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