MaGiX@LiX 2011 Program

MaGiX@LiX 2011 Program

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)

© 2011 Joris van der Hoeven

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.