What a great way to start the semester! Congratulations to Dr. Johann and Dr. Polonsky for acceptance of their paper "Deep Induction: Induction Rules for (Truly) Nested Types" for publication to the Foundations of Software Systems and Computation Structures (FoSSaCS'20) conference which will be held on April 25-30 in Dublin, Ireland. The paper introduces the new concept of deep induction for the advanced data types known as nested types.
Here is the Facebook post.
We expect some beautiful pictures of picturesque Ireland! ;-)