3 Aug
2010
3 Aug
'10
7:04 a.m.
* 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 ?
Of course, there's also the ACM SIGPLAN Workshop on Mathematically Structured Functional Programming (MSFP), which must have lost somewhere along the line when copy-pasting together the call-for-participation. MSFP is listed on the homepage, together with all other affiliated events: http://www.icfpconference.org/icfp2010/ so I'm not sure what went wrong. Thanks for pointing this out Janis! Wouter