LICS 2017 Accepted Papers http://lics.rwth-aachen.de/lics17/accepted.html