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"