Aplas

I am chairing the Programme Committee of The 20th Asian Symposium on Programming Languages and Systems (APLAS 2022), which will take place on 5-10 December 2022 in Auckland, New Zealand (co-located with OOPSLA 2022). Submit your papers on programming languages, formal methods, verification tools, and systems! Deadline is 16 June 2022, AoE.