CSL 2017: 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC
Vladimir Voevodsky
Organization: Institute for Advanced Study
Web page: http://www.math.ias.edu/~vladimir/Site3/home.html
Pages in this Program
Program
Program for Monday, August 21st