2022 한국미생물 생명공학회 국제학술대회 및 정기학술대회, 2022-06-22
POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014-01-23
ICALP, 2013-07-08
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013-01-23
Proof Systems for Program Logics, 2010-07-10
1st Workshop on Modules and Libraries for Proof Assistants, 2009-08-03
25th International Conference on Data Engineering, 2009-03-29
12th International Conference on Database Theory, 2009-03-23
The 13th ACM SIGPLAN International Conference on Functional Programming, 2008-09-24
The Fourth ASIAN Symposium on Programming Languages and Systems, 2006-11-09