10:45 〜 11:15
*Jens Visbech1, Anders Melander1, Mario Ricchiuto2, Allan Peter Engsig-Karup1 (1. Department of Applied Mathematics and Computer Science, Technical University of Denmark, Denmark, 2. Team CARDAMOM, INRIA, U. Bordeaux, CNRS, Bordeaux INP, IMB, UMR 5251, France)