Home | People | Software | Jobs | MaGiX@LiX | Services
MaGiX@LiX 2011 Program
Home | Participants | Program | Abstracts | Practical information | Registration

Printable version

Monday (amphi Gay-Lussac)

10h00 – 12h30

Morning session (chairman: Benjamin Werner)

10h00 – 10h40 Registration, coffee
10h40 – 10h50 Welcome
10h50 – 11h40

Klaus Weihrauch (A Foundation of Computable Analysis, the Representation Approach)

11h40 – 12h30 Éric Walter (Interval Analysis for Guaranteed Set Estimation)
12h30 – 14h00 Lunch
14h00 – 17h50 Afternoon session (chairman: Joris van der Hoeven)
14h00 – 14h50 Kyoko Makino (Taylor models and their applications)
14h50 – 15h40 Mickaël Gastineau & Jacques Laskar (Trip)
15h40 – 16h10 Coffee break
16h10 – 17h00 François Boulier (The FreeMabSys project and the Blad librairies)
17h00 – 17h50 François Lemaire (The FreeMabSys project and the MabSys library)

Tuesday (amphi Gay-Lussac)

09h30 – 12h30 Morning session (chairman: Marc Giusti)
09h30 – 10h20 William Hart (Fast Library for Number Theory, Flint)
10h20 – 10h50 Coffee break
10h50 – 11h40 Grégoire Lecerf (Mathemagix libraries)
11h40 – 12h30

Fabrice Rouillier (Exact computations and topology of plane curves)

12h30 – 14h00 Lunch
14h00 – 17h50 Afternoon session (chairman: François Boulier)
14h00 – 14h50

Marc Moreno Maza (Optimizing computer algebra software for data locality and parallelism )

14h50 – 15h40 Mohab Safey el Din (RAGlib: The Real Algebraic Geometry Library)
15h40 – 16h10 Coffee break
16h10 – 17h00 Claude Gomez & Serge Steer (Scilab: What's new ?)
17h00 – 17h50 Damien Stehlé (FPlll)

Wednesday (amphi Monge)

10h00 – 12h00 Morning session (chairman: Stephen Watt)
10h00 – 10h50 Bernard Mourrain (Geometric Modeling and Computing with Axel)
11h10 – 12h00 Massimiliano Gubinelli (A TeXmacs tutorial)
12h00 – 19h00 Excursion to Vaux de Cernay abbey

Thursday (amphi Monge)

10h00 – 12h50 Morning session (chairman: Daniel Grayson)
10h00 – 10h50

Quentin Carbonneaux & François Clément & Pierre Weis (Parallel programming with Sklml)

10h50 – 11h10 Coffee break
11h10 – 12h00 Joris van der Hoeven (Mathemagix Compiler)
12h00 – 12h50

Marc Pouzet (Some recent developments and extensions of Synchronous Languages)

12h50 – 14h10 Lunch
14h10 – 18h00 Afternoon session (chairman: Massimiliano Gubinelli)
14h10 – 15h00 Daniel Grayson (Macaulay2)
15h00 – 15h50 Hans Schönemann (Anatomy of Singular)
15h50 – 16h20 Coffee break
16h20 – 17h10 Stephen Watt (What Can We Learn from Aldor?)
17h10 – 18h00

Gabriel Dos Reis (An OpenAxiom Perspective on Pathways towards Dependable Computational Mathematics)

Friday (amphi Sauvy)

09h50 – 12h20 Morning session (chairman: Bernard Mourrain)
09h50 – 10h30 Angelos Manzaflaris (Geometric computation behind Axel modeler)
10h30 – 11h00 Coffee break
11h00 – 11h40

Stephen Watt (The Mathematics of Mathematical Handwriting Recognition)

11h40 – 12h20 Joris van der Hoeven (Semantic editing with GNU TeXmacs)
12h20 – 14h00 Lunch
14h00 – 17h50 Afternoon session (chairman: Grégoire Lecerf)
14h00 – 14h50

Jean-Michel Muller (Exact computations with an arithmetic known to be approximate)

14h50 – 15h40 Paul Zimmermann (Gnu Mpfr: back to the future)
15h40 – 16h10 Coffee break
16h10 – 17h00

Jean-Charles Faugère (High Performance Implementation for Change of Ordering of Zero-dimensional Gröbner Bases)

17h00 – 17h50

Emmanuel Thomé (Cado-nfs: An implementation of the Number Field Sieve)

This webpage is part of the MaGiX project. Verbatim copying and distribution of it is permitted in any medium, provided this notice is preserved. For more information or questions, please contact Joris van der Hoeven.