The ACM SIGPLAN International Conference on Functional Programming (ICFP)
Symposium on Principles of Programming Languages (POPL)
Computer Aided Verification (CAV)
Proceedings of the ACM on Programming Languages
Journées Francophones des Langages Applicatifs (JFLA)
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering