08:30 – 09:30 — registration in the lobby of Small Hall
09:30 – 10:40 — plenary session (Small Hall)
Chair — Prof. Sergey P. Shary
10:40 – 11:05 — coffee break
11:05 – 12:45 — regular sessions
Section «Computer arithmetics and software tools – 1» (Small Hall)
Chair — Prof. Juergen Wolff von Gudenberg
Section «Dynamic systems» (Musical Salon)
Chair — Prof. Markus Neher
12:45 – 14:30 — lunch
14:30 – 16:10 — plenary session (Small Hall)
Chair — Prof. Walter Krämer
16:10 – 16:35 — coffee break
16:35 – 17:50 — regular sessions
Section «Computer arithmetics and software tools – 2» (Small Hall)
Chair — Prof. Yaroslav D. Sergeyev
Section «Verified numerics for differential equations» (Musical Salon)
Chair — Prof. Luc Jaulin
19:00 — Welcome party (Restaurant of House of Scientists)
09:00 – 10:40 — regular sessions
Section «Computer arithmetics and software tools – 3» (Room 411)
Chair — Dr. Guillaume Revy
Section «Linear problems – 1» (Room 513)
Chair — Dr. Evgenija Popova
10:40 – 11:05 — coffee break
11:05 – 12:45 — regular sessions
Section «Computer arithmetics and software tools – 4» (Room 411)
Chair — Dr. Valérie Ménissier-Morain
Section «Linear problems – 2» (Room 513)
Chair — Prof. Vladik Kreinovich
12:45 – 14:30 — lunch
14:30 – 16:10 — regular sessions
Section «Linear problems – 3» (Room 411)
Chair — Dr. Behnam Hashemi
Section «Data processing – 1» (Room 513)
Chair — Dr. Sergey Kumkov
16:10 – 16:35 — coffee break
16:35 – 17:50 — regular sessions
Section «Decision making» (Room 411)
Chair — Dr. Nikolay Shilov
Section «Data processing – 2» (Room 513)
Chair — Dr. Pavel Saraev
09:00 –10:40 — plenary session (Small Hall)
Chair — Prof. Nathalie Revol
10:40 – 11:05 — coffee break
11:05 – 12:45 — plenary session (Small Hall)
Chair — Prof. Siegfried Rump
12:45 – 14:30 — lunch
Excursion to Central Siberian Geological Museum and
Excursion to Museum of Institute of Archeology and Ethnography
(“Get-together” starting point is near House of Scientists)
18:00 – Bus tour “Evening Novosibirsk”
(“Get-together” starting point is near “Zolotaya Dolina” hotel)
09:00 – 10:40 — regular sessions
Section «Computer arithmetics and software tools – 5» (Room 411)
Chair — Dr. Takeshi Ogita
Section «Global search methods» (Room 513)
Chair — Dr. Alexander Prolubnikov
10:40 – 11:05 — coffee break
11:05 – 12:45 — regular sessions
Section «Linear problems – 4» (Room 411)
Chair — Dr. Milan Hladík
Section «Theory and algorithms for verified numerics – 1» (Room 513)
Chair — Dr. Bartlomiej Kubica
12:45 – 14:30 — lunch
14:30 – 16:10 — regular sessions
Section «Theory and algorithms for verified numerics – 2» (Room 411)
Chair — Dr. Xuefeng Liu
Section «Control systems» (Room 513)
Chair — Dr. Sergei Zhilin
16:10 – 16:35 — coffee break
Spare time
09:00 – 10:40 — regular sessions
Section «Data processing – 3» (Small Hall)
Chair — Prof. Semyon Spivak
Section «Theory and algorithms for verified numerics – 3» (Musical Salon)
Chair — Dr. Christoph Lauter
10:40 – 11:05 — coffee break
11:05 – 12:45 — plenary session (Small Hall)
Chair — Prof. Sergey P. Shary
Excursion to Institute of Archeology and Ethnography SD RAS:
collection of skeletons of prehistoric animals.
15:00 — The annual meeting of IEEE P1788 committee
(Institute of Computational Technologies, Room 411),
Chair — Prof. Nathalie Revol