Wouter Swierstra schrieb:
===================================================================== Call for Participation
The 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
http://www.icfpconference.org/icfp2010/ Baltimore, Maryland September 25 – October 2 =====================================================================
...
Schedule including related events: * September 25: Workshop on Mechanizing Metatheory (WMM) Workshop on High-Level Parallel Programming and Applications (HLPP)
Hmm, what happened to MSFP? http://cs.ioc.ee/msfp/msfp2010/index2.html ? -- Jun.-Prof. Dr. Janis Voigtländer http://www.iai.uni-bonn.de/~jv/ mailto:jv@iai.uni-bonn.de