VSL 2014: VIENNA SUMMER OF LOGIC 2014
Jorge Baier
Organization: Pontificia Universidad Católica de Chile
Web site: http://www.cs.toronto.edu/~jabaier/
Pages in this Program
KR on Wednesday, July 23rd, 2014
KR Program
KR Program Committee
Program
Program for Wednesday, July 23rd, 2014