LICS 2017: THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Marc Zeitoun
Organization: Université Bordeaux 1, LaBRI, CNRS UMR 5800
Web page: http://www.labri.fr/~zeitoun
Pages in this Program
Program
Program for Tuesday, June 20th