Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
Ouaknine, J. (2017). LICS 2017 Foreword. In 32nd Annual ACM-IEEE Symposium on Logic in Computer Science (pp. II-IV). Piscataway, NJ: IEEE. doi:10.1109/LICS.2017.8005058.