Tuesday June 29th 2004 - Friday July 2nd 2004
See some pictures of the meeting at 
http://www.univ-rouen.fr/LIFAR/csca/mupad/index.html
This meeting took place at the Faculty of Sciences of the University of Rouen. The goal was to foster exchanges in our little but quickly growing community, and in particular:
- help our new users get started with a tutorial, - share experience, in particular with our new developers, - have informal discussions, design, and coding on specific themes, - code, code, code, design, design, design, code, code, code,
Well, those days have been really intensive and the goals have been well met! We would like to thank the LIFAR laboratory for its support and to Éric for the very nice organization.
- Monday 28th: Early arrival of the organizers for preparing the tutorial
- Tuesday 29th:
- Main theme: getting new users started
- 11h-12h Presentation of MuPAD-Combinat for newcomers and outsiders
(at the "divisible" room of the "maison de l'Université")
- 12h-13h First steps with MuPAD-Combinat
- 13h-14h Lunch
- 14h-18h Tutorial on the following topics:
- Main components of MuPAD-Combinat
- ...
We will bring exercises, but feel free to bring yours, and prepare your questions!
- Wednesday 30rd:
- Main theme: combinatorial (Hopf) algebras, symmetric functions, and path algebras (Carquois)
- 9h-10h: (Florent? Nicolas?) Implementing combinatorial Hopf algebras in MuPAD
- 10h-: open discussions, ...
- Thursday 1st:
- Main theme: Weighted Automata system, modules, rational expressions, ...
- 9h-10h: (Houda? Éric?) Weighted automata in MuPAD
- 10h-10h30: (Hatem) Splitting modules using minimization theory of automata
- 10h30-11h: (Isabelle, Teddy) Weighted automata, MuPAD-Combinat and LinBoX
- 11h-: open discussions, ...
- 14h-15h: (Gérard) Physics, diagrams, packed matrices, Taylor expansion associated to infinite matrices.
- Conclusion of the LogoAndNickNameContest
- 20h: conference dinner at the restaurant Pascaline.
Do you know the Pascaline machine? See at http://lecture.eingang.org/pascaline.html.
- Friday 2nd:
- Main theme: Decomposable objects, counting, unranking, random,
and exhaustive generation of combinatorial classes
- 9h-10h: Xavier Molinero
- 10h-: open discussions, ...
- Saturday 3rd:
- Prolongation for those interested
Other topics:
- Demonstrations: - Sparse linear algebra, linbox, ... - Invariant theory, and in particular invariant rings of permutation groups - Future prospects for MuPAD-Combinat - Getting help on designing and writing ones programs: - Designing new domains - Code reviews - Writing tests and doc - Cleanup of makeLinear and similar + change of coeffRing - Elimination techniques in combinatorial (Hopf) algebras and modules (Groebner, SAGBI, SAGBI-Groebner bases) - Inventing or designing new structures and/or improving existing computation methods; extending classes of functions that can be handled (as already are
holonomic series for ex.) by CAS.
- Éric Laugerotte - eric.laugerotte@univ-rouenXX.fr - - Conrado Martinez - martinez@lsi.upcXX.es - - Xavier Molinero - molinero@lsi.upcXX.es - - Nicolas Thiéry - nthiery@users.sourceforgeXX.net - - Hatem Hadj Kacem - hatem.hadj-kacem@univ-rouenXX.fr - - Houda Abbad - houda.abbad@lycosXX.com - - Florent Hivert - florent.hivert@univ-mlvXX.fr - - Teresa Gomez Diaz - teresa@univ-mlvXX.fr - - Christophe Carré - christophe.carre@univ-rouenXX.fr - - Benoist Gaston - benoist.gaston@univ-rouenXX.fr - - Gérard Duchamp - gduchamp2@freeXX.fr - - Faissal Ouardi - faissal.ouardi@univ-rouenXX.fr - - Sandrine-Dominique Gouraud - sandrine-dominique.gouraud@lriXX.fr - - Jean-Philippe Dubernard - jean-philippe.dubernard@univ-rouenXX.fr - - Patrick Le Meur - lemeur@math.univ-montp2XX.fr - - Pol Morin - pol.morin@ens-lyonXX.fr - - Khatatneh Khalaf - khatatneh.khalaf@univ-rouenXX.fr - - Christopher Creutzig - ccr@mupadXX.de - - Claude Dellacherie - claude.dellacherie@univ-rouenXX.fr -
Everyone asked for a similar workshop to be organized next year, or even sooner in some smaller 1/2 days format. Here are some notes for improving the setup next time. Please feel free to add more comments and suggestions!
Altogether, the prominent feature was to have a lot of small informal discussions to let the knowledge flow in the group (typical setup: 2 beginners and a more advanced user around a computer doing together a code review). For this, it is important to have a setup that allows for moving quickly from one place to the other, and making small groups. Also, it's good to have a blackboard and beamer where someone can just stand up at any time, and start explaining something of general interest. Altogether, the ideal setup consists of a computer lab (say 5-10 machines + space for laptops), with the computers on the sides, and a blackboard and beamer. It can be good to have some separate rooms with blackboard for longer discussions between 3/5 persons. No strongly enforced program, apart from one day of guided tutorial, and a few relatively short presentations grouped by theme.
Éric: I think that 3 days would be a good timing for a next meeting. Probably, two 1/2 days for tutorials or first steps with the environment, one day for short presentations, not necessarily grouped by theme. But for the last day, separate discussions in different room and a closing session. May and June are good months for me and perhaps for teachers in spite of number of conferences at these dates.
To register, please send a short email (Eric.Laugerotte at univ-rouen.fr; nthiery at users.sf.net) with the following information, and edit this page to your liking.
Name: E-Mail: Position: Phone: Address: Can you get funding (from your lab, ...) for coming (travel):
- How to reach the campus? By train from Paris (Saint Lazare station), when leaving the railway station of Rouen, take the bus 4, direction "Parc de la Vatine". Stop at "Place Colbert". The campus is accross the street. Go to the 3rd floor of the building Faculty of Sciences at "Place Émile Blondel". See more informations at