ICFEM 2006
Eighth International Conference on Formal Engineering Methods

1 November - 3 November 2006

You should prepare your slides in pdf or ppt file before the presentations.

About Macau

The Macau Special Administrative Region (MSAR) is a part of China's territory. It is located on the Southeast coast of China to the western bank of the Pearl River Delta. Bordering on Guangdong Province, it locates 60km from Hong Kong and 145km from the city of Guangzhou. 

The Macau Special Administrative Region has an area of 27.5 sq. km, comprised of the Macau Peninsula (with 8.8 sq. km and connected to Mainland China), the islands of Taipa (6.4 sq. km) and Coloane (7.6 sq. km and the reclaimed area COTAI (4.7 sq. km). The three bridges connecting Macau to Taipa are Nobre de Carvalho (2.5 km long), the Friendship Bridge (4.5 km long) and Sai Van Bridge (2.2 km long). The longest one (Friendship Bridge) leads directly to Macau International Airport located on the Island of Taipa. The Sai Van Bridge, which was opened on 9 January 2005, is the first cable-stayed bridge in Macau. The double deck bridge has six lanes in the upper deck and four in the lower, which will open when a typhoon hits the city. The islands are connected by a causeway which is 2.2 km long.

Besides the Barrier Gate (Portas do Cerco), the visitor can access Mainland China through the COTAI Frontier Post. Immigration and Customs are located in the reclaimed area between the islands of Taipa and Coloane.

For more information, you may visit Macau Government Tourist Office.