POPL 2024, 14—20 January 2024

The ACM SIGPLAN Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. This event is co-located with several other conferences including Certified Programs and Proofs (CPP) and the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Presentations include “Efficient Bottom-Up Synthesis for Programs with Local Variables,” “Effectful Software Contracts”, “Parikh’s Theorem Made Symbolic,” and more. Keynote speakers are Azadeh Farzan (University of Toronto) and Nate Foster (Cornell University). The conference is being held in London, UK.

ASP-DAC 2024, 22—25 January 2024

The Asia and South Pacific Design Automation Conference is one of the most active regions of design, CAD, and fabrication of silicon chips in the world. Tutorials include “NeuroSim: A Versatile Benchmark Framework for AI Hardware,” “Machine Learning for Computational Lithography,” “Sparse Acceleration for Artificial Intelligence: Progress and Trends,” and more. Keynote speakers ware Sei Seung Yoon (Samsung), Myeong-Jae Park (SK hynix), Andrew B. Kahng (University of California San Diego), and Erick Chao (Cadence Design Systems). The event is being held in Incheon, South Korea.