42nd International Symposium on
Mathematical Foundations of Computer Science
August 21-25, 2017, Aalborg (Denmark)
Contact: Giovanni Bacci