PEPM 2010: Madrid, Spain

Session 1: Java/Scala types

Session 2: tools 1

Session 3: program transformation

Session 4: termination

Session 5: innovative programming

Session 6: synthesis and compilation

Session 7: Haskell analysis/transformation

Session 8: static analysis techniques

Session 9: tools 2