[TYPES/announce] NBE'09 call for papers

Olivier Danvy danvy at brics.dk
Tue Apr 28 15:13:34 EDT 2009


[Apologies for duplicates.]

        NBE'09 WORKSHOP ANNOUNCEMENT AND CALL FOR PAPERS

      Submission: Friday 29 May 2009
                  https://www.easychair.org/conferences/?conf=nbe09
    Notification: Tuesday 30 June 2009


The Third Workshop on Normalization by Evaluation
  http://www.brics.dk/~danvy/NBE09/
will be held in Los Angeles on 15 August 2009
as an affiliated meeting of LICS'09
  http://www2.informatik.hu-berlin.de/lics/lics09/
and in conjunction with SAS'09
  http://sas09.cs.ucdavis.edu/

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
(http://www.cl.cam.ac.uk/users/amp12/lics09/papers.html#StyleFiles).

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:
  http://www.brics.dk/~danvy/NBE09/
Email inquiries:
  danvy at brics.dk


More information about the Types-announce mailing list