CSL 2017: 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC
Luigi Santocanale
Organization: LIF, Aix-Marseille Université
Web page: http://pageperso.lif.univ-mrs.fr/~luigi.santocanale/
Pages in this Program
Program
Program for Thursday, August 24th
Program for Tuesday, August 22nd