From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3R7dwdB003508 for ; Wed, 27 Apr 2011 09:39:58 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0CAMTHt03K4CfGmWdsb2JhbAAkApdYjW0UAQEBAQEICwsHFAobxEGCfxOCZASFfZZCQA X-IronPort-AV: E=Sophos;i="4.64,273,1301868000"; d="scan'208";a="98149981" Received: from mail2.asahi-net.or.jp ([202.224.39.198]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Apr 2011 09:39:51 +0200 Received: from reseaux.priv.k2r.org (s163221.ppp.asahi-net.or.jp [220.157.163.221]) by mail2.asahi-net.or.jp (Postfix) with ESMTP id 7B8CCDEBF2 for ; Wed, 27 Apr 2011 16:39:45 +0900 (JST) Received: (qmail 59884 invoked by uid 1000); 27 Apr 2011 07:39:46 -0000 Date: Wed, 27 Apr 2011 16:39:46 +0900 From: Kenji Rikitake To: Concurrency@listserver.tue.nl, FMxSOCandBPM@cs.unibo.it, SECURITY@FOSAD.ORG, Sensoria@lists.tcs.ifi.lmu.de, agents@cs.umbc.edu, aiia@di.unito.it, appsem@disi.unige.it, behavior@cs.ucsd.edu, caml-list@inria.fr, categories@mta.ca, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, concurrency@cwi.nl, concurrency@tue.nl, csl@dbai.tuwien.ac.at, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, ecoop-info@ecoop.org, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, generative@rz.tu-ilmenau.de, gragra@i3.informatik.rwth-aachen.de, grin@di.unipi.it, gulp-all@yahoogroups.com, haskell@haskell.org, hise-safety-critical@minster.cs.york.ac.uk, ic.eatcs@di.unipi.it, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, it-moca-announce@lists.uu.se, lics@informatik.hu-berlin.de, lics@research.att.com, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, lprolog@cs.umn.edu, m4m@science.uva.nl, maude-users@dcs-cpanel1.cs.illinois.edu, members@fmeurope.org, moca-announce@list.it.uu.se, nvti-list@cwi.nl, oose@uni-paderborn.de, papm@inf.ed.ac.uk, petrinet@informatik.uni-hamburg.de, pvs@csl.sri.com, qed@mcs.anl.gov, resist@laas.fr, rewriting@ens-lyon.fr, sensoria-core@di.unipi.it, seworld@cs.colorado.edu, stimdi-rek-subscribe@yahoogroups.com, theory-a@listserv.nodak.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it, types-announce@lists.seas.upenn.edu Message-ID: <20110427073946.GA59871@k2r.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-Validation-by: kenji.rikitake@acm.org Subject: [Caml-list] ACM SIGPLAN Erlang Workshop 2011 Call For Papers (My apologies for cross postings.) CALL FOR PAPERS =============== Tenth ACM SIGPLAN Erlang Workshop --------------------------------- National Institute of Informatics (NII), Tokyo Japan Friday, September 23, 2011 A satellite event of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP) Erlang is a concurrent, distributed functional programming language aimed at systems with requirements on massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for over 10 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three sorts of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 6 pages. Papers in this category may be allocated less time for their talk and instead be given the opportunity for the poster presentations during the workshop. 3. Poster presentations describing topics related to the workshop goals. Each of them includes max 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Chair -------------- * Kenji Rikitake, Kyoto University, Japan Program Chair ------------- * Erik Stenman, Klarna AB, Sweden Program Committee ----------------- (Note: the Workshop and Program Chairs are also committee members) * Clara Benac-Earle, Universidad Politecnica de Madrid (UPM), Spain * Johan Bevemyr, Tail-f Systems, Sweden * Scott Lystig Fritchie, Basho Technologies, USA * John Hughes, Quviq, Sweden * Takeru Inoue, NTT Network Innovation Laboratories, Japan * Kenneth Lundin, Ericsson, Sweden * Simon Thompson, University of Kent, UK * Robert Virding, Erlang Solutions, UK * Phil Wadler, University of Edinburgh, UK Important Dates --------------- * Submission deadline: Friday, June 3, 2011 * Author notification: Friday, June 17, 2011 * Final submission for the publisher: Friday, July 13, 2011 * Workshop date: Friday, September 23, 2011 Instructions to authors ----------------------- Papers must be submitted online via EasyChair (via the "Erlang2011" event). Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case that they are not accepted as full papers. Venue & Registration Details ---------------------------- * For registration, please see the ICFP 2011 web site at: Related Links ------------- * ICFP 2011 web site: * Past ACM SIGPLAN Erlang workshops: * Open Source Erlang: * EasyChair submission site: * Author Information for SIGPLAN Conferences: * Access map to NII: