Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett: Pono: A Flexible and Extensible SMT-Based Model Checker. CAV 2021. Evaluated ...

The long-running, immersive theatrical spectacle “Sleep No More” may have taken its final bow at the McKittrick Hotel in Chelsea in January — but the drama’s not over. Known for its ...

As the Centaur Theatre rolls out its 56th season as well as a whole new look, they’re putting on a play by a local icon. For The Pleasure Of Seeing Her Again, by celebrated Quebec playwright ...

The Crooked Moon earned more than $4 million on Kickstarter in 2023, making it the most successful D&D 5e crowdfunding campaign on the platform to date. Backers received their PDFs in March ...

The English version of For the Pleasure of Seeing Her Again premiered at Centaur in 1998 and became a hit across Canada and the U.S. Savannah Stewart is a freelance journalist and Managing Editor at ...