Section: Highlights of the Year

Highlights of the Year

Accattoli's paper with Ugo Dal Lago titled “Beta Reduction is Invariant, Indeed” that appeared in CSL-LICS 2014 was invited to a special issue of LMCS of selected papers from that meeting.

Miller ended his second and final term as the Editor-in-Chief of the ACM Transactions on Computational Logic. He remains as an Area Editor for Proof Theory.

Miller was a plenary speaker at the joint meeting of LOPSTR 2015 and PPDP 2015 (Siena, Italy) and was an invited speaker at LSFA 2015 (Natal Brazil) and in the Session on History and Philosophy of Computing at the 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki.

Miller spoke at the ETH Zurich Department of Computer Science Distinguished Colloquium Series on April 20.

Graham-Lengrand gave an invited talk at the IFIP Working Group 1.6 on Term Rewriting, on the occasion of its 2015 annual meeting in Warsaw, Poland.

Accattoli was an invited speaker at the 16th International Workshop on Logic and Computational Complexity (Kyoto, Japan, 5th of July).