Proceedings of the 20th KKCNN Symposium on Civil Engineering, October 4 -5, Jeju, Korea