We have plenty of contributions at PLDI ‘24 📣 MSc George Zakhour will present Automated Verification of Fundamental Algebraic Laws in the PLDI main track and Disequalities in E-Graphs: An Experiment in the EGRAPHS workshop. PhD Pascal Weisenburger will present Exploring Algebraic Placement in Multiparty Languages in the Choreographic Programming workshop. See you in Denmark 🇩🇰