help links subscribe changes refresh edit

	PanAxiomCommunity
WorkShopRISC2007 ←	↑

WorkShopRISC2008

last edited 16 years ago by hemmecke

Edit detail for WorkShopRISC2008 revision 27 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 09:08:17 GMT-7
Note:

changed:
-<td>Opening &amp; Organization &amp; Introduction<br /></td>
<td>Opening &amp; Organization &amp; Introduction
<a href="http://axiom-wiki.newsynthesis.org/uploads/Goals.pdf">(goals)</a>
</td>

changed:
-<td>Domain, SubDomain, and categories + discussion<br /></td>
<td>Domain, SubDomain, and categories + discussion
<a href="http://axiom-wiki.newsynthesis.org/uploads/Watt-SubDomain.pdf">(slides)</a>
</td>

changed:
-<td>Layering in the Aldor Library. What is really builtin?<br /></td>
<td>Layering in the Aldor Library. What is really builtin?
<a href="http://axiom-wiki.newsynthesis.org/uploads/Watt-Layering.pdf">(slides)</a>
</td>

changed:
-<td>Licencing</td>
<td>Licencing
<a href="http://axiom-wiki.newsynthesis.org/uploads/Licencing.pdf">(slides)</a>
</td>

changed:
-<td>The OpenAxiom scientific computation platform</td>
<td>The OpenAxiom scientific computation platform
<a href="http://axiom-wiki.newsynthesis.org/uploads/DosReis-OpenAxiom.pdf">(slides)</a>
</td>

changed:
-<td>FriCAS and Its Future</td>
<td>FriCAS and Its Future
<a href="http://axiom-wiki.newsynthesis.org/uploads/Hebisch-FriCAS.pdf">(slides)</a>
</td>

changed:
-<td>"extend" and "Meet"?</td>
<td>"extend" and "Meet"?
<a href="http://www.csd.uwo.ca/~watt/pub/reprints/2006-dsal-postfacto.pdf">(article about "extend" and "Meet")</a>
</td>

changed:
-<td>Multisorted algebras--solving the type parameter problem</td>
<td>Multisorted algebras--solving the type parameter problem
<a href="http://axiom-wiki.newsynthesis.org/uploads/WattDosReis-MultisortedAlgebras.pdf">(slides)</a>
</td>

changed:
-<td>Renaming of exports + discussion</td>
<td>Renaming of exports + discussion
<a href="http://axiom-wiki.newsynthesis.org/uploads/Watt-RenamingExports.pdf">(slides)</a>
</td>

changed:
-<td>Multisorted Species and problems with the Aldor Language</td>
<td>Multisorted Species and problems with the Aldor Language
<a href="http://axiom-wiki.newsynthesis.org/uploads/MultisortSpecies.pdf">(slides)</a>
<a href="http://axiom-wiki.newsynthesis.org/uploads/Hemmecke-Multisort.pdf">(extras)</a>
</td>

changed:
-<td>Status of Aldor-FriCAS</td>
<td>Status of Aldor-FriCAS
<a href="http://axiom-wiki.newsynthesis.org/uploads/AldorFriCAS.pdf">(slides)</a>
<a href="http://axiom-wiki.newsynthesis.org/uploads/Hemmecke-AldorFriCAS.pdf">(details)</a>
</td>

changed:
-<td>van Steenhoven<br /></td>
-<td>Aldor Compiler<br /></td>
<td>van Steenhoven</td>
<td>Aldor Compiler
<a href="http://axiom-wiki.newsynthesis.org/uploads/Steenhoven-AldorCompiler.pdf">(slides)</a>
</td>

changed:
-<a href="http://axiom-wiki.newsynthesis.org/uploads/DosReis-OpenAxiom.pdf">DosReis-OpenAxiom.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Hebisch-FriCAS.pdf">Hebisch-FriCAS.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Hemmecke-AldorFriCAS.pdf">Hemmecke-AldorFriCAS.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Hemmecke-Multisort.pdf">Hemmecke-Multisort.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Licencing.pdf">Licencing.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Steenhoven-AldorCompiler.pdf">Steenhoven-AldorCompiler.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/WattDosReis-MultisotedAlgebras.pdf">WattDosReis-MultisotedAlgebras.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/WattDosReis-MultisortedAlgebras.pdf">WattDosReis-MultisortedAlgebras.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Watt-Layering.pdf">Watt-Layering.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Watt-RenamingExports.pdf">Watt-RenamingExports.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Watt-SubDomain.pdf">Watt-SubDomain.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/Goals.pdf">Goals.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/AldorFriCAS.pdf">AldorFriCAS.pdf</a>
-
-
-<a href="http://axiom-wiki.newsynthesis.org/uploads/MultisortSpecies.pdf">MultisortSpecies.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 (goals)
	09:30	Rubey	Hierarchy of Functions + discussion
	10:15		coffee break
	10:30	Watt	Domain, SubDomain?, and categories + discussion (slides)
	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? (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)
	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)
	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

Travel information:

Information can be found on the page How to reach RISC

Organisers: Ralf Hemmecke and Martin Rubey