Affiliated Meetings

Second Workshop on Haskell And Rewriting Techniques (HART 2014)
PEPM 2010 is co-located with the following events:

  • DAMP 2010: Workshop on Declarative Aspects of Multicore Programming
  • PADL 2010: Symposium on Practical Aspects of Declarative Languages
  • PLPV 2010: Workshop on Programming Languages meets Program Verification
  • POPL 2010: Symposium on Principles of Programming Languages
  • TLDI 2010: Workshop on Types in Language Design and Implementation
  • VMCAI 2010: Conference on Verification, Model Checking, and Abstract Interpretation
  • WFLP 2010: Workshop on Functional and (Constraint) Logic Programming