ADDITIONAL SUPPORT FROM
K C Wong Education Foundation
VENUE
Academic Exchange Building,
CITY UNIVERSITY OF HONG KONG
ORGANIZING COMMITTEE
Horace H S IP, City University of Hong Kong (Chair)
Lenore BLUM, City University of Hong Kong
Francis Y L CHIN, University of Hong Kong
Roland CHIN, Hong Kong University of Science and Technology
Mordecai GOLIN, Hong Kong University of Science and Technology
C K POON, City University of Hong Kong
Steve SMALE, City University of Hong Kong
PLENARY SPEAKERS
Eric BACH (Wisconsin)
Charles BENNETT (IBM, Yorktown)
Avrim BLUM (Carnegie Mellon)
Allan BORODIN (Toronto)
Merrick FURST (Carnegie Mellon)
Richard KARP (Washington)
Leonid LEVIN (Boston)
Ming LI (Waterloo)
Silvio MICALI (MIT)
Gary MILLER (Carnegie Mellon)
Michael RABIN (Harvard and Hebrew University)
Steven RUDICH (Carnegie Mellon)
Umesh VAZIRANI (UC, Berkeley)
Vijay VAZIRANI (Georgia Tech)
Shmuel WINOGRAD (IBM, Yorktown)
Andy YAO (Princeton)
Frances YAO (Xerox PARC)
PROGRAM
The scientific program will be held from Monday, April 20 to Friday,
April 24, 1998. The program will include invited lectures and contributed
talks. A special issue of the journal Theoretical Computer Science
will be devoted to the conference. Authors wishing to submit their
contribution to this issue should provide a copy to either Lenore Blum
or Felipe Cucker at the conference itself.
SOCIAL EVENTS
The registration fee is US$90 per person before April 1 (and US$100 after).
This includes the cost of the tour, banquet, and coffee breaks. Luncheon and dinner are not arranged; participants are free to make their own arrangements for these meals.
Extra tickets for social events may be purchased at the conference: Tour tickets: HK$350 (US$45); banquet tickets: HK$270 (US$35)
CONFERENCE SCHEDULE
The Plenary Talks will be held in the SCOPE Lecture Theatre (SLT) in
the Academic Exchange Building. The Contributed Talks will be in
parallel sessions in the SLT and SCOPE seminar rooms.
|
|
|
| 9:00 am |
|
| 9:15 am |
|
| 9:30 am |
|
| 10:30 am |
|
| 11:00 am |
|
| 12:00 pm |
|
| 1:30 pm |
|
| 2:30 pm |
|
| 2:45 pm |
|
| 3:45 pm |
|
| 4:00 - 6:00 pm | Contributed Talks |
| Peter BURGISSER (Zuerich) - Cook's versus Valiant's Hypothesis | |
| Hacene FOUCHAL (REIMS Cedex) - Real-Time System Testing | |
| Renren LIU (Xiangtan) - An Efficient Algorithm for Solving Satisfiability Problem of Conjunctive Normal Form | |
| Neng-fa ZHOU, Sosuke KANEKO & Kouji YAMAUCHI (Fukuoka) - DJ: A Java-based Constraint Language and System | |
| Robert W P LUK & Robert I DAMPER (Hong Kong) - Formal Translation | |
| Zhongping QIN & Huanguo ZHANG (Wuhan) - Attack to Finite Automaton Public Key Cryptosystem | |
| John P MORRISON & Martin REM (Cork City) - Computing with Condensed Graphs | |
| Neng-fa ZHOU (Fukuoka) - Programming and Compiling Constraint Propagation in B-Prolog | |
| Nianzu LI (Shanghai) - On Chromatic Polymomials of Partly Unlabelled Graphs | |
| T SHIGEHARA, H MIZOGUCHI, T MISHIMA & Taksu CHEON (Saitama) - Effect of Small Impurities on Microscopic Devices | |
| 6:15 pm | Reception at City Top Restaurant, 9/F, Amenities Building, CityU |
|
|
|
| 9:00 am |
|
| 10:00 am |
|
| 10:30 am |
|
| 11:30 am |
|
| 1:00 pm |
|
| 2:00 pm |
|
| 2:15 pm |
|
| 3:15 pm |
|
| 3:30 - 5:30 pm | Contributed Talks |
| J Maurice ROJAS (Hong Kong) - Counting Real Plane Curve Intersections in Near Quadratic Time | |
| Lian LI, Jimin WANG & Xuhua HAN (Lanzhou) - Approximate Theorem-proving on Complex Numbers System | |
| Sze Kui NG (Hong Kong) - Quantum Gauge Model of Self-Organizing Neural Network | |
| Qing ZHOU (Guangzhou) - Grzegorczyk's Hierarchy of Computable Analysis | |
| Xingfu WU & Gang WANG (Beijing) - Design and Implementation of a Distributed Adaptive Genetic Algorithm | |
| Jimin WANG & Lian LI (Lanzhou) - Two Applications of BSS Machine | |
| John SUM, Gilbert H YOUNG & Wing-kay KAN (Hong Kong) - Imprecise Neural Computation | |
| Jason ZHANG (Hong Kong) - Is the Inverse Problem of a Polynomially Solvable Problem Polynomial? | |
| G A KHUWAJA (Safat) - Extended Multi-level Tree Circuit to Synthesize Modulo-2 Switching Functions | |
| Yunlin SU (Guangzhou) - Rough Set Theory and its Application to the Traffic Control |
|
|
|
| 9:00 am |
|
| 10:00 am |
|
| 10:30 am |
|
| 11:30 am |
|
| 1:15 pm |
|
|
|
|
| 9:00 am |
|
| 10:00 am |
|
| 10:30 am |
|
| 11:30 am |
|
| 1:00 pm |
|
| 2:00 pm |
|
| 2:15 pm |
|
| 3:15 pm |
|
| 3:30 - 5:30 pm | Contributed Talks |
| Hal WASSERMAN (Berkeley) - High-Noise Decoding for Algebraic-Geometric Codes | |
| Wai K CHAN, John LEE & Jianwen CHEN (Campbelltown) - Transactoin Processing in a Mobile Environment | |
| Rene PERALTA, Denis POCHUEV & Joan BOYAR (Milwaukee) - On the Multiplicative Complexity of Boolean Functions | |
| Bruno CODENOTTI, Pavel PUDLAK & Giovanni RESTA (Pisa) - Some Structural Properties of Low Rank Matrices Related to Computational Complexity | |
| Margaret REID-MILLER (Pittsburgh) - Experiments with Parallel Pointer-Based Algorithms | |
| Zhixin FAN & Baile SHI (Shanghai) - Lossless Join Decomposition and Scheme Design in Linear Order Constraint Databases | |
| Weiqun XU (Beijing) - Database Transformation | |
| Guohua WU (Beijing) - A Mathematical Property of Total NT-Degrees | |
| Kiyoshi AKAMA, Yoshinori SHIGETA & Eiichi MIYAMOTO (Sapporo) - Changing Knowledge Representation Systems by Expanding Specialization Systems | |
| W H F J KORVER & R STEPHENS (Guildford) - An Insight into Blum's Speed-up Phenomena | |
| M Abdus SALAM (Rockhampton) - Plethysm of Symmetric Functions - A Generalized Approach | |
| Klaus P JANTKE, Gunter GRIESER & Steffen LANGE (Sapporo) - Abstract Computational Complexity & Relativized Computability for Characterizing Expertise in Learning Systems Validation |
|
|
|
| 9:00 am |
|
| 10:00 am |
|
| 10:30 am |
|
| 11:30 pm |
|
| 1:00 pm |
|
| 2:00 pm |
|
| 2:15 - 5:30 pm |
|
| Jeff EDMONDS (North York) - Non-clairvoyant Multiprocessor Scheduling of Jobs with Arbitrary Arrival Times and Changing Execution Characteristics | |
| Maxim MAKATCHEV & Sherman Y T LANG (Hong Kong) - On the Complexity Measure for Cellular Automata-based Image Processing and Pattern Recognition Algorithms | |
| Mao-cheng CAI, Xiaotie DENG & Wenan ZANG (Hong Kong) - A TDI System and Application to Approximation Algorithms | |
| Jing LIU & Shanshan LIU (Tianjin) - 2D Image Elastic Match Algorithm and its Application | |
| Gilbert H YOUNG (Hong Kong) - Open-end Bin Packing | |
| Jing LIU & Qingkai MA (Tianjin) - A Sorting Algorithm Beating Quicksort in Practice | |
| Shanshan LIU & Jing LIU (Tianjin) - A Summary of Analysis and Development of HeapSort | |
| Tadayuki YOSHIDA, Kiyoshi AKAMA, & Eiichi MIYAMOTO (Sapporo) - Representation and Computation of First-Order Logical Constraints Based on Equivalent Transformation | |
| Kiyoshi AKAMA, Yuichi KAWAGUCHI & Eiichi MIYAMOTO (Sapporo) - Solving Intersection Problems Using Equivalent Transformation | |
| Fangmin SONG, Yongsen XU & Yuechen QIAN (Nanjing) - Self Reduction in Lambda Calculus | |
| 6:30 pm |
|
City Express (Student Canteen)
5/F, Academic Building
Open: 7:45 am - 8:00 pm
Fast food, cheap prices, offering a variety of western and Chinese food. Menus in English and Chinese. NOTE : We recommend that non-Chinese speakers ask a Chinese speaker to accompany them or to write down their order.
**************
City Cafe Restaurant
6/F Amenities Building
Open: 8:00 am - 10:00 pm
Western food. Prices are higher than City Express, but still fit a low budget. Good place for breakfast. Menus are in English and Chinese.
***************
City Delights
6/F Amenities Building
Open: 11:00 am - 10:00 pm
City Delights itself serves Chinese fast food. Menus are in English and Chinese. Located in the corner of City Delights is a Sandwich Bar, where salads, sandwiches, burgers, soups etc are available.
***************
City Chinese Restaurant (Shing Hin)
8/F Amenities Building
Open: 11:00 am - 11:00 pm (Mon-Fri)
9:00 am - 11:00 pm (Sat & Sun)
Chinese dim sum and a variety of Chinese dishes (incl. fresh fish) are served. No dim sum is served in the evening.
***************
City Top Restaurant
9/F Amenities Building
Open: 11:00 am - 11:00 pm
Western buffet lunch, set lunch or a la carte menu is available. The buffet lunch costs around US$10 per person. NOTE : Buffets are only served on Mon-Fri & Sun from 12:00 - 2:00 pm.
Each room has a private bath, and is part of a small suite with common living/ dining room and kitchen. The cost is approximately US$60 per night in a single occupancy room, and US$45 per night per person in a shared room.
Accommodation will be allocated on a first-come-first-served basis.
Please indicate if you wish CityU accommodation on the registration form.
ALTERNATIVE ACCOMMODATION
Rooms may be booked at the:
Royal Plaza Hotel for HK$782* (US$100) net per night for a twin/double;
Royal Park Hotel for HK$680* (US$87) net per night for a twin/double,
or
Hong Kong Sports Institute for HK$550 (US$71) net per night
for a twin/double.
(* Note: These rates are LOWER than previously annonunced !)
(See below for addresses etc.. Please mention this conference in your
correspondence.)
Participants who wish to obtain information on more economical hotel
information, or on tours in China, should contact Lisa Chau of Lotus Tours
Tel: (852) 2316-1301, Fax: (852) 2721-8823, email: lisac@lotusint.com.hk.
LOCAL TOURS
All who wish to join local excursions such as shopping tours or special
sightseeing tours should also contact Lisa Chau of Lotus Tours (see above).
TRAVEL TO HONG KONG
We have arranged with Swire Travel to secure economical airfares, for
example:
| LA-HK-LA | US$800 + tax |
|
| SF-HK-SF | US$800 + tax |
|
| Boston-HK-Boston (via SF) | US$1,060 + tax |
|
| Pittsburgh-HK-Pittsburgh (via NY) | US$1,080 + tax |
|
Hong Kong is located on the southern coast of China and is served by
several airlines including Air Canada, Cathay Pacific, British Airways,
Virgin, Northwest, United Airlines, Delta Airlines, Air France, and Japan
Airlines.
VISAS
Please contact your local Chinese Embassy for information regarding
visas for Hong Kong and Mainland China. No visas are required to enter
Hong Kong for British, American and Canadian passport holders. However,
a visa will be required for any trips to Mainland China. Arrangements can
generally be made for the issue of these visas in Hong Kong.
GETTING AROUND
Hong Kong has a good, fast public transport system. Also taxis are
cheap, reliable and plentiful.
The Conference meeting place in the Academic Exchange Building (AEB) of City University is well located, just a few minutes walk to the Mass Transit Railway (MTR) and Kowloon-Canton Railway (KCR) interchange station in Kowloon Tong. From here it is about 20 minutes by the MTR (south) to Central Hong Kong or 45 minutes (north) by the KCR to mainland China. The AEB is also a short walking distance from campus restaurants.
We recommend taking a taxi from the airport to the Royal Park Hotel, the Royal Plaza Hotel, the Hong Kong Sports Institute, and the City University accommodation. The cost should be between US$10 and US$15.
THE ADDRESSES ARE:
City University of Hong Kong
83 Tat Chee Avenue
Kowloon Tong, Kowloon
Hong Kong
Tel: (852) 2788-9667 (Monica Lau, cslaumy@cityu.edu.hk)
Tel: (852) 2788-9816 (Colette Lam, mago@cityu.edu.hk)
Academic Exchange Building
City University of Hong Kong
81 Tat Chee Avenue
Kowloon Tong, Kowloon
Hong Kong
Tel: (852) 2784-4509
Fax: (852) 2784-7581
Hong Kong Sports Institute
Fotan, Shatin, New Territories
Hong Kong
Tel: (852) 2681-6200
Fax: (852) 2695-4555
Royal Park Hotel
8 Pak Hok Ting Street
Shatin, New Territories
Hong Kong
Tel: (852) 2601-2111
Fax: (852) 2601-3666
Royal Plaza Hotel
193 Prince Edward Road West
Mong Kok, Kowloon
Hong Kong
Tel: (852) 2928-8822
Fax: (852) 2606-0088
GETTING TO CITYU FROM THE ROYAL
PARK HOTEL
The KCR (Kowloon Canton Railway) station at Shatin is a short walk
from the Royal Park Hotel. Then (in the Kowloon direction), it is two stops
from Shatin to the Kowloon Tong Station where signs direct pedestrians
to the Concourse downstairs and then to City University (Exit C).
GETTING TO CITYU FROM THE ROYAL
PLAZA HOTEL
The Royal Plaza Hotel is located above the KCR (Kowloon Canton Railway)
station at Mong Kok. From here it is one stop (in the direction of Lo Wu)
to the Kowloon Tong Station, where signs direct pedestrians to City University.
GETTING TO CITYU FROM THE HONG
KONG SPORTS INSTITUTE
It is suggested that you take the KCR train (in the Kowloon direction)
from Fotan station to Kowloon Tong station (three stops) where signs direct
pedestrians to the Concourse downstairs and then to City University (Exit
C).
REGISTRATION FORM
| Name: (Prof/Dr/Mr/Ms) |
| Institution: |
| Address: |
| Postal Code: |
| Tel: |
| Fax: |
| Electronic Mail: |
| _____ Yes | _____ No |
| *Single occupancy/Double occupancy - Shared with | |
| Arrival Date: | Departure Date: |
REGISTRATION FEES
| Registration Fee US$90 x _____ (no. of people) = | |
| Late registration fee (after April 1, 1998)
US$100 x _____ (no. of people) = |
|
| TOTAL PAYMENT = |
The COMPLETED REGISTRATION FORM, TOGETHER WITH PAYMENT, should be sent to:
Monica Lau
Department of Computer Science
City University of Hong Kong
83 Tat Chee Avenue
Kowloon, Hong Kong
Tel: (852) 2788-9667
Fax: (852) 2788-8614
E-mail: cslaumy@cityu.edu.hk