| Name | Period | Host |
|---|---|---|
| Lee, Gyesik Type theory, Proof assistants, Proof theory | Sep 3, 2007 ~ Oct 20, 2007 | Park, Hyungju |
| Charles H. Bennett Quantum Information & Computing Theory | Aug 29, 2007 ~ Sep 2, 2007 | Kim, Jaewan |
| Charles H. Bennett Quantum Information & Computing Theory | Aug 29, 2007 ~ Sep 2, 2007 | Kim, Jaewan |
| Shoji Takada Protein Foding | Aug 20, 2007 ~ Aug 23, 2007 | Lee, Jooyoung |
| Kim, Jungsang 양자정보처리를 위한 광소자기술분석 | Aug 7, 2007 ~ Aug 25, 2007 | Kim, Jaewan |
| Kim, Jungsang 양자정보처리를 위한 광소자기술분석 | Aug 7, 2007 ~ Aug 25, 2007 | Kim, Jaewan |
| Jozef Gruska Quantum Information Processing, Descriptional complexity | Aug 6, 2007 ~ Aug 12, 2007 | Kim, Jaewan |
| Jozef Gruska Quantum Information Processing, Descriptional complexity | Aug 6, 2007 ~ Aug 12, 2007 | Kim, Jaewan |
| Hoon Hong Computer algebra and computational real algebraic geometry | Jul 12, 2007 ~ Jul 22, 2007 | Park, Hyungju |
| Lee, Kyoungrim 단백질 구조 예측 | Jul 12, 2007 ~ Jul 12, 2007 | Joo, Keehyoung |
Schools
