Edit detail for WorkShopRISC2008 revision 11 of 51

removed:
-"Program":http://portal.risc.uni-linz.ac.at/Members/hemmecke/aldoraxiom2008
changed:
-We then plan to cover the following topics:
-
-- **Aldor, SPAD, and the Axiom interpreter**
-
- - work on SPAD (eg., allow arbitrary conditional exports),
-
- - work on the Axiom interpreter (eg., it's signature selection algorithm), and
-
- - improve the Axiom-Aldor interaction (eg., make Axiom understand Aldor's extend or dependent signatures generated in Aldor code).
-<p></p>
-
-- **interaction of Axiom with other systems**
-
- We would like to explore the possibility and the usefulness of reusing third party code like PARI, GAP, Polymake, etc., but also interfacing with Sage.
-
-- **problems implementing mathematics in Aldor and SPAD**
-
- We would like to tackle some particularly challenging implementation problems, including
-
- - combinatorial species - the multisort case,
-
- - how to organize domains and categories for recurrences and functions,
-
- - how to organize aggregates and matrices, in particular how to ensure efficient looping over aggregate elements, etc.
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
 <table class="plain">
<thead>
<tr>
<th>Date<br /></th>
<th align="right">Time<br /></th>
<th>Who<br /></th>
<th>What<br /></th>
</tr>
</thead>
<tbody>
<tr class="odd">
<td>&nbsp;24 July<br /></td>
<td align="right">8:30</td>
<td>Hemmecke</td>
<td>Opening &amp; Organization &amp; Introduction<br /></td>
</tr>
<tr>
<td><br /></td>
<td align="right">9:30<br /></td>
<td>Rubey<br /></td>
<td>Hierarchy of Functions + discussion<br /></td>
</tr>
<tr>
<td>&nbsp;</td>
<td align="right">10:15</td>
<td>&nbsp;</td>
<td>coffee break<br /></td>
</tr>
<tr>
<td>&nbsp;</td>
<td align="right">10:30</td>
<td>Watt</td>
<td>Domain, SubDomain, and categories + discussion<br /></td>
</tr>
<tr>
<td><br /></td>
<td align="right">11:30<br /></td>
<td>Abshoff<br /></td>
<td>Integration of Aldor/panAxiom into Sage<br /></td>
</tr>
<tr>
<td>&nbsp;</td>
<td align="right">12:00</td>
<td align="left">Moreno Maza<br /></td>
<td>Efficient Implementation of polynomial arithmetic in a multi-level environment<br /></td>
</tr>
<tr>
<td><br /></td>
<td align="right">12:25<br /></td>
<td>Yuzhen Xie<br /></td>
<td>Parallel Aldor (Efficient Memory Management)</td>
</tr>
<tr>
<td><br /></td>
<td align="right">12:45<br /></td>
<td><br /></td>
<td>lunch</td>
</tr>
<tr>
<td><br /></td>
<td align="right">14:25</td>
<td>Watt<br /></td>
<td>Layering in the Aldor Library. What is really builtin?<br /></td>
</tr>
<tr>
<td>&nbsp;</td>
<td align="right">15:00</td>
<td><br /></td>
<td>break</td>
</tr>
<tr>
<td><br /></td>
<td align="right">15:40<br /></td>
<td>Watt</td>
<td>Licencing</td>
</tr>
<tr>
<td><br /></td>
<td align="right">16:55<br /></td>
<td>Dos Reis</td>
<td>The OpenAxiom scientific computation platform</td>
</tr>
<tr>
<td><br /></td>
<td align="right">17:30<br /></td>
<td><br /></td>
<td>End<br /></td>
</tr>
<tr>
<td>25 July</td>
<td align="right">9:00<br /></td>
<td>Hemmecke<br /></td>
<td>Organizational Items<br /></td>
</tr>
<tr>
<td><br /></td>
<td align="right">9:15<br /></td>
<td>Hebisch</td>
<td>FriCAS and Its Future</td>
</tr>
<tr>
<td><br /></td>
<td align="right">10:50<br /></td>
<td><br /></td>
<td>coffee break</td>
</tr>
<tr>
<td><br /></td>
<td align="right">11:20<br /></td>
<td>Watt</td>
<td>"extend" and "Meet"?</td>
</tr>
<tr>
<td>&nbsp;</td>
<td align="right">12:45</td>
<td>&nbsp;</td>
<td>lunch</td>
</tr>
<tr>
<td><br /></td>
<td align="right">14:30<br /></td>
<td>Watt/Dos Reis<br /></td>
<td>Multisorted algebras--solving the type parameter problem</td>
</tr>
<tr>
<td><br /></td>
<td align="right">15:55<br /></td>
<td>Watt</td>
<td>Renaming of exports + discussion</td>
</tr>
<tr>
<td><br /></td>
<td align="right">16:15<br /></td>
<td><br /></td>
<td>break</td>
</tr>
<tr>
<td><br /></td>
<td align="right">16:45</td>
<td>Page</td>
<td>Python (class/metaclass) vs. Aldor (domain/category)<br /></td>
</tr>
<tr>
<td><br /></td>
<td align="right">17:20<br /></td>
<td>Hemmecke</td>
<td>Multisorted Species and problems with the Aldor Language</td>
</tr>
<tr>
<td><br /></td>
<td align="right">18:20<br /></td>
<td><br /></td>
<td>End<br /></td>
</tr>
<tr>
<td>26 July<br /></td>
<td align="right">9:00</td>
<td>Hemmecke</td>
<td>Organizational Items</td>
</tr>
<tr>
<td><br /></td>
<td align="right">9:30<br /></td>
<td>Hemmecke</td>
<td>Status of Aldor-FriCAS</td>
</tr>
<tr>
<td><br /></td>
<td align="right">11:30</td>
<td><br /></td>
<td>coffee break<br /></td>
</tr>
<tr>
<td><br /></td>
<td align="right">11:45<br /></td>
<td>van Steenhoven<br /></td>
<td>Aldor Compiler<br /></td>
</tr>
<tr>
<td><br /></td>
<td align="right">13:15<br /></td>
<td><br /></td>
<td>End of Workshop/lunch<br /></td>
</tr>
</tbody>
</table>

removed:
-
-
-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