CSL 2017: 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC
Wolfgang Dvořák
Organization: TU Wien
Web page: https://www.dbai.tuwien.ac.at/staff/dvorak/
Pages in this Program
Program
Program for Tuesday, August 22nd