[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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:
da...@brics.dk
