[Haskell-cafe] [2nd CFP] Haskell Symposium 2016
Carter Schonwald
carter.schonwald at gmail.com
Wed Mar 30 19:00:03 UTC 2016
I notice the notification date is 2 days after the popl submission
deadline, is that by design or an oversight?
thanks!
-Carter
On Mon, Mar 28, 2016 at 1:44 PM, Geoffrey Mainland <mainland at drexel.edu>
wrote:
> ========================================================================
> ACM SIGPLAN CALL FOR SUBMISSIONS
> Haskell Symposium 2016
>
> Nara, Japan, 22-23 September 2015, directly after ICFP
> http://www.haskell.org/haskell-symposium/2016
> ========================================================================
>
> ** The Haskell Symposium has an early track this year **
> ** See the Submission Timetable for details. **
>
> The ACM SIGPLAN Haskell Symposium 2016 will be co-located with the
> International Conference on Functional Programming (ICFP 2016) in
> Vancouver, Canada.
>
> The Haskell Symposium aims to present original research on Haskell,
> discuss practical experience and future development of the language, and
> 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;
>
> * Libraries, that demonstrate new ideas or techniques for functional
> programming in Haskell;
>
> * 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.
>
> Papers in the latter three categories need not necessarily report
> original academic research results. For example, they may instead report
> 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 standard solution to a standard programming
> problem, or report on experience where you used Haskell in the standard
> way and achieved the result you were expecting. More advice is available
> via the Haskell wiki:
> (http://wiki.haskell.org/HaskellSymposium/ExperienceReports)
>
> 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, and
> to other languages where appropriate.
>
> In addition, we solicit proposals for:
>
> * System Demonstrations, based on running software rather than novel
> research results.
>
> These proposals should summarize the system capabilities that would be
> demonstrated. The proposals 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, social or artistic. Please contact
> the program chair with any questions about the relevance of a proposal.
>
> Travel Support:
> ===============
>
> 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 program, see its web page (http://pac.sigplan.org).
>
> 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). Authors are encouraged to publish
> auxiliary material with their paper (source code, test data, etc.); they
> retain copyright of auxiliary material.
>
> Accepted proposals for system demonstrations will be posted on the
> symposium website but not formally published in the proceedings.
>
> All accepted papers and proposals will be posted on the conference
> website one week before the meeting.
>
> Publication date: The official publication date of accepted papers is
> the date the proceedings are made available in the ACM Digital
> Library. This date may be up to two weeks prior to the first day of the
> conference. The official publication date affects the deadline for any
> patent filings related to published work.
>
> Submission Details:
> ===================
>
> 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---for example, a Functional
> Pearl may be much shorter than 12 pages. Each paper submission must
> adhere to SIGPLAN's republication policy, as explained on the web.
>
> Demo proposals 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.
>
> Papers may be submitted at: https://icfp-haskell2016.hotcrp.com/
>
> Submission Timetable:
> =====================
>
> Early Track Regular Track System Demos
> ---------------- ------------------- ---------------
> 1st April Paper Submission
> 20th May Notification
> 6th June Abstract Submission
> 10th June Paper Submission
> 17th June Resubmission Demo Submission
> 8th July Notification Notification Notification
> 31st July Camera ready due Camera ready due
>
> Deadlines stated are valid anywhere on earth.
>
> The Haskell Symposium uses a two-track submission process so that some
> papers can gain early feedback. Papers can be submitted to the early
> track on 1st April. On 20th May, strong papers are accepted outright,
> and the others will be given their reviews and invited to resubmit. On
> 17th June, early track papers may be resubmitted and are sent back to
> the same reviewers. The Haskell Symposium regular track operates as in
> previous years. Papers accepted via the early and regular tracks are
> considered of equal value and will not be distinguished in the
> proceedings.
>
> Although all papers may be submitted to the early track, authors of
> functional pearls and experience reports are particularly encouraged to
> use this mechanism. The success of these papers depends heavily on the
> way they are presented, and submitting early will give the program
> committee a chance to provide feedback and help draw out the key ideas.
>
> Program Committee:
> ===================
>
> James Cheney University of Edinburgh
> Iavor Diatchki Galois
> David Duke University of Leeds
> Richard Eisenberg University of Pennsylvania
> Ken Friis Larsen University of Copenhagen
> Andy Gill University of Kansas
> Zhenjiang Hu National Institute of Informatics
> Ranjit Jhala UC San Diego
> Yukiyoshi Kameyama University of Tsukuba
> Geoffrey Mainland (chair) Drexel University
> Mary Sheeran Chalmers University of Technology
> David Terei Stanford
> Niki Vazou UC San Diego
> Dimitrios Vytiniotis Microsoft Research
>
> =====================================================================
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160330/1f068a64/attachment.html>
More information about the Haskell-Cafe
mailing list