Papers accepted at NBE'09:

"Extensional Normalization in the Logical Framework with Proof Irrelevant Equality"
Andreas Abel, Ludwig-Maximilians-Universitat Muenchen, Germany

"Keeping sums under control"
Vincent Balat, Paris Diderot University - CNRS - PPS laboratory, France

"Exceptional NbE for Sums"
Freiric Barral, Ludwig-Maximilians-Universitat Muenchen, Germany

"Efficient normalization by evaluation"
Mathieu Boespflug, Ecole Polytechnique, INRIA, France

"From self-interpreters to normalization by evaluation"
Mathieu Boespflug, Ecole Polytechnique, INRIA, France

"Accumulating bindings"
Sam Lindley, University of Edinburgh, UK

"Lifted inference: normalizing loops by evaluation"
Oleg Kiselyov, FNMOC, USA
Chung-chieh Shan, Rutgers University, USA

"Towards Type-Directed Partial Evaluation for Shift and Reset"
Kanae Tsushima and Kenichi Asai, Ochanomizu University, Japan

"NbSE: Normalisation by Stack-based Evaluation"
Rene Vestergaard, JAIST, Japan