Second APPSEM Workshop on Normalisation by Evaluation,
Tallinn, Estonia, April 17, 2004


  CALL FOR PAPERS / CALL FOR PARTICIPATION


A number of techniques exist for normalising lambda terms or partially
evaluating programs. Some of them are based on interpreting the input
in some form of semantics invariant under beta-equality (and hence
reduction). Their increasing use motivates a new workshop bringing
together the researchers of all the different areas of normalisation
by evaluation, reduction-free normalisation, type directed partial
evaluation and related fields. (The first APPSEM workshop on
Normalisation by Evaluation was held in 1998.)

The second workshop on Normalisation by Evaluation will be held on
Saturday, April 17, 2004 following the 2nd general APPSEM-II workshop
in Tallinn. The workshop will be informal and does not preclude
authors to also submit their work elsewhere. Work in progress and
recently accepted journal papers are also acceptable. There will be no
official proceedings, but abstracts will be available at the workshop
in form of a BRICS technical report. The workshop will consist of
contributed talks of 30 minutes each.

Authors wishing to give a talk should send a title and an abstract of
about one page to Klaus Aehlig (ASCII, TeX, ps and pdf files are
acceptable) by Thursday, February 26, 2004. The organisers will then
arrange a schedule.

There is no registration fee for the workshop. But in order to keep
local organisation (room, refreshments etc) manageable, participants
are requested to register by email to Klaus Aehlig by Thursday,
February 26, 2004. **It is a prerequisite to also have registered for
the main APPSEM workshop (registration deadline Friday, February 13,
2004).**

Klaus Aehlig (Klaus.Aehlig(at)comlab.ox.ac.uk), Olivier Danvy, Felix
Joachimski