From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 76071BC37 for ; Tue, 28 Apr 2009 18:43:18 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4CAPPO9kmC4R+BmWdsb2JhbACBUJUYAQEBAQEICwoHEbhIgiuBSAWHcA X-IronPort-AV: E=Sophos;i="4.40,261,1238968800"; d="scan'208";a="26933158" Received: from nfitmail.nfit.au.dk (HELO smtp.nfit.au.dk) ([130.225.31.129]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Apr 2009 18:43:17 +0200 Received: by smtp.nfit.au.dk (Postfix, from userid 6670) id DB9F817D97; Tue, 28 Apr 2009 18:43:16 +0200 (CEST) Received: from mfe01.daimi.au.dk (localhost [127.0.0.1]) by smtp.nfit.au.dk (Postfix) with ESMTP id 92D8A17CAE; Tue, 28 Apr 2009 18:43:16 +0200 (CEST) Received: from haldir.cs.au.dk (daimi-pat.daimi.au.dk [130.225.0.251]) by mfe01.daimi.au.dk (8.13.8/8.13.8) with ESMTP id n3SGhAcC003768; Tue, 28 Apr 2009 18:43:10 +0200 Received: by haldir.cs.au.dk (Postfix, from userid 1795) id 4D8BB4C1281; Tue, 28 Apr 2009 18:43:10 +0200 (CEST) From: Olivier Danvy To: appsem@disi.unige.it, concurrency@cwi.nl, csl@dbai.tuwien.ac.at, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, ifip@ifip.or.at, lics@informatik.hu-berlin.de, lics@research.att.com, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, theory-a@listserv.nodak.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu, prog-lang@cs.au.dk, caml-list@inria.fr, coq-club@pauillac.inria.fr, haskell@haskell.org Subject: NBE'09 call for papers Reply-To: danvy@cs.au.dk MIME-version: 1.0 Content-type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-Id: <20090428164310.4D8BB4C1281@haldir.cs.au.dk> Date: Tue, 28 Apr 2009 18:43:10 +0200 (CEST) X-Scanned-By: MIMEDefang 2.64 on 10.19.8.40 X-Spam: no; 0.00; danvy:01 danvy:01 brics:01 lics:01 lics:01 brics:01 thorsten:01 dybjer:01 andrzej:01 2009:98 2009:98 amp:98 contributed:02 chalmers:02 proceedings:02 [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: danvy@brics.dk