POPL 2026, 11-17 January 2026
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 2026 will include a program of tutorials and workshops covering topics relevant to the POPL community. The conference is being held in Rennes, France.
ASP-DAC 2026, 19–22 January 2026
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 2026 offers an ideal opportunity to touch the recent technologies and the future directions on the LSI design and design automation areas by technical papers and tutorials.
Keynote speakers include Chenming Hu (University of California, Berkeley), Yiran Chen (Duke University), Patrick Groeneveld (Stanford University), and Yuan Xie (Hong Kong University of Science and Technology). The event is being held in Hong Kong.