[TYPES] Call for contributions: Industrial Session at the Applied Semantics (APPSEM) Workshop

John Hughes rjmh at cs.chalmers.se
Wed Jun 15 15:26:25 EDT 2005


At the forthcoming APPSEM workshop (on the beautiful island of
Frauenchiemsee <http://de.wikipedia.org/wiki/Frauenchiemsee>, in
September), we are keen to hear about industrial work which takes a
principled approach to programming languages. This could mean
development of a novel language, a novel compiler, program analysis
tools, or indeed, just a semantic model for a new kind of application.
However, we don't want to be restrictive: we welcome talks on any
kind of industrial work which is informed by the science of
programming languages.

The theme of the workshop as a whole is Applied Semantics; we are
planning a special session of industrial contributions. We appreciate
that people working in industry do not always have the time to write
full papers, so there is a mechanism for "short submissions" that only
require an abstract of a maximum two pages to be submitted. Abstracts
should be submitted to the APPSEM05 submission page
<http://lionel.tcs.ifi.lmu.de/appsem05-submit/> by July 8th. Please
label submissions "Industrial Application".

We also plan a discussion session on industrial problems that can be
addressed by semantic methods, which we hope our industrial
participants will contribute to actively.

More information is available from the workshop home page:

If you are engaged in this kind of work in industry, please send us
an abstract! We look forward to a fruitful session at the workshop itself.

John Hughes and Peter Dybjer (session organisers)

More information about the Types-list mailing list