2009 Workshop on Normalization by Evaluation:
co-located with LICS 2009
August 15, 2009
Los Angeles, California

Other key dates:
Submission through EasyChair: Friday 29 May 2009
Notification: Tuesday 30 June 2009
Final version of papers due: Friday 31 July 2009

Call for papers:

List of accepted papers:

Keynote speaker:
Peter Dybjer: Normalization by Evaluation and the Foundation of Constructive Mathematics 1972 - 2009.

Programme: [bonbons, caramels, esquimaux, chocolats]

Informal proceedings: [bonbons, caramels, esquimaux, chocolats]

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

The present workshop is co-located with LICS, which over the years has proven a valuable forum for researchers in Normalization by Evaluation (NBE), starting with Ulrich Berger and Helmut Schwichtenberg's kick-off paper in 1991.

The goals of the 2009 Workshop on Normalization by Evaluation are:

The papers presented at NBE'09 are meant not to be formally published, but a record of the meeting will be available in the BRICS series as informal proceedings.

The registration website is open; register now!

[Valid HTML 4.01 Transitional]
Last update: 15 August 2009, danvy@cs.au.dk