09.00 - 09.05 Welcome

09.05 - 10.00 Keynote speech

Normalization by Evaluation and the Foundation of Constructive Mathematics 1972 - 2009
Peter Dybjer, Chalmers University of Technology, Sweden

10.00 - 10.30 First Session

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

10.30 - 11.00 Break

11.00 - 12.30 Second Session

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

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

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

12.30 - 14.00 Lunch

14.00 - 15.30 

Invited Talk:
"Normalisation by completeness"
Thorsten Altenkirch, University of Nottingham, UK

"Exceptional NbE for Sums"
Freiric Barral, Ludwig-Maximilians-Universitat Muenchen, Germany
(presented in absentia by Andreas Abel)

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

15.30 - 16.00 Break

16.00 - 17.30 Fourth Session

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

"Keeping sums under control"
Vincent Balat, Paris Diderot University - CNRS - PPS laboratory, France
(presented in abentia by Olivier Danvy)

Invited Talk:
"A Denotational Account of Untyped Normalization by Evaluation"
Andrzej Filinski, University of Copenhagen, Denmark

17.30 - 18.00 Wrapup