Programming Language Lab
고려대 : Theory and Formal Method lab : 최진영 :
동국대 : 프로그래밍 연구실 : 오세만 : 논문
동양대 : PL lab : 신승철 : Teaching
상명대 : 프로그래밍 연구실 : 사공준 신동하 : 강의실 연구실
서울대 : Programming Research lab : 이광근
숙명여대 : Programming System lab : 창병모 : Research
울산대 : 자동프로그래밍 연구실 : 배재학 : 자동 논리 프로그래밍
한양대 : PL lab : 도경구 : Publication 알고리즘
한국정보통신대 : Parallel Processing lab : 유찬수 Publications
KAIST : PL lab : 최광무 한태숙 이광근 한환수 : Research Seminar Project Link
KAIST : NLP lab : 박종철 : Course (Prolog Programming 강좌)