› Exact solution to a parametric linear programming problem - Skalna Iwona, AGH University of Science and Technology [Pologne] - Lubomir Kolev, Technical University of Sofia
10:30-11:00 (30min)
› An implementation of a posteriori interval analysis technique and its application to linear algebra problems - Vladimir Glazachev, Saint-Petersburg state university
11:00-11:30 (30min)
› A Concoction of Zonotope Abstraction and Constraint Programming for finding an Invariant - Bibek Kabi, PhD Student
11:30-12:00 (30min)
amphitheater B, 3rd floor, LIP - ENS de Lyon, 46 allée d'Italie, 69007 Lyon
