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"