🚀 go-pugleaf

		.---------------------------------------------.
		|   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?