At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...

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 ...

Elvira Albert (Complutense University of Madrid, Spain) Siau-Cheng Khoo (National University of Singapore, Singapore) Oleg Kiselyov (Monterey, CA, USA) Shin-Cheng ...

Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...

Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...