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

Revision: r1.8 - 13 Oct 2009 - 16:10 - JanisVoigtlaender
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback