INTERVAL'98, Call for Papers

International Conference on Interval Methods and their Application in Global Optimization (INTERVAL'98)

April 20-23, Nanjing, China

First announcement and call for papers

Organized by

Department of Mathematics, Nanjing University
The Editorial Board of the International Journal Reliable Computing

International Program Committee

G. Alefeld (co-chair, Germany),
G. Corliss (USA),
A. Cuyt (Belgium),
B. Dobronets (Russia),
J. Garloff (Germany),
R. B. Kearfott (co-chair, USA),
V. Kreinovich (USA),
S. Markov (Bulgaria),
G. Mayer (Germany),
M. Nakao (Japan),
V. M. Nesterov (co-chair, Russia),
H. Ratschek (Germany),
J. Rokne (Canada),
S. Rump (Germany),
S. Shary (Russia),
Z. Shen (chair, People's Republic of China),
E. Walter (France),
B. Walster (USA),
D. Wang (People's Republic of China),
J. Wolff von Gudenberg (co-chair, Germany).
Z. You (People's Republic of China),

Local organizer: Prof. Dr. Shen Zuhe.

INTERVAL'XX Conferences

The conferences INTERVAL'XX are significant meetings devoted to various aspects of reliable numerical computations based on the interval approach. (Sometimes the terms validated numerics, localizational computations, or enclosure methods are used). Talks are devoted to development of corresponding mathematical structures, design of computer tools, and applications in a wide range of areas.

The first conference was held in September 1992 near Moscow, with impressive success. Papers were presented by 106 participants from 17 countries throughout the world. It was decided to hold the INTERVAL'XX conferences biannually. The INTERVAL'92 conference emphasized the relation of interval computations to mathematical statistics. (The complete title of the conference was "Interval and Stochastic Methods in Science and Engineering").

The INTERVAL'94 conference emphasized interdisciplinary research with computer algebra. (The complete title of the conference was "Interval and Computer Algebraic Methods in Science and Engineering"). It took place March 6-11, 1994 in St. Petersburg, Russia. There were more than 120 talks presented by participants from 18 countries.

INTERVAL'96 was focused on computer assisted proofs ranging from symbolic computation through rigorous error estimation, and including different paradigms such as functional and logic programming as well as solution of constraint systems. The traditional interval approach appeared as one important aspect common to most of the approaches. (The complete title of the conference was "Interval Methods and Computer aided Proofs in Science and Engineering"). It took place Sept 30 - Oct 2, 1996 in Wuerzburg, Germany.

INTERVAL'98 will emphasize the application of interval mathematics and its combination with the interdisciplinary topics from the two preceding meetings in global optimization. Especially welcome are contributions which use interval arithmetic tools for solving problems of practical relevance.

Topics

The following topics will be considered: interval mathematics, hardware and software for interval and computer-algebraic methods, SC-languages, logic constraint programming, interval modelling, interval constraints, computer aided proofs in analysis, interval algorithms in control theory, organization of symbolic-numeric interfaces, programming environments for scientific computing, and applications in various fields of science and engineering as well as commercial issues.

Time and Place

The conference will be held April 20-23 in Nanjing, China. Nanjing (Nanking), situated at 32 degree North latitude and 119 degree East longitude, is the provincial capital and also the political, economic and cultural centre of Jiangsu Province. The city of Nanjing is well placed with the vast Jiangsu plain lying to the north, the rich Changjiang (Yangtse) River delta to the southeast, the gigantic bridge striding over the turbulent river which runs through the city, the Purple Hills towering in its eastern suburbs and the Stone City Wall standing in the west.

For more information about Nanjing see below.

There are several ways to get to Nanjing:

from Hong Kong to Nanjing by air (probably this is the best way to reach Nanjing);
from Beijing to Nanjing by air or by railway train (15 hours overnight);
from Shanghai to Nanjing by air, by train (~4 hours), or by bus (a new highway, ~3 hours).

There is a hotel in the University. The price of a two bed room: appr. US$60/per night. (Unfortunatly, there are no one bed rooms.)

Fees

The registration fee for the conference will be US$120.

Extended abstracts and papers

Two copies of an extended abstract of maximum 2 pages are requested for selection purposes. The deadline will be 25 November 1997. Electronic submission is strongly recommended. A collection of extended abstracts will be printed before the conference. Refereed proceedings including full versions of selected papers will be published after the conference.

Language

The official language is English.

If you wish to get more detailed information

If you wish to get more detailed information, contact Prof. Dr. Shen Zuhe at shenzuhe@netra.nju.edu.cn. Mailing address:

Weather

Located in the subtropical zone, it enjoys a mild climate with the annual mean temperature at 15 C. Dry in winter, Nanjing is marked by intermittent drizzles in spring but gets most of the rainfall in summer.

History of Nanjing

Nanjing is an old city with a long history. As far back as three or four thousand years ago Chinese forefathers already began to live and work here. Around 1,100 B.C. this region was within the territory of the state of Wu. By the end of the Spring and Autumn Period there was a town with an important smelting industry, called Yecheng or the Metallurgical City, occupying what is now the area around Chaotian Gong. In 473 B.C., when Goujian, the King of the state of Yue, conquered Wu, Fan Li, the Yue prime minister, built a city at Changgan Lane (the area around today's Zhonghuamen Gate) and named it Yuecheng. In the Warring States Period, when Yue was conquered in its turn by the state of Chu, a city named Jinling was built on Stone Hill (now called Qingliang Hill), and that is why, in literary writings, Jinling is often used to refer to Nanjing. During the period of the Three Kingdoms (229-280 A.D.), Sun Quan made it his capital and renamed it Jianye and built a stone wall around it. Nanjing thus began to be the capital of six southern dynasties (Wu, Eastern Jin, Song, Qi, Liang and Chen).

With the founding of the Ming Dynasty (1368), the city became for the first time the national capital of the whole country. It was not called Nanjing, however, until 1421 when Emperor Yongle moved the capital to Beijing. During the period of 1853-1864, the Kingdom of Heavenly Peace, founded in revolt against the Qing Dynasty, established its capital here and called it Tianjing. The city resumed its name Nanjing in 1912 with the establishment of a provisional government following the overthrow of the Qing Dynasty by the 1911 Revolution led by Dr. Sun Yat-sen. From 1927 to 1949, Nanjing was the capital of the Kuomintang Government.

Clean, spacious and well kept, Nanjing is also a green city with its streets well lined with various trees. As Nanjing is a city with an ancient cultural background, there are many places of interest to visit. The busiest districts in Nanjing are Xinjiekou, Fuzimiao and the Drum Tower area.

Sightseeing

The local organizers will arrange a sightseeing tour through Nanjing. Furthermore there are plans to arrange an extended excursion to the vicinity of Nanjing (Yellow Mountain). Detailed information will follow later.

[<--] Back to the main Interval'98 webpage

[<--] Back to Forthcoming Conferences on Interval Computations

[<--] Back to the main menu of the Interval Computations website