The paper 'A General Framework for Relational Parametricity' by Kristina Sojakova and Patricia Johann has been accepted for presentation at the 2018 ACM/IEEE Symposium on Logic in Computer Science (LICS'18) to be held in Oxford, UK, 9-12 July. LICS is an annual conference on theoretical and practical topics in computer science that relate to logic, broadly construed, and is the premier international conference on logical foundations of computing. Dr. Sojakova was a postdoctoral research assistant on Dr. Johann's NSF grant, Relational Parametricity for Program Verification, for 18 months that ended in December 2017. Dr. Sojakova is currently a researcher at Cornell University.
Dr. Sojakova:
Dr. Johann:
