ISDT '06

June 2-6, 2006, Changsha, China

The fourth International symposium on Domain Theory will take place on the campus of Hunan University in Changsha, China, from June 2 to June 6, 2006 (the first ISDT was held in Shanghai, October 17-24, 1999, the second ISDT was held in Chengdu, China, October 22-26, 2001, and the third ISDT was held in Xi'an, China, May 10-14, 2004). This conference is intended to be a forum for researchers in domain theory and its applications. The conference series also aims to broaden its scope of applications in computer science and mathematics.

  • Invited Speakers
  • Registration form
  • Topics
  • Submission
  • Deadlines
  • Local information

  • Invited speakers

    The confirmed invited speakers for ISDT'06 are:
    		Jimmie Lawson, Louisiana State University, USA 
    		Klaus Keimel, Technische UniversitŠt Darmstadt, Germany 
    		Dieter Spreen, UniversitŠt Siegen, Germany 
    		Dag Normann, University of Oslo, Norway 
    		Michel Schellekens, University College Cork, Ireland 
    		Pascal Hitzler, University of Karlsruhe, Germany 

    Topics of interest

            * Topological and logical aspects of domains
            * Categories of domains and powerdomains
            * Partial orders and metric spaces
            * Types, process algebra and concurrency
            * Non-classical and partial logics
            * Programming language semantics
            * Applications in computer science and mathematics


    Slots for contributed talks will be given on a first come, first served basis. A one-page abstract including title, address, and E-mail address should be sent to Prof. Guo-Qiang Zhang at gqz (at) before Feb 15, 2006. Please e-mail in plain text with header ISDT06. A collection of abstracts will be distributed at the conference. Authors can submit, after the conference, a full paper for the conference proceedings.


    		Ying-Ming Liu (chair), China
    		Michael Mislove(co-chair), USA
    		Mao-kang Luo (co-chair), China
    		Guo-Qiang Zhang (co-chair), USA
    		Chairman:   Zhihua Zhong (Hunan University, President)
    		Co-chairman: Lihong Huang (Hunan University, Dean, College of Mathematics)
    		Co-chairman: Qingguo Li (Hunan University, Direct, Science and Technology department)      

    Important Dates

             Abstract:  Feb 15, 2006
             Registration:  Feb 20, 2006
             Conference:  June 2-6, 2006
             Full paper:  Sept 1, 2006  

    Local information

    Changsha, located in the middle southern China, is the capital city of Hunan Province. It is the famous city of historical culture in China. Now, Changsha has become the political, economic, cultural and technological center of Hunan Province, as well as one of the most prosperous cities in China.

    • History. Changsha first came into being as a small town, over 3000 years ago, when it was known as Qinyang, and was initially established for its excellent location. Lying on the bank of the Xiang River (Xiangjiang) a tributary of the Yangtse, China's "snaking dragon", and surrounded by the most fertile of the Hunan plains, the town was to flourish through river trade and the production of abundant crops. By the Warring States Period (475-221 BC), the city had grown enough to become the southern, and main, capital of the Chu State, when it was renamed Chu. Infractions and rebellions were rife in this period and it was not until the Qin Dynasty (221-206 BC), swept through here, that the city returned to any form of stability. The Qin named the city Changsha, literally Long Sands, after the Island of Tangerine (Juzi zhou), a long sandy spit that dominates the river in this section. In 1644, the city was named as provincial capital.
    • Tourist Info. Nowadays, the most famous of the fiery Hunanese is the leader of the revolution, Chairman Mao Zedong. The chairman spent time in the city during a period between 1911, at the fall of the Qing Empire, and 1923, when he was driven from the city for his political associations. The Chairman still dominates the sights of this capital, a city (population around 6 million), that is now somewhat tidier and radically changed from its past. Bisected unevenly by the slow-flowing Xiang River, with the center of the city, the railway station, bus station and most of the sights to the east, modern day Changsha is still worth spending a day or so in, if you are at all interested in the new communist era. The fiery Hunanese are surprisingly friendly when you get to know them, and the chance to wander in Chairman Mao's footsteps has to be somewhat tempting. Most of the scenic spots left in and around Changsha are related to the revolutionary history that makes the city famous. The Maoist and Communist Sights are certainly one of the major tourism pulling points. Beyond these of most interest is the ancient history, in a city that has been inhabited for over three thousand years. The best sight in this scope is the Hunan Provincial Museum located on Dongfeng Road, near to the Nianjia Lake, one of better museums in China, which displays some of the contents of the Han Dynasty tomb discovered at Mawangdui in 1972. The mummies that are preserved within, of the Marquis of Dai's family, are amazingly well preserved. Also of interest is the Yuelu Park, which once held the Yuelu Academy, a Song Dynasty school that prepared individuals for the Imperial examinations. Famous specialties of tradition are Hunan embroidery (Xiangxiu), Hunan dish (Xiangcai), Hunan opera (Xiangju), brass or copper wares, tea set, orange and tangerine etc.
    • Climate. Changsha has a moist monsoon climate of the subtropical zone. The four seasons are obvious and acceptable in the city. Rainy and wet, the temperature increases rapidly and is changeful in spring. Summer is long and broiling, which has unbalanced rainfall. Comfortable and abundant sunlight that you can enjoy is in autumn. In winter it is nearly rainless and not very cold.
    • Zhangjiajie. Lying on the northwest of Hunan, Zhangjiajie is recognized as "a rarely charming belle in the boudoir" by the famous Chinese painter Wu Guanzhong. Zhangjiajie is the first National Forest Park in China featured by its unique hills, queer ridges and peaks, tranquil valleys, thrilling streams and abundant plant and animal resources. As the maze of nature, Zhangjiajie is full of spiffy spots, such as the grotesque Zhangjiajie Forest Park (including the breathtaking Cloud-picking Terrace, the outstripping Yellow Lion Village, the great Golden Whip Crag, the clear Golden Whip Stream, the dilapidated walls of Yangjiajie), the impressive Mt. Tianzi, the singular Suoxi Gully, the beautiful Maoyan River, the firm Mt. Tianmen, and the supernatural Jiutian Cave. In addition, the tourists take great delight in taking about the Puguang Temple, Yuhuang Cave and some other great human attractions as well as the appealing customs of the local ethnic people. Zhangjiajie also abounds in many rare plants and flowers, including the Chinese dove tree, Chinese tulip tree, Eucommia ulmoides, ginkgo and five-color flower etc.

    Travel Information. Changsha's airport code is CSX. It is most convenient to book a direct flight to Changsha. You may also first fly to Beijing and then fly to Changsha. On your returning trip, you may also go via Beijing.

    • From Beijing to Changsha. There are many flights between Beijing and Changsha every day, which takes about two hours for one way. The current one-way fair is 1300 Yuan. (The exchange rate of the US Dollar to the Chinese Yuan is approximately 1:8.1.)
    • After arriving Changsha Airport (CSX). On the 2nd of June, shuttle buses will be arranged at Changsha airport (called Huanghua International Airport) for conference participants. For participants arriving at other times, please come to the Hunan University by the following means: Take the airport bus to the city of Changsha terminal, and then take a taxi to the Hunan University. The taxi should not cost more than 30 Yuan. Or take a taxi directly from the airport to the Hunan University, which should not cost more than 160 Yuan.
    Fees. The registration fee will be US$260 per participant and US$180 for spouse, covering all meals and tours arranged by the organizers. The conference accommodation will be arranged in the Jixian Hotel of Hunan University. The cost for a single room is expected to be no more than US$20 per night.

    For further information please contact

    		Xiangnan Zhou
    		Phone: 086-731-8641163
    		Bolin Ma
    		Phone: 086-731-8822707
    Local address and contact information for Visa Application:
    Professor Qingguo Li
    Hunan University
    Changsha, Hunan410082
    Tel. +86 731 8822855