Editor of special issues in journals

• To appear: Science of Computer Programming (SCP), Special Issue of papers from the 17th International Symposium on Functional and Logic Programming (FLOPS 2024), edited by Jeremy Gibbons and Dale Miller.
• Logic Methods in Computer Science (LMCS) Special Issue of papers from the International Conference on Formal Structures for Computation and Deduction, FSCD 2017, edited by Ugo Dal Lago and Dale Miller.
• Logic Methods in Computer Science (LMCS) Special Issue of papers from the Computer Science Logic and Logic in Computer Sciences (CSL-LICS) 2014, edited by T. A. Henzinger and D. Miller.

Edited proceedings

• Proceedings of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024), Kumamoto, Japan, May 15-17, 2024. Edited by Jeremy Gibbons and Dale Miller. Published by Springer as LNCS 14659.
• Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Vancouver, Canada, 22 June 2019. Edited by Dale Miller and Ivan Scagnetto. Published by EPTCS. DOI 10.4204/EPTCS.307.
• Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, 2-9 September 2017, Oxford, UK. Edited by Dale Miller. Published by LIPIcs. ISBN 978-3-95977-047-7. DOI 10.4230/LIPIcs.FSCD.2017.0.
• Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS 2014 edited by Tom Henzinger and Dale Miller, 14-18 July 2014, Vienna, Austria. Published by the ACM. ISBN 978-1-4503-2886-9.
• Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012) edited by Chris Hawblitzel and Dale Miller. Kyoto, Japan, December 2012. LNCS 7679, Springer.
• Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) edited by Bernhard Gramlich, Dale Miller, and Uli Sattler. Manchester, UK, June 2012. LNAI 7364, Springer.
• Proceedings of the 8th Workshop on Fixed Points in Computer Science (FICS 2012) edited by Dale Miller and Zoltan Esik. Published as EPTCS 77, Feb 2012: pdf.
• Proceedings of the 2003 International Conference on Principles and Practice of Declarative Programming, PPDP 2003, Vancouver, Canada, October 1993. Edited by Dale Miller. Published by the ACM.
• Proceedings of the 1993 International Logic Programming Symposium (ILPS 1993), Vancouver, Canada, October 1993. Edited by Dale Miller. Published by MIT Press.
• Proceedings of the Workshop on Linear Logic and Logic Programming, Washington, DC, November 1992. Edited by Dale Miller. Available as UPenn CIS technical report MS-CIS-92-80. (PDF).
• Proceedings of the Workshop on the λProlog Programming Language, University of Pennsylvania, July 1992. Edited by Dale Miller. Available as UPenn CIS technical report MS-CIS-92-86. (PDF).