coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] NBE'09 call for papers

From: Olivier Danvy <danvy AT cs.au.dk>
To: appsem AT disi.unige.it, concurrency AT cwi.nl, csl AT dbai.tuwien.ac.at, eacsl AT dimi.uniud.it, eapls AT jiscmail.ac.uk, ifip AT ifip.or.at, lics AT informatik.hu-berlin.de, lics AT research.att.com, lics AT research.bell-labs.com, logic-announce AT uclink4.berkeley.edu, logic-list AT cs.rice.edu, theory-a AT listserv.nodak.edu, theory AT brics.dk, theory AT cl.cam.ac.uk, theory AT cs.bham.ac.uk, theorynt AT listserv.nodak.edu, types-announce AT lists.seas.upenn.edu, prog-lang AT cs.au.dk, caml-list AT inria.fr, coq-club AT pauillac.inria.fr, haskell AT haskell.org
Subject: [Coq-Club] NBE'09 call for papers
Date: Tue, 28 Apr 2009 18:43:10 +0200 (CEST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

[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 AT brics.dk

[Coq-Club] NBE'09 call for papers, Olivier Danvy