LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Guilhem Jaber
Organization: Queen Mary University, London
Web page: http://guilhem.jaber.fr
Pages in this Program
Program
Program for Thursday, July 7th
Program for Wednesday, July 6th