From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 992AA7ED94 for ; Thu, 13 Mar 2014 10:42:48 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wouter.swierstra@gmail.com) identity=pra; client-ip=209.85.220.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wouter.swierstra@gmail.com"; x-sender="wouter.swierstra@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of wouter.swierstra@gmail.com designates 209.85.220.48 as permitted sender) identity=mailfrom; client-ip=209.85.220.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wouter.swierstra@gmail.com"; x-sender="wouter.swierstra@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f48.google.com) identity=helo; client-ip=209.85.220.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wouter.swierstra@gmail.com"; x-sender="postmaster@mail-pa0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQEAEl8IVPRVdwwlGdsb2JhbABDFoNBV7oxgzuDbQSBFggWDgEBAQEHCwsJEiqCSSMBJxIDDQUQID0SAQUBNQkLAodPAxENonODDY9tlkgnDYcYAQUMjWYSAYMMD4F7BJIGhj+BMos2g1cYKYFmgnU8gSwBHw X-IPAS-Result: AgQEAEl8IVPRVdwwlGdsb2JhbABDFoNBV7oxgzuDbQSBFggWDgEBAQEHCwsJEiqCSSMBJxIDDQUQID0SAQUBNQkLAodPAxENonODDY9tlkgnDYcYAQUMjWYSAYMMD4F7BJIGhj+BMos2g1cYKYFmgnU8gSwBHw X-IronPort-AV: E=Sophos;i="4.97,646,1389740400"; d="scan'208";a="52384644" Received: from mail-pa0-f48.google.com ([209.85.220.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Mar 2014 10:42:47 +0100 Received: by mail-pa0-f48.google.com with SMTP id hz1so870816pad.21 for ; Thu, 13 Mar 2014 02:42:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=xvc7zHhK6FPCIpgutymRXv45YfAnDYBqpxMjAIRjrYw=; b=ZIMS5nrJM3iIKeta7X/C03UdOI7RT5mm8hMgH2pJ3J++p51ygrbS+dYJkXIeEZB72k mHdpTrgWINeb5H1IP6d6ZeZg9K/6HHqwr77AMnT3Lq/GhVbEYk7IWDMim6GUXS+VtP/i BqPinoCEH6oYLGniIfXOETdbBoUq471vLpmnDXy/1WOjEkrPjNtZOiSgjPCTxUZhRjyp mCSyfX80CQjliwQ/oHCqyD6aXRgpEIU+dwdmhjFZBuV9z4xjQbMJHcvaHrQNK3IIqtL0 Yk3MfOGUxTJGeFMT54ulTXHSsnqAzguELboFcm2cJz5uW1AVygx6gGaPdskRNfVh5m9p DwUw== MIME-Version: 1.0 X-Received: by 10.66.16.131 with SMTP id g3mr1107181pad.138.1394703765526; Thu, 13 Mar 2014 02:42:45 -0700 (PDT) Sender: wouter.swierstra@gmail.com Received: by 10.68.161.133 with HTTP; Thu, 13 Mar 2014 02:42:45 -0700 (PDT) Date: Thu, 13 Mar 2014 10:42:45 +0100 X-Google-Sender-Auth: LGRUQohq-8KbNs8xJUEpJcxP_SM Message-ID: From: Wouter Swierstra To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Validation-by: w.s.swierstra@uu.nl Subject: [Caml-list] Haskell Symposium 2014: Call for papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ACM SIGPLAN HASKELL SYMPOSIUM 2014 CALL FOR SUBMISSIONS Gothenburg, Sweden, 4-5 September 2014, directly after ICFP http://www.haskell.org/haskell-symposium/2014 haskell2014@easychair.org =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The ACM SIGPLAN Haskell Symposium 2014 will be colocated with the 2014 International Conference on Functional Programming (ICFP) in Gothenburg, Sweden. Like last year, the symposium will last 2 days. Thanks to broader participation from a growing community, we will be able to include more regular papers as well as system demonstrations, while upholding the scientific quality of the symposium. 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. Topics of interest include * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Such reports are shorter than regular papers; they are limited to six pages. Papers in the latter two categories need not necessarily report original research results. They may report instead, for example, reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program! Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). In addition, we solicit proposals for * System Demonstrations (no longer than a regular paper talk), based on running (perhaps prototype) software rather than necessarily on novel research results. These proposals should summarize the system capabilities that would be demonstrated. 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. Travel Support: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Student attendees with accepted papers 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). Proceedings: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ACM Press will publish formal proceedings. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html), but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Accepted proposals for system demonstrations will be posted on the symposium web page, but not formally published in the proceedings. Submission Details: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submitted papers should be in portable document format (PDF), 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. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Proposals for system demonstrations are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Submission is via EasyChair: https://www.easychair.org/conferences/?conf=3Dhaskell14 * Abstract submission: Fri 09 May 2014 * Paper submission : Mon 12 May 2014 * Demo submission : Fri 30 May 2014 (prior abstract submission unnecessary) * Author notification: Wed 11 June 2014 * Final papers due : Sun 22 June 2014 All deadlines, except the final papers deadline, are in Standard Samoan Time. Programme Committee: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D George Giorgidze - Standard Chartered Bank Mauro Jaskelioff - Universidad Nacional de Rosario Mark Jones - Portland State University Lindsey Kuper - Indiana University Jos=E9 Pedro Magalh=E3es - University of Oxford Geoffrey Mainland - Drexel University Simon Marlow - Facebook Shin Cheng Mu - Academia Sinica Keiko Nakata - Institute of Cybernetics, Tallinn University of Technology Bruno Oliveira - University of Hong Kong Lee Pike - Galois Josef Svenningsson - Chalmers University of Technology Wouter Swierstra - University of Utrecht (chair) Simon Thompson - University of Kent