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