Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
NBE'09 call for papers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Olivier Danvy <danvy@c...>
Subject: NBE'09 call for papers
[Apologies for duplicates.]


      Submission: Friday 29 May 2009
    Notification: Tuesday 30 June 2009

The Third Workshop on Normalization by Evaluation
will be held in Los Angeles on 15 August 2009
as an affiliated meeting of LICS'09
and in conjunction with SAS'09

The goals of NBE'09 are:
* to establish a continuity with NBE research so far,
* to offer a forum for the new actors, and
* to identify and build a community.

The NBE'09 program will consist of an invited lecture and of
contributed papers selected by the program committee.
These papers will not be formally published, but a record of the meeting
will be available in the BRICS series as informal proceedings.

Papers should be written in English, be accessible to non-specialists,
start with a clear statement of the issues and results, and not exceed 10
pages in the LICS format

Program committee:
  Thorsten Altenkirch, University of Nottingham, UK
  Olivier Danvy, Aarhus University, Denmark (chair)
  Peter Dybjer, Chalmers University of Technology, Sweden
  Andrzej Filinski, University of Copenhagen, Denmark
  Martin Hofmann, Ludwig-Maximilians-Universität München, Germany
  Yoshiki Kinoshita, National Institute of Advanced Industrial Science and Technology, Japan
  Kristoffer Rose, IBM TJ Watson, USA
  Tarmo Uustalu, Tallinn University of Technology, Estonia

Additional information:
Email inquiries: