From: Olivier Danvy <danvy@cs.au.dk>
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
Date: Tue, 28 Apr 2009 18:43:10 +0200 (CEST) [thread overview]
Message-ID: <20090428164310.4D8BB4C1281@haldir.cs.au.dk> (raw)
[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
reply other threads:[~2009-04-28 16:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20090428164310.4D8BB4C1281@haldir.cs.au.dk \
--to=danvy@cs.au.dk \
--cc=appsem@disi.unige.it \
--cc=caml-list@inria.fr \
--cc=concurrency@cwi.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=csl@dbai.tuwien.ac.at \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=haskell@haskell.org \
--cc=ifip@ifip.or.at \
--cc=lics@informatik.hu-berlin.de \
--cc=lics@research.att.com \
--cc=lics@research.bell-labs.com \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@cs.rice.edu \
--cc=prog-lang@cs.au.dk \
--cc=theory-a@listserv.nodak.edu \
--cc=theory@brics.dk \
--cc=theory@cl.cam.ac.uk \
--cc=theory@cs.bham.ac.uk \
--cc=theorynt@listserv.nodak.edu \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).