CSL 2017: 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC
Anuj Dawar
Organization: University of Cambridge
Web page: http://www.cl.cam.ac.uk/users/ad260
Pages in this Program
Program
Program for Monday, August 21st
Program for Tuesday, August 22nd