Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'12, forthcoming Special issue of Higher ...
PEPM 2014 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Program Local Information ...