LICS 2017: THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Philippe Schnoebelen
Organization: LSV - CNRS & ENS Cachan
Web page: http://www.lsv.ens-cachan.fr/~phs/
Pages in this Program
Program
Program for Wednesday, June 21st