호모토피이론과 관련 주제들의 국제학술회의 프로시딩