Proceedings of The HKIE Geotechnical Division 42nd Annual Seminar: A New Era of Metropolis and Infrastructure Developments in Hong Kong, Challenges and Opportunities to Geotechnical Engineering