nick@lfcs.ed.ac.uk (Nick Rothwell) (07/30/90)
.---------------------------------------------. | S t a n d a r d M L W o r k s h o p | | Edinburgh, September 18th-19/20th 1990 | `---------------------------------------------' This is an open announcement of a workshop on Standard ML, to run at Edinburgh, from lunchtime on Tuesday 18th September to the end of Wednesday 19th (or possibly lunchtime on the 20th, depending on volume of material to be presented/discussed). This workshop can be regarded to some extent as a "follow-on" from the workshop which was held at Princeton University in June this year. From discussions there, it was felt that there were more people in the ML community that could benefit from a second workshop, and that a workshop in Britain would both complement and continue the work started at Princeton. The general objectives are as follows: o To promote communication between US and European ML communities; o To promote communication between ML users and developers; o To publicise current work and future plans; o To organise efforts to promote ML for research, teaching and commercial applications; o To initiate greater communication with researchers in other related language areas (CAML, Haskell, and so on). Potential topics might include the following: o Implementations of Standard ML (such as Standard ML of New Jersey, Poly/ML, Poplog ML, or others), programming environments, libraries and tools; o Discussions of the Language Definition and semantic issues, clarification of semantic concepts in the Definition, and their interaction with implementation techniques; o Experiences teaching ML directly, or using ML as a tool for teaching languages or concepts; o Standardisation vs. Evolution, divergence from the Definition, etc; o Commercial implementations of ML, and the view of the language in other communities (pure functional language users, OO programmers, commercial organisations); o Programming issues, experience of, and techniques for using the modules system, interfaces, abstraction and sharing, etc; o Extensions to ML: higher-order functors, more flexible type schemes, different static semantic rules for modules, etc. This will be an informal workshop, combining presentations on the one hand with general discussion sessions and demonstrations on the other. We expect to charge a registration fee of approximately 30 pounds to cover administration, catering and so on. This excludes accomodation (which runs from around 15 pounds per night for bed-and-breakfast places up to 40 pounds or so for hotel rooms). So: o Do you want to come? o Would you be able to give a presentation on some ML-related topic falling under one of the above banners, or on some other topic of interest to the ML community? o Do you have any firm ideas on the kinds of topic you'd like to see presented or discussed at the workshop? o Can you suggest other people whom we might wish to notify about this workshop? If you are prepared to give a presentation, could you please supply a title (or even better, an abstract, although that can wait until later), by email if possible. We will select topics for presentation depending on the selection (and volume) of presentations, as well as peoples' comments on topics they wish to see covered. We have a number of acceptances and volunteered talks already. A list of titles will go out nearer the time. Deadlines: August 20th, 1990: Deadline for presentation of titles; September 3rd, 1990: Deadline for registration, and presentation of abstracts. Nick Rothwell (nick@lfcs.ed.ac.uk) Dave Berry (db@lfcs.ed.ac.uk) -- Nick Rothwell, Laboratory for Foundations of Computer Science, Edinburgh. nick@lfcs.ed.ac.uk <Atlantic Ocean>!mcsun!ukc!lfcs!nick ~ ~~ ~~ ~~ ~~ Hey, son, get that DeLorean off the track! And ~~ ~~ ~~ ~~ ~ what have you done with all my lovely harpsichords?