19th International Symposium on Formal Methods

Welcome To Singapore

Conference Locations

  • Main Conference

    School of Computing, National University of Singapore.(access the map)

    • Public Transportation & NUS Shuttle Bus

    From Airport to Hotel (Concorde Hotel)
    • 1.From the airport, take MRT Green Line towards the Joo Koon station. Transfer to Red Line at City Hall station (ID: EW13/NS25).
    • 2.Alight at Somerset station (ID: NS23).
    • 3.Walk about 450m to the hotel(Address: 100 Orchard Rd, Singapore 238840).

    From Airport to NUS
    • 1.From the airport, take MRT Green Line towards the Joo Koon station. Alight at Clementi station (ID: EW23).
    • 2.Take bus service no. 96 at Clementi Bus Interchange. Alight at Kent Ridge Crescent, Computer Centre, NUS. (bus stop number: B16189).
    From Hotel (Concorde Hotel) to NUS
      FM organisation will provide free shuttle bus service between conference venue and this hotel. The timetable of the shuttle bus is

      Alternatively, you can
    • 1.Take MRT at Somerset station (ID: NS23) and alight at Clementi station (ID: EW23).
    • 2.Take bus service no. 96 at Clementi Bus Interchange. Alight at Kent Ridge Crescent, Computer Centre, NUS. (bus stop number: B16189).
    NUS Shuttle Bus
    You can check the detail of NUS internal shuttle bus here.

    Public Transportation & NUS Shuttle Bus Apps

    National University of Singapore

    A leading global university centered in Asia, the National University of Singapore (NUS) offers a global approach to education and research, with a focus on Asian perspectives and expertise. Over 36,000 students from 100 countries further enrich the community with their diverse social and cultural perspectives, making campus life vibrant and exciting. NUS has a strong and growing reputation for impactful research with numerous productive collaborations with research organizations and industry in Singapore and around the world. The Department of Computer Science, with over 80 faculty members, had a long track record in grooming leaders for the digital economy and IT workforce. The Computer Science department has more than 350 PH.D students where strong teams of more than 20 students are doing research in Formal Method area. The departments' internationally recognized faculty members perform research in various areas.

    Singapore

    Singapore (also called the Lion City), is a Southeast Asian city-state off the southern tip of the Malay Peninsula, 137 kilometres (85 mi) north of the equator. An island country made up of 63 islands, it is separated from Malaysia by the Straits of Johor to its north and from Indonesia's Riau Islands by the Singapore Strait to its south. Singapore is highly urbanized but almost half of the country is covered by greenery. More land is being created for development through land reclamation.

    The Lion City is a modern metropolis with one of the world's busiest ports and a world-class airport. At the same time, the small tropical island has retained many elements of its colonial past.

    Marina Bay
    Marina Bay