POPL 2025, 19—25 January
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). POPL 2025 will include a program of tutorials and workshops covering topics relevant to the POPL community. The conference is being held in Denver, Colorado, USA.
ASP-DAC 2025, 23, 20—23 January
The Asia and South Pacific Design Automation Conference is the largest conference in Asia and South-Pacific regions on Electronic Design Automation (EDA) area for VLSI and systems. ASP-DAC 2025 offers an ideal opportunity to experience recent technologies and see future directions on the LSI design and design automation areas with technical papers and tutorials. The conference also offers a Designers Forum for presentations about the latest in the field. Keynote speakers are Kazunari Ishimaru (Rapidus), Jason Cong (UCLA), and Abu Sebastian (IBM). The event is being held in Tokyo, Japan.
