9-12 July 2003, Novosibirsk, Akademgorodok, Russia
International Workshop Interval Mathematics and Constraint Propagation
July 8-9, 2003, Novosibirsk, Akademgorodok, Conference Chamber of NCIT "UniPro"
Tuesday, July 8
9:20 - 9:50 Registering the participants of the workshop in the hall of NCIT "UniPro"
9:50 - 10:00 Opening the workshop
10:00 - 11:30 Session "Survey presentations". Chairman: Nikolai V. Kinsht
10:00 - 10:30 Solving interval linear systems with tied data. Sergey P. Shary (Novosibirsk, Russia)
10:30 - 11:00 Immunocomputing for complex interval systems. Svetlana P. Sokolova (St.Petersburg, Russia)
11:00 - 11:30 Constraint propagation methods: basic concepts. Alexander L. Semenov (Novosibirsk, Russia)
11:30 - 11:45 Tea/coffee break.
11:45 - 13:15 Session "Applications". Chairman: Nikolai V. Pertsev
11:45 - 12:05 An interval algorithm for determining soil static pressure on multilined stiff round pipes in a high embankment. Mamurjon B. Bozorov (Navoi, Uzbekistan)
12:05 - 12:35 On possibilities to describe a connection diagram of an interval electrical circuit. Nikolai V. Kinsht, Nataliya N. Petrunko (Vladivostok, Russia)
12:35 - 12:55 A software for graphically representing the process and results of running some interval algorithms. Vladimir V. Koldakov, Nikita V. Panov (Novosibirsk, Russia)
12:55 - 13:15 On spectral Orr-Sommerfeld problem. Alexander V. Proskurin, A.M. Sagalakov (Barnaul, Russia)
13:15 - 14:30 Lunch.
14:30 - 16:30 Session "Interval algebraic problems". Chairman: Sergey P. Shary
14:30 - 14:50 Optimal outer estimation of the solution sets to interval linear systems. Bakyt S. Janybekov, Sergey P. Shary (Novosibirsk, Russia)
14:50 - 15:20 Interval technique in the parameter estimation problem. Sergey A. Nazin, Boris T. Polyak (Moscow, Russia)
15:20 - 15:40 A point approximation of the solution set to interval system of linear algebraic equation. Sergey I. Noskov (Irkutsk, Russia)
15:40 - 16:10 On the state space realization problem for interval dynamic systems. Sergey G. Pushkov, Svetlana Yu. Krivoshapko (Biisk, Russia)
16:10 - 16:30 Constructing interval hulls of the solution sets to interval linear algebraic systems. Elena A. Strelnikova (Krasnoyarsk, Russia)
16:30 - 16:45 Tea/coffee break.
16:45 - 18:35 Session "Constraint propagation". Chairman: Alexander L. Semenov
16:45 - 17:15 Interval approach to the solution of the interval constraint satisfaction problem. Evgenii V. Brevnov (Novosibirsk, Russia)
17:15 - 17:45 On the solutions to systems of nonlinear equations. Tamara P. Kashevarova (Novosibirsk, Russia)
17:45 - 18:15 Constructing cooperative solvers on the basis of constraint propagation methods. Alexander E. Kleimenov (Novosibirsk, Russia)
18:15 - 18:35 Towards the efficiency comparison of interval algorithms solving nonlinear equations systems. Mamurjon B. Bozorov, Bakhriddin Kh. Berdiev (Navoi, Uzbekistan)
19:00 - 22:00 Friendly party.
Wednesday, July 9
9:00 - 10:50 Session "Differential equations and dynamical systems". Chairperson: Tamara P. Kashevarova
9:00 - 9:30 Problems of practical (interval) stability with a given set of marginary deviations. Alexey N. Rogalev (Krasnoyarsk, Russia)
9:30 - 10:00 Exponential stability of a class of nonlinear interval dynamical systems. Ruslan S. Ivlev (Almaty, Kazakhstan)
10:00 - 10:30 Construction of the attracting sets for stable solutions of differential equations with the use of monotone technique and M-matrices. Nikolai B. Pertsev (Omsk, Russia)
10:30 - 10:50 On interval methods for differential problems with data uncertainty in the form of convex sets. Gabdulrakhim Sh. Utyubaev (Krasnoyarsk, Russia)
10:50 - 11:05 Tea/coffee break.
11:05 - 12:35 Session "Optimization problems". Chairperson: Svetlana S. Sokolova
11:05 - 11:35 Interval-affine arithmetic with controlled accuracy. Ramil R. Akhmerov (Barnaul, Russia)
11:35 - 12:05 Guaranteed suboptimal solutions for linear optimization problems. Alexei G. Ershov (Novosibirsk, Russia)
12:05 - 12:35 A symbolic-interval heuristic for minimization under bound constraints. Evgenii S. Petrov (Nant, France)
12:40 - 13:20 General discussion and closing the workshop.
13:20 - 14:30 Lunch.
14:30 - 16:00 Demonstrating software for interval computations.