Animation of the scientific community
We continued to organize a bi-weekly seminar called ``Formes & Formules''. The list of talks is available at http://www-sop.inria.fr/galaad/index.php?option=com_content&task=blogcategory&id=23&Itemid=162 .
Relations with LSIIT
We are in relation with the Laboratory of Sciences, Computer graphics and Teledetection of Strasbourg (LSIIT, UMR 7005 CNRS-ULP). Arnaud Fabre came in visit one week at GALAAD, visit during which he made demonstration of his achievements in the field of constraint modeling in 3D. He presented a software, CoyoteVR, which allows the modeling of geometric constraints in a virtual reality environment. Scenes built using this tool, are exported in a formalism defined by Julien Wintz, when they worked together, GCML which allow to define with ambiguity a geometric constraint system, using first order logic. Work between Arnaud and Julien lead to a plugin for the definition and the resolution of geometric constraint system in axel .
Julien has given, at the days of computer graphics french community 2006, in Bordeaux, a talk on the compilation of knowledge based systems for geometric constraint symbolic resolution. This work initiated before his PhD thesis, under the direction of Pascal Schreck, is continued as a collaboration, which will allow, according to the same principle, automatic compilation of plugins for Axel by using a syntactic base and a semantic base, possibly defined in GCML as well.
Two publications on the application of the compilation process for the generation of symbolic solvers of geometric constraint systems are currently in redaction. After the Afig days, Julien went one week in Strasbourg, which gave the opportunity was the occasion to work at the same time on the constraints plugin for Axel with Arnaud, and on compilation with Pascal. A discussion with Ludovic Sternberger is to define how, porting Axel towards virtual reality can be performed.
A. Galligo is a member of the program comittee of the cycle of conference MEGA, the next one, MEGA'07 will be held in Austria.
B. Mourrain was a member of the programm comittee of the conference SMI'06 (International conf. on Shape Modeling and Applications), Matsushima, Japan, 14-16 June, CASC'06 (International Workshop on Computer Algebra in Scientific Computing), Moldovia, 11-15 September,
M. Elkadi, B. Mourrain, R. Piene [Univ. Oslo] are editors of the book "Algebraic Geometry and Geometric Modeling", which appeared as  .
L. Busé, M. Elakdi and B. Mourrain are preparing a special issue of Theoretical Computer Science, for the conference Computational Algebraic Geometry and Applications , held in Nice on the occasion of the 60th birthday anniversary of André Galligo.
Organisation of conferences and schools
Bernard Mourrain, Ollivier Ruatta and Jacques-Arthur Weil organised the workshop Matrices structurées, équations différentielles et calcul formel , Limoges, 18-19 January.
Laurent Busé organized with Marc Chardin a week conference at CIRM, Luminy, 15-19 may 2006, Elimination theory and applications in honor of Jean-Pierre Jouanolou; 42 international participants; Web page of the conference:
Laurent Busé, Mohamed Elkadi and Bernard Mourrain organized then international conference Computational Algebraic Geometry and Applications , at Nice, 2-6 june 2006, on the occasion of the 60th birthday of André Galligo; 40 international participants; Web page:
Laurent Busé and Bernard Mourrain organized with C. D'Andrea, R. Goldman, L. González-Vega and M. Sombra, 4-7 september 2006, the conference Algebraic Geometry and Geometric Modeling 2006 ; Web page: http://www.imub.ub.es/aggm06/ ; 38 international participants.
PHD thesis commitees
A. Galligo was President of the Jury of the PhD thesis of Mauricio Araya (Inria Sophia, Tropics) at UNSA in November 2006.
B. Mourrain was referee for the Ph.D of A. Ayad (Univ. Rennes), P. Johansen (Univ. Oslo).
L. Busé is an elected member of the administrative council of the SMF (the French Mathematical Society).
B. Mourrain is a member of the scientific council of SARIMA.