LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Mirco Tribastone
Organization: IMT Institute for Advanced Studies Lucca
Web page: https://www.imtlucca.it/mirco.tribastone
Pages in this Program
Program
Program for Thursday, July 7th