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:

Here.

List of accepted papers:

Here.

Keynote speaker:

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

Programme:

Here.

Informal proceedings:

Here.

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.

• 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 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!