2009.8.2-8.8 MLPA & CADE, Montreal, Quebec, Canada
 

MLPA workshop에서 현재까지 진행 중인 연구에 대해 발표하게 되었다. 연구 주제는 A module system independent of base languages. Module system의 대가 Derek Dreyer도 참석해서 그런지 긴장이 많이 됐었는데 그럭저럭 잘 넘어간 것 같다. MLPA가 CADE conference와 같이 열려서 내친 김에 CADE 발표도 듣고 왔다. 그러나 logic 쪽 배경지식이 약해서 인지 굉장히 어려웠다. ㅜㅜ 여가 시간에는 아름다운 Old Montreal과 Old Quebec City를 방문할 수 있었다. ^^

MLPA에서 발표 중인 GENILHS

뒷모습 뿐이라 안타깝다.

Old Montreal 가는 길에 있던 베를린 장벽 한 조각

베를린 장벽을 무너뜨릴 때 그들의 마음은 어떠했을까? 내 살아생전에 휴전선이 철거되는 걸 볼 수는 있겠지?

GENILHS on a ferry

Old Montreal을 관광할 때 추적추적 비가 내리며 날씨가 정말 안 좋았다. 낮임에도 불구하고 늦은 저녁시간 같았다. 몬트리올에 갈 때 MSRA에서 받은 가방을 가져갔었는데 CADE에 참석한 중국 친구들이 관심을 보이더라. 자기 학교 옆에 MSRA가 있나다... (안타깝지만 학교 이름이 기억이 안 난다. ㅋ) 그 중 한 명은 교수였는데 module systems의 전문가 중에 한 명인 Prof. Zhong Shao가 자기 친구라고 하더라. (What a small world!) 이 사진은 그 중국 친구들 중에 한 명이 찍어줬다. 

A music festival in Montreal

학회 기간 중 숙소 근처에서 music festival이 열렸다. 정말 신나는 분위기였으나 개인의 취향 때문에 즐기지는 않았다. (사실 축제에 혼자 있으면 뻘쭘해서... ㅋㅋ)

Old Quebec City에 있던 어느 멋진 성 앞에서

Old Quebec City가 정말 아름답고 멋진 곳인 것 같긴 한데 여기를 관광할 때도 비가 와서 약간 낭패... ㅜㅜ

Memories of Old Qeubec City

 Old Quebec City에서는 건물 벽에 그림이 많이 그려져 있다. 건물 벽화 앞에서 장난스러운 사진을 찍으면 정말 그럴 듯해 보이지만 시도는 하지 않았다. ㅎㅎ

 

-- Written by genilhs