[ANNOUNCE] Juicy.Pixels 3.1

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Haskell 2013 call for PANEL DISCUSSIONS

===================================================================
    ACM SIGPLAN
                HASKELL SYMPOSIUM 2013
                CALL FOR PANEL DISCUSSIONS

    Boston, MA, USA, 23-24 September 2013, directly before ICFP
    http://www.haskell.org/haskell-symposium/2013/
    haskell2013 <at> easychair.org
===================================================================

The ACM SIGPLAN Haskell Symposium 2013 will be colocated with the
2013 International Conference on Functional Programming (ICFP) in
Boston, MA, USA.  The Haskell Symposium seeks to present original
research on Haskell, to discuss practical experience and future
development of the language, as well as to promote other forms of
denotative programming.  This year, the symposium will include a
new category of panel discussions, which will subsume past "Future
of Haskell" discussions.

We solicit proposals for panel discussions, submitted by a
moderator who proposes to bring together specific panelists who
have agreed to address a specific pressing issue in the Haskell
community.  The proposals should summarize the panelist positions
that would be discussed.  The proposals should explain (and will be
judged on) whether the ensuing session is likely to be important
and interesting to the Haskell community at large, whether on
grounds academic or industrial, theoretical or practical, technical
or social.  Please contact the program chair with any questions
about the relevance of a proposal.

Submission Details:
===================

The submission deadline Fri 28th June 2013, anywhere on earth.
"Panel Proposals" should be marked as such with those words in the
title at time of submission.

Submitted proposals should be in portable document format (PDF),
at most 2 pages formatted using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm).  The text
should be in a 9-point font in two columns.

Submission is via EasyChair: 
  https://www.easychair.org/conferences/?conf=haskell2013

Accepted panel proposals will be posted on the symposium web page,
but not formally published in the proceedings.

Travel Support:
===============

Student attendees with accepted proposals can apply for a SIGPLAN
PAC grant to help cover travel expenses.  PAC also offers other
support, such as for child-care expenses during the meeting or
for travel costs for companions of SIGPLAN members with physical
disabilities, as well as for travel from locations outside of North
America and Europe.  For details on the PAC programme, see its web
page (http://www.sigplan.org/PAC.htm).

Programme Committee:
====================

* Andreas Abel, Ludwig-Maximilians-Universität München
* Lennart Augustsson, Standard Chartered Bank
* Jean-Philippe Bernardy, Chalmers University of Technology
* Olaf Chitil, University of Kent
* Neil Ghani, University of Strathclyde
* Hans-Wolfgang Loidl, Heriot-Watt University
* Ian Lynagh, Well-Typed LLP
* David Mazières, Stanford University
* Akimasa Morihata, Tohoku University
* Takayuki Muranushi, Kyoto University
* Alberto Pardo, Universidad de la República
* Norman Ramsey, Tufts University
* Neil Sculthorpe, University of Kansas
* Chung-chieh Shan (chair), Indiana University
* Christina Unger, Universität Bielefeld
* Dana N. Xu, INRIA

Call for Papers IFL 2013

Hello,

Please, find below the second call for papers for IFL 2013.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

CALL FOR PAPERS

25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013

RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN

AUGUST 28 - 30 2013

"Landgoed Holthurnsche Hof"

http://ifl2013.cs.ru.nl

We are proud to announce that the 25th edition of the IFL series returns to its roots at 
the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th 
to 30th of August 2013.

Scope
-----
The goal of the IFL symposia is to bring together researchers actively engaged in the 
implementation and application of functional and function-based programming languages. 
IFL 2013 will be a venue for researchers to present and discuss new ideas and concepts, 
work in progress, and publication-ripe results related to the implementation and 
application of functional languages and function-based programming. 

Following the IFL tradition, IFL 2013 will use a post-symposium review process to 
produce the formal proceedings which will be published in the ACM Digital Library. All 
participants of IFL 2013 are invited to submit either a draft paper or an extended 
abstract describing work to be presented at the symposium. At no time may work submitted 
to IFL be simultaneously submitted to other venues; submissions must adhere to 
ACM SIGPLAN's republication policy:

    http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to make sure they are 
within the scope of IFL, and will appear in the draft proceedings distributed at the 
symposium. Submissions appearing in the draft proceedings are not peer-reviewed 
publications. Hence, publications that appear only in the draft proceedings do not 
count as publication for the ACM SIGPLAN republication policy. After the symposium, 
authors will be given the opportunity to incorporate the feedback from discussions at 
the symposium and will be invited to submit a revised full article for the formal 
review process. From the revised submissions, the program committee will select papers 
for the formal proceedings considering their correctness, novelty, originality, 
relevance, significance, and clarity. 

Invited Speaker
---------------
Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for 
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of 
IFL 2013. He will be talking about practical applications of functional programming. 

Submission Details
------------------
Submission deadline draft papers:                          July 31 
Notification of acceptance for presentation:               August 2 
Early registration deadline:                               August 7
Late registration deadline:                                August 14 
Submission deadline for pre-symposium proceedings:         August 21
25th IFL Symposium:                                        August 28-30 
Submission deadline for post-symposium proceedings:        November 11
Notification of acceptance for post-symposium proceedings: December 18
Camera-ready version for post-symposium proceedings:       February 3 2014 

Prospective authors are encouraged to submit papers or extended abstracts to be 
published in the draft proceedings and to present them at the symposium. All 
contributions must be written in English. Papers must adhere to the standard ACM two 
columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit
of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A 
suitable document template for LaTeX can be found at: 

    http://www.acm.org/sigs/sigplan/authorInformation.htm

Papers are to be submitted via the conference's EasyChair submission page: 

    https://www.easychair.org/conferences/?conf=ifl2013

Topics
------
IFL welcomes submissions describing practical and theoretical work as well as submissions
describing applications and tools in the context of functional programming. If you are 
not sure whether your work is appropriate for IFL 2013, please contact the PC chair at 
rinus <at> cs.ru.nl. Topics of interest include, but are not limited to:  

•  language concepts
•  type systems, type checking, type inferencing
•  compilation techniques
•  staged compilation
•  run-time function specialization
•  run-time code generation
•  partial evaluation
•  (abstract) interpretation
•  metaprogramming
•  generic programming
•  automatic program generation
•  array processing
•  concurrent/parallel programming
•  concurrent/parallel program execution
•  embedded systems
•  web applications
•  (embedded) domain specific languages
•  security
•  novel memory management techniques
•  run-time profiling performance measurements
•  debugging and tracing
•  virtual/abstract machine architectures
•  validation, verification of functional programs
•  tools and programming techniques
•  (industrial) applications

Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the symposium every 
year. The honoured article is selected by the program committee based on the submissions 
received for the formal review process. The prize carries a cash award equivalent to 
150 Euros. 

Programme committee
-------------------

•  Thomas Arts, Quviq, Gothenburg, Sweden
•  Andrew Butterfield, Trinity College, Dublin, Ireland
•  Edwin Brady, University of St. Andrews, UK
•  Clemens Grelck, University of Amsterdam, Netherlands
•  Adam Granicz, IntelliFactory, Budapest, Hungary
•  Jeremy Gibbons, University of Oxford, UK
•  Fritz Henglein, University of Copenhagen, Denmark
•  Stephan Herhut, Intel Labs, Santa Clara, US
•  Ralf Hinze (co-chair), University of Oxford, UK
•  Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary
•  Zhenjiang Hu, University of Tokyo, Japan
•  Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
•  Johan Jeuring, University of Utrecht, Netherlands
•  Rita Loogen, University of Marburg, Germany
•  Marco T. Morazán, Seton Hall University, New Jersey, US
•  Dominic Orchard, University of Cambridge, UK
•  Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
•  Tim Sheard, Portland State University, US
•  Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
•  Peter Thiemann, University of Freiburg, Germany
•  Simon Thompson, University of Kent, UK

Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software 
Development Department at the Nijmegen Institute for Computing and Information Sciences. 
The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the woodlands 
surrounding Nijmegen. It can be reached quickly and easily by public transport.

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Call for Papers - IEEE International Workshop on Communicating Business Process and Software Models (CPSM 2013) co-located with ICSM 2013

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Call for Papers: WFLP/WLP 2013

Please note that the NEW SUBMISSION AND NOTIFICATION DATES!
Apologies for multiple copies.

======================================================================
                           CALL FOR PAPERS

                              WFLP 2013
22nd International Workshop on Functional and (Constraint) Logic Programming
             27th Workshop on Logic Programming

        part of the Kiel Declarative Programming Days 2013

                  September 11-13, 2013, Kiel, Germany

           http://www-ps.informatik.uni-kiel.de/wflp2013/

======================================================================

GENERAL

WFLP 2013 is the combination of two workshops of a successful series
of annual workshops on declarative programming. The international
workshops on functional and logic programming aim at bringing
together researchers interested in functional programming, logic
programming, as well as their integration. The workshops on
(constraint) logic programming serve as the scientific forum of the
annual meeting of the Society of Logic Programming (GLP e.V.) and
bring together researchers interested in logic programming, constraint
programming, and related areas like databases, artificial
intelligence, and operations research.

In this year both workshops will be jointly organized and co-located
with the 20th International Conference on Applications of Declarative
Programming and Knowledge Management (INAP 2013) under the umbrella of
the Kiel Declarative Programming Days in order to promote the
cross-fertilizing exchange of ideas and experiences among researchers
and students from the different communities interested in the
foundations, applications, and combinations of high-level, declarative
programming languages and related areas.  The technical program of the
workshop will include invited talks, presentations of refereed papers
and demo presentations.

----------------------------------------------------------------------
TOPICS

The topics of interest include (but are not limited to):

* Functional programming
* Logic programming
* Constraint programming
* Deductive databases, data mining
* Extensions of declarative languages, objects
* Multi-paradigm declarative programming
* Foundations, semantics, nonmonotonic reasoning, dynamics
* Parallelism, concurrency
* Program analysis, abstract interpretation
* Program transformation, partial evaluation, meta-programming
* Specification, verification, declarative debugging
* Knowledge representation, machine learning
* Interaction of declarative programming with other formalisms
  (e.g., agents, XML, Java)
* Implementation of declarative languages
* Advanced programming environments and tools
* Software technique for declarative programming
* Applications

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, application systems, or interesting experiments (e.g.,
benchmarks) are also encouraged.

----------------------------------------------------------------------
IMPORTANT DATES 

Submission of papers:       July 7, 2013    (NEW!!!)
Notification of acceptance: July 28, 2013   (NEW!!!)
Camera-ready papers:        August 18, 2013
Workshop:                   September 11-13, 2013

----------------------------------------------------------------------
SUBMISSION GUIDELINES

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).

Papers can be submitted as technical papers or system descriptions.
Technical papers should consist of up to 15 pages, system descriptions
should be no longer than 6 pages.  Formatting should follow the LNCS
guidelines.  The details about the procedure to submit papers
electronically are described on the conference website.

Submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. They should include
a clear identification of what has been accomplished and why it is
significant.

----------------------------------------------------------------------
BEST NEWCOMER AWARD

An award will be given to the best paper exclusively written by one or
several young researchers who have not yet obtained their PhD degrees.
Papers written in this category should be clearly marked as a
"Student paper" in the submission.

----------------------------------------------------------------------
PROCEEDINGS

All accepted papers will be published as a technical report.
As for previous events, it is planned to publish selected papers as
post-conference proceedings in the Springer LNCS series.  Previous
proceedings appeared as Springer LNCS volumes 6816 (WFLP 2011), 6559
(WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007), and 3392 (WLP 2004).

----------------------------------------------------------------------
PROGRAM COMMITTEE

Elvira Albert               Universidad Complutense de Madrid, Spain
Sergio Antoy                Portland State University, USA
Francois Bry                University of Munich, Germany
Juergen Dix                 University of Clausthal, Germany
Rachid Echahed              CNRS, University of Grenoble, France
Moreno Falaschi             Universita di Siena, Italy
Sebastian Fischer           Kiel, Germany
Thom Fruehwirth             University of Ulm, Germany
Michael Hanus               University of Kiel, Germany (Chair)
Oleg Kiselyov               Monterey (CA), USA
Herbert Kuchen              University of Muenster, Germany
Francisco J. Lopez Fraguas  Universidad Complutense de Madrid, Spain
Torsten Schaub              University of Potsdam, Germany
Peter Schneider-Kamp        University of Southern Denmark, Denmark
Dietmar Seipel              University of Wuerzburg, Germany
Hans Tompits                Vienna University of Technology, Austria
German Vidal                Universidad Politecnica de Valencia, Spain
Janis Voigtlaender          University of Bonn, Germany

----------------------------------------------------------------------
CONTACT

Michael Hanus
University of Kiel, Germany
Email: mh <at> informatik.uni-kiel.de

----------------------------------------------------------------------

[Deadline extension] ACM SIGPLAN Erlang Workshop 2013 Final Call For Papers

   Hello,

   Responding to popular demand, we announce an extension for the
Twelfth ACM SIGPLAN
Erlang Workshop. New deadline is June 21st.

   Apologies for any duplicates you may receive.

CALL FOR PAPERS
=================

Twelfth ACM SIGPLAN Erlang Workshop
-----------------------------------------------------------

Boston, Massachusetts, September 28, 2013
Satellite event of the 18th ACM SIGPLAN International Conference on
Functional Programming (ICFP 2013)
September 25-27, 2013

Erlang is a concurrent, distributed functional programming language
aimed at systems with requirements of massive concurrency, soft real
time response, fault tolerance, and high availability. It has been
available as open source for 15 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 types 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 12 pages. Note that this is a
maximum length; we welcome shorter papers also, and the program
committee will evaluate all papers on an equal basis independent of
their lengths.

3. Poster presentations describing topics related to the workshop
goals. Each includes a maximum of 2 pages of the abstract and summary.
Presentations in this category will be given an hour of shared
simultaneous demonstration time.

Workshop Chair
-----------------------
Steve Vinoski, Basho Technologies, USA

Program Chair
-------------------
Laura M. Castro, University of  A Coruña, Spain

Program Committee
-----------------------------
(Note: the Workshop and Program Chairs are also committee members)

Lars-Ake Fredlund, Universidad Politécnica de Madrid, Spain
Kevin Hammond, University of St. Andrews, UK
Torben Hoffman, Erlang Solutions Limited, UK
Zoltán Horváth, Eötvös Loránd University, Hungary
Kenneth Lundin, Ericsson AB, Sweden
Mickaël Rémond, ProcessOne, France
Kenji Rikitake, Basho Japan KK, Japan
Simon Thompson, University of Kent, UK

Important Dates
-----------------------
Submission deadline: Fri June 14, 2013 [EXTENDED: Fri June 21, 2013]
Author notification: Thu July 11, 2013
Final submission for the publisher: Thu July 25, 2013
Workshop date (tentative, subject to change): September 28, 2013

Instructions to authors
--------------------------------
Papers must be submitted online via EasyChair (via the "Erlang2013"
event). The submission page is
https://www.easychair.org/conferences/?conf=erlang2013

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
they are not accepted as full papers.

Venue & Registration Details
------------------------------------------
For registration, please see the ICFP 2013 web site at:
http://icfpconference.org/icfp2013/

Related Links
--------------------
ICFP 2013 web site: http://www.icfpconference.org/icfp2013/
Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/
Open Source Erlang: http://www.erlang.org/
EasyChair submission site:
https://www.easychair.org/account/signin.cgi?conf=erlang2013
Author Information for SIGPLAN Conferences:
http://www.sigplan.org/authorInformation.htm

--
Laura M. Castro

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

ANN: custom-hackage

https://github.com/nh2/custom-hackage

An (almost trivial) script to generate 00-index.tar.gz which is
necessary to run your own `remote-repo`.

If you are a company that has to rely on that not everybody with a
Hackage account can run arbitrary code on your computer at your next
cabal install, and you want to make available only select versions of
packages (as opposed to a full hackage mirror), this is for you.

Just drop your tars into the directory structure, run the script and
serve it over HTTP.

SCSS 2013 - Call for Participation

[Please post - apologies for multiple copies.]

Call for Participation
=================================================
SCSS 2013
Symbolic Computation in Software Science
5th International Symposium

Castle of Hagenberg, Austria, July 5-6, 2013
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz

http://www.risc.jku.at/conferences/scss2013/
=================================================

Early registration deadline: June 28

Invited Speakers
----------------
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Wei Li (Beihang University, China)
Joel Ouaknine (Oxford University, UK)

Accepted Papers
---------------
http://www.risc.jku.at/conferences/scss2013/accepted.html

Reminder: two weeks to submit talks for CUFP 2013

This CFP and the form for submitting presentation proposals can be found 
at:  http://cufp.org/2013cfp

          Commercial Users of Functional Programming 2013
                    Sponsored by SIGPLAN
                         CUFP 2013
                Co-located with ICFP 2013
                Boston, MA, United States
                        Sep 22-24
      Talk Proposal Submission Deadline: 29 June 2013

The annual CUFP workshop is a place where people can see how others are 
using functional programming to solve real world problems; where 
practitioners meet and collaborate; where language designers and users 
can share ideas about the future of their favorite language; and where 
one can learn practical techniques and approaches for putting functional 
programming to work.
Giving a CUFP Talk

If you have experience using functional languages in a practical 
setting, we invite you to submit a proposal to give a talk at the 
workshop. We are looking for both experience reports and in-depth 
technical talks.

Experience reports are typically 25 minutes long (but negotiable), and 
aim to inform participants about how functional programming plays out in 
real-world applications, focusing especially on lessons learned and 
insights gained. Experience reports don't need to be highly technical; 
reflections on the commercial, management, or software engineering 
aspects are, if anything, more important.

Technical talks are also 25 minutes long (also negotiable), and should 
focus on teaching the audience something about a particular technique or 
methodology, from the point of view of someone who has seen it play out 
in practice. These talks could cover anything from techniques for 
building functional concurrent applications, to managing dynamic 
reconfigurations, to design recipes for using types effectively in 
large-scale applications. While these talks will often be based on a 
particular language, they should be accessible to a broad range of 
programmers.

If you are interested in offering a talk, or nominating someone to do 
so, please fill in the form at the end of this page by 29 June 2013.

There will be a short scribes report of the presentations and 
discussions but not of the details of individual talks, as the meeting 
is intended to be more a discussion forum than a technical interchange. 
You do not need to submit a paper, just a proposal for your talk! Note 
that we will need all presenters to register for the CUFP workshop and 
travel to Boston at their own expense.
Program Committee

     Marius Eriksen (Twitter, Inc), co-chair
     Mike Sperber (Active Group), co-chair
     Mary Sheeran (Chalmers)
     Andres Löh (Well-Typed)
     Thomas Gazagnaire (OCamlPro)
     Steve Vinoski (Basho)
     Jorge Ortiz (Foursquare, Inc.)
     Blake Matheny (Tumblr, Inc.)
     Simon Marlow (Facebook, Inc.)

More information

For more information on CUFP, including videos of presentations from 
previous years, take a look at the CUFP website at http://cufp.org. Note 
that presenters, like other attendees, will need to register for the 
event. Presentations will be video taped and presenters will be expected 
to sign an ACM copyright release form. Acceptance and rejection letters 
will be sent out by July 16th.

Guidance on giving a great CUFP talk

Focus on the interesting bits: Think about what will distinguish your 
talk, and what will engage the audience, and focus there. There are a 
number of places to look for those interesting bits.

     Setting: FP is pretty well established in some areas, including 
formal verification, financial processing and server-side web-services. 
An unusual setting can be a source of interest. If you're deploying 
FP-based mobile UIs or building servers on oil rigs, then the challenges 
of that scenario are worth focusing on. Did FP help or hinder in 
adapting to the setting?

     Technology: The CUFP audience is hungry to learn about how FP 
techniques work in practice. What design patterns have you applied, and 
to what areas? Did you use functional reactive programming for user 
interfaces, or DSLs for playing chess, or fault-tolerant actors for 
large scale geological data processing? Teach us something about the 
techniques you used, and why we should consider using them ourselves.

     Getting things done: How did you deal with large software 
development in the absence of a myriad of pre-existing support that are 
often expected in larger commercial environments (IDEs, coverage tools, 
debuggers, profilers) and without larger, proven bodies of libraries? 
Did you hit any brick walls that required support from the community?

     Don't just be a cheerleader: It's easy to write a rah-rah talk 
about how well FP worked for you, but CUFP is more interesting when the 
talks also spend time on what doesn't work. Even when the results were 
all great, you should spend more time on the challenges along the way 
than on the parts that went smoothly.

Final call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13)

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

ACM SIGPLAN Erlang Workshop 2013 Final Call For Papers

   Hello,

   Please find below the Final Call for Papers for the Twelfth ACM
SIGPLAN Erlang Workshop.

   Apologies for any duplicates you may receive.

CALL FOR PAPERS
=================

Twelfth ACM SIGPLAN Erlang Workshop
-----------------------------------------------------------

Boston, Massachusetts, September 28, 2013
Satellite event of the 18th ACM SIGPLAN International Conference on
Functional Programming (ICFP 2013)
September 25-27, 2013

Erlang is a concurrent, distributed functional programming language
aimed at systems with requirements of massive concurrency, soft real
time response, fault tolerance, and high availability. It has been
available as open source for 15 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 types 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 12 pages. Note that this is a
maximum length; we welcome shorter papers also, and the program
committee will evaluate all papers on an equal basis independent of
their lengths.

3. Poster presentations describing topics related to the workshop
goals. Each includes a maximum of 2 pages of the abstract and summary.
Presentations in this category will be given an hour of shared
simultaneous demonstration time.

Workshop Chair
-----------------------
Steve Vinoski, Basho Technologies, USA

Program Chair
-------------------
Laura M. Castro, University of  A Coruña, Spain

Program Committee
-----------------------------
(Note: the Workshop and Program Chairs are also committee members)

Lars-Ake Fredlund, Universidad Politécnica de Madrid, Spain
Kevin Hammond, University of St. Andrews, UK
Torben Hoffman, Erlang Solutions Limited, UK
Zoltán Horváth, Eötvös Loránd University, Hungary
Kenneth Lundin, Ericsson AB, Sweden
Mickaël Rémond, ProcessOne, France
Kenji Rikitake, Basho Japan KK, Japan
Simon Thompson, University of Kent, UK

Important Dates
-----------------------
Submission deadline: Fri June 14, 2013
Author notification: Thu July 11, 2013
Final submission for the publisher: Thu July 25, 2013
Workshop date (tentative, subject to change): September 28, 2013

Instructions to authors
--------------------------------
Papers must be submitted online via EasyChair (via the "Erlang2013"
event). The submission page is
https://www.easychair.org/conferences/?conf=erlang2013

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
they are not accepted as full papers.

Venue & Registration Details
------------------------------------------
For registration, please see the ICFP 2013 web site at:
http://icfpconference.org/icfp2013/

Related Links
--------------------
ICFP 2013 web site: http://www.icfpconference.org/icfp2013/
Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/
Open Source Erlang: http://www.erlang.org/
EasyChair submission site:
https://www.easychair.org/account/signin.cgi?conf=erlang2013
Author Information for SIGPLAN Conferences:
http://www.sigplan.org/authorInformation.htm

--
Laura M. Castro

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell