Invited Speakers
Local information
Travel information
Conference program





   The sixth International Symposium of Domain Theory and Its Applications will take place on the campus of Hunan University in Changsha, China, from October 25 to October 29, 2013 (the first ISDT was held in Shanghai, October 17-24, 1999; the second ISDT was held in Chengdu, China, October 22-26, 2001; the third ISDT was held in Xi'an, China, May 10-14, 2004; the fourth ISDT was held in Changsha, China, June 2-6, 2006; the fifth ISDT was held in Shanghai, China, September 11-14, 2009). 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.



             Topological and logical aspects of domains

             Categories of domains and powerdomains

             Continuous posets and fuzzy domains

             Partial orders, lattice theory and metric spaces

             Types, process algebra and concurrency
             Non-classical and partial logics
             Programming language semantics
             Applications in computer science and mathematics

     All the submitted paper should describe previously unpublished work, and must be prepared in Latex using the macros of ENTCS. The macros will be available on the ENTCS Macro Web Site The PDF file of the submitted paper should be sent to before May 30, 2013. Please e-mail it with header ISDT’13. All submissions will be peer reviewed and all accepted papers will be published in the Journal of Electronic Notes in Theoretical Computer Science.



             Ying-Ming Liu (chair), China

             Mao-kang Luo (co-chair), China

             Michael Mislove (co-chair), USA

             Guo-Qiang Zhang (co-chair), USA

             Lars Birkedal, Denmark

             Yixiang Chen, China

             Pierre-Louis, Curien, France

             Martin Escardo, UK

             Yuxi Fu, China

             Ying Jiang, China

             Klaus Keimel, Germany

             Hui Kou, China

             Jimmie Lawson, USA

             M. Andrew Moshier, USA

             Jan Rutten, Netherland

             Daniele Varacca, France

             Guo-Jun Wang, China

             Luoshan Xu, China

             Xiaoquan Xu, China

             Zhongqiang Yang, China

             Dexue Zhang, China

             Bin Zhao, China


             Chairman: Yueyu Zhao (Hunan University, President)

           Co-chairman: Yueping Jiang (Hunan University, Dean, College of Mathematics and Econometrics)

             Co-chairman: Qingguo Li (Hunan University, Dean, Graduate School)




    Submission deadline:        May 30, 2013


    Acceptance notification:        August 15, 2013


    Conference:       October 25-29, 2013





Changsha Introduction




        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 of Changsha


            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.


    Tour in Changsha


            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 of Changsha


            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 Introduction



        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.


Fenghuang Ancient city Introduction




        Hunan Province, Fenghuang Ancient City is    located in the southwest, is a Tujia and Miao    Autonomous Prefecture in western Hunan, and    Guizhou Province neighborhood. To 109 degrees 18    minutes east longitude to 109 degrees 48 minutes    north latitude 27 degrees 44 minutes to 28 degrees    19 minutes, located in Wuling south east of the    Yunnan-Guizhou Plateau. The total area of 1759 square kilometers, the maximum altitude of 1117 meters, the lowest elevation of 170 meters. Is a transition in the subtropical north subtropical monsoon humid areas, so here, a warm climate, cool, light rich in four seasons, the tourism nirvana. Phoenix city since ancient times has been the areas inhabited by the Miao and Tujia. Ming began a long established wuzhai lawsuit, Ching Chi Phoenix Chamber to its name in the Phoenix mountains. Fenghuang county in 1913 instead. The People’s Republic of China in 2001 was awarded the State Department to become one of the national historical and cultural city.


Mountain Hengshan Introduction



        Mt. Hengshan, known as South Mountain, ranks    the first among the five sacred mountains in China.    It

is located in Hengyang, the second largest city in    Hunan Province. It is also a famous mountain    worshipped by Buddhists in China.

        Mt. Hengshan    extends 150 kilometers. The highest peak of the    mountain is called Zhurong Peak, 1,290 meters above    the sea level. On the top, the Shaolin Temple and    Watching Sunrise Platform are the best scenic spots.

        The mountain boats many temples, among which the biggest is the Nanyue Temple, which covers an area of 100,000 square meters and which is the largest group of ancient buildings in Hunan province. The temple has nine courtyards and the main hall is 22 meters high, supported by 72 stone pillars, which symbolize the 72 peaks of the mountain. The temple, glazed in red and yellow, is linked with many other buildings and represents a grand palace complex.

        Among the temples in the mountain, the Fuyan Temple is known as the nation's "temple of Buddhist doctrine" and the "Seven Founders' Temple to Perform Buddhist Rites". The Nantai Temple was built during the Yuan dynasty (1279-1368) and is regarded as the origin of a Buddhist branch in Japan. In addition, the Tripitaka Temple, which is famous for its delicacy, the Fangguang Temple, which is quiet, and the Water-screen Cave, which is mysterious, are all spots of interest.


        The registration fee will be US$400 per participant and US$250 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$40 per night.


        Changsha’s airport code is CSX. It is most convenient to book a direct flight to Changsha. You may also first fly to Beijing or Shanghai and then fly to Changsha. On your returning trip, you may do the same as well.


From Beijing or Shanghai to Changsha

         There are many flights from Beijing or Shanghai to Changsha every day, which takes about two hours for one way.The current one-way fair is 1500 Yuan. (The exchange rate of the US Dollar to the Chinese Yuan is approximately 1:6.4.)


After arriving at the Airport of Changsha

        On the 25th of October, 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.



Designed by : Mingjie Cai    Wanqing Zhang    Sitong Liu    Jie Wen.   Last Updated: April 10,2013