ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages).
The 2009 Workshop on ML will be held in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) in Edinburgh, Scotland, UK. Previous instances were ML 2005 in Tallinn, Estonia, ML 2006 in Portland, Oregon, USA, ML 2007 in Freiburg, Germany, and ML 2008 in Victoria, British Columbia, Canada).
|Submission:||Sunday, May 17, 2009 (24:00 in Apia, Samoa) (Expired)|
|Notification:||Friday, May 29, 2009|
|Final revision:||Monday, June 15, 2009|
|Demo Submission:||Sunday, June 28, 2009 (24:00 in Apia, Samoa) (Expired)|
|Demo Notification:||Friday, July 10, 2009|
|Workshop:||Sunday, August 30, 2009|
09.00h-10.00h – Invited talk
10.30h-12.00h – Session 1: Type Systems
13.30h-15.00h – Session 2: Reasoning and Verification
15.30-17.00h – Session 3: Implementation
17.00h-18.00h – Panel Discussion: Future directions for ML
We seek papers on topics related to ML, including (but not limited to):
Submitted papers should describe new ideas, experimental results, ML-related projects, or informed positions regarding proposals for next-generation ML-style languages. In order to encourage lively discussion, submitted papers may describe work in progress. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community.
All paper submissions must be in English and at most 12 pages total length in the standard ACM SIGPLAN two-column conference format (9pt). Accepted papers will be published by the ACM and will appear in the ACM Digital Library.
To submit a paper, please visit the submission page at EasyChair and follow the instructions. (The submission page is closed now.)
We also seek live demos or tutorials related to ML technology that show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or application software.
Please submit an abstract, about half a page long, describing the demo and its technical content. Be sure to include the demo's title, authors, collaborators, references and acknowledgements. If you have a project website we encourage you to also provide a link that we can put up on the ML Workshop home page once your demo is accepted.
Your demonstration should take 10-15 minutes. The exact length per demo will be decided based on the number of accepted submissions. Please notice that you will have to bring all hardware and software required for your demo yourself - all the workshop organizers can provide is a projector.
Please send submissions (in PDF format) with your complete contact information via email to email@example.com by June 28, 2009. Please feel free to also contact this address if you have further questions.
See the ML Workshop series home page.