Plenary Lectures
-
Milan Hladík (Charles University, Prague, Czech Republic)
"New directions in interval linear programming"
-
Luc Jaulin (Ecole Nationale Superieure de Techniques Avancees, Brest, France)
"Interval analysis and robotics"
-
Vladik Kreinovich (University of Texas at El Paso, TX, USA)
"Decision making under interval uncertainty"
-
Dmitry Nadezhin (Oracle Labs, Zelenograd, Russia) and Sergei Zhilin (Altai State University, Barnaul, Russia)
"JInterval library: principles, development, and perspectives"
-
Markus Neher (Karlsruhe Institute of Technology, Karlsruhe, Germany)
"Verified Integration of ODEs with Taylor Models"
-
Takeshi Ogita (Tokyo Woman's Christian University, Tokyo, Japan)
"Verified solutions of sparse linear systems"
-
Evgenija D. Popova (Institute of mathematics and informatics, Sofia, Bulgaria)
"Properties and Estimations of Parametric AE-Solution Sets"
-
Yaroslav Sergeyev (Nizhny Novgorod University, Russia and University of Calabria, Italy)
"Deterministic global optimization using the Lipschitz condition"