6th International Colloquium on Theoretical Aspects of Computing
16-20 August 2009 Kuala Lumpur, Malaysia

 

 

 

 

 

 

Venue

 

14/8/09 – 15/8/09 Short course on TLA+         Universiti Kebangsaan Malaysia

16/8/09 – 17/8/09 Tutorial/Workshop              Universiti Kebangsaan Malaysia

18/8/09 – 20/8/09 The Colloquium                   Pullman Hotel, Putrajaya

 

Universiti Kebangsaan Malaysia (UKM)

 

The short course, tutorial and workshop sessions will be organized at Faculty of Information Science and Technology (FTSM), Universiti Kebangsaan Malaysia (UKM).

 

UKM was formally established on 18 May 1970 and it is now recognized as one of four research universities in Malaysia. In this era of globalization, UKM's mission is to promote national identity whilst being international in outlook. UKM is proud to be ranked in the 2006 World's Top 200 Universities (Times Higher Education Supplement).

 

To get to UKM from Kuala Lumpur International Airport (KLIA), you can either take a taxi which cost you about RM60.00. Alternatively, you can take KLIA Transit to Putrajaya (about RM6.20) and take a taxi to UKM (about RM20.00). Tell the taxi driver to send you to Faculty of Information Science and Technology (FTSM), and not to Faculty of Science and Technology (FST).

 

A bus service will be provided to transport delegates from the Pullman Putrajaya Lakeview to University Kebangsaan Malaysia for Short course, tutorial and workshop sessions.

 

 

Pullman Putrajaya Lakeside

 

The colloquium will be organized at the Pullman Putrajaya Lakeside. The Pullman Putrajaya Lakeside is located in Putrajaya, the country’s federal administrative capital of Malaysia. Situated on the shores of the Putrajaya Lake, it has a stunning architecture, ethnic yet stylish accommodation and thoughtful innovation, lend top the hotel’s appeal which reaches far beyond the business world.

 

The hotel information:

 

            Pullman Putrajaya Lakeside

            Email: info@pullmanputrajaya.com

            Tel: +60388900000

            Fax: +60388900001

            Website: www.pullmanputrajaya.com

 

To get to the hotel from Kuala Lumpur International Airport, you can either get a taxi (about RM50.00) or you can take KLIA Transit to Putrajaya (about RM6.20) and take a taxi to the hotel. A free shuttle service can be arranged with the hotel from Putrajaya station to the hotel.