September
23-29
15’th GAMM-IMACS International Symposium on
Scientific Computing, Computer Arithmetic and
Verified Numerical Computations
A birds' eye view of Lavrentiev avenue and Computing Center
with Institute of computational technologies, Novosibirsk

Scientific program

Schedule

September 24, 2012 (Monday)
House of Scientists  (“Dom Uchenykh”)

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)

 

September 25, 2012 (Tuesday)
Institute of Computational Technologies

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

 

September 26, 2012 (Wednesday)
House of Scientists  (“Dom Uchenykh”)

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)

 

September 27, 2012 (Thursday)
Institute of Computational Technologies

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

 

September 28, 2012 (Friday)
House of Scientists  (“Dom Uchenykh”)

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

Print page

© 1996-2019, Institute of computational technologies of SB RAS, Novosibirsk