CSL 2017: 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC
Roberto Maieli
Organization: Department of Mathematics and Physics, University "Roma Tre"
Web page: http://logica.uniroma3.it/~maieli/
Pages in this Program
Program
Program for Sunday, August 20th