[Haskell] Haskell Symposium: Early Track due this Friday, March 15

2019-03-11 Thread Richard Eisenberg

 ACM SIGPLAN  CALL FOR SUBMISSIONS

  Haskell Symposium 2019

  Berlin, Germany
22--23 August, 2019

  http://www.haskell.org/haskell-symposium/2019/



The ACM SIGPLAN Haskell Symposium 2019 will be co-located with the 2019
International Conference on Functional Programming (ICFP).

**NEW THIS YEAR**: We will be using a lightweight double-blind reviewing
process. See further information below.

The Haskell Symposium presents original research on Haskell,
discusses practical experience and future development of the language, and
promotes other forms of declarative 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;

  * System Demonstrations, based on running software rather than novel
research results.

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.

Experience reports and functional pearls 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, implementers, 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.

System demonstrations 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.


Submission Details
==

Early and Regular Track
---

The Haskell Symposium uses a two-track submission process so that some papers
can gain early feedback. Strong papers submitted to the early track are
accepted outright, and the others will be given their reviews and invited to
resubmit to the regular track. 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.

Formatting
--

Submitted papers should be in portable document format (PDF), formatted using
the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with
the `sigplan` sub-format for ACM proceedings. For details, see:

  http://www.sigplan.org/Resources/Author/#acmart-format

It is recommended to use the `review` option when submitting a paper; this 
option
enables line numbers for easy reference in reviews.

Functional pearls, experience reports, and demo proposals should be
labelled clearly as such.

Lightweight Double-blind Reviewing
--

Haskell Symposium 2019 will use a lightweight double-blind reviewing process.
To facilitate this, submitted papers must adhere to two rules:

 1. Author names and institutions must be omitted, and
 2. References 

[Haskell] Apply Haskell at scale in a music start-up

2019-03-11 Thread Jeroen Bransen

*

Dear Haskellers,


Chordify is hiring! Chordify is a young and fast growing music 
e-learning platform that helps musicians to play their favorite music. 
We automatically analyse the chords of a piece of music and display them 
in an intuitive player. Try it yourself at: https://chordify.net/or 
download one of our apps https://chordify.net/app



The cool thing is: our backend serving our apps and website has been 
written mostly in Haskell. With over 8 million users per month we apply 
functional programming at scale.



We hope to broaden our team with a functional programmer. We are looking 
for people who are pro-active, independent, and creative to improve 
Chordify. You’d have the opportunity to be productive with advanced 
type-system features and powerful GHC extensions. Our back-end is 
powered by libraries like Servant, Persistent and Esqueleto and we 
distribute computation using Cloud Haskell.



If you are interested in working at Chordify, please have a look at: 
https://jobs.chordify.net/



All the best,

Jeroen Bransen

*
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell


[Haskell] [FNC-2019] Conference on Future Networks and Communications. Halifax, Canada (August 19-21, 2019)

2019-03-11 Thread Wim Ectors


The 14th International Conference on Future Networks and Communications

August 19-21, 2019

Halifax, Nova Scotia, Canada

http://cs-conferences.acadiau.ca/fnc-19/




Future Networks and Communications (FNC) research effort will help
achieving a major promise of the emerging technologies such as, ubiquitous
access to broadband, supporting vital applications in our daily lives such
as health, energy consumption, environment transport, entertainment or
education. The scope of FNC is the development of energy-efficient future
network infrastructures that support the convergence and interoperability
of heterogeneous mobile, wired and wireless broadband network technologies
as enablers of the future Internet. This includes but not limited to
ubiquitous fast broadband access and ultra-high speed end-to-end optical
connectivity, supporting open services and innovative ambient applications.
Scope also embraces novel and evolutionary approaches to tackle network
architectures, taking due consideration of users and societal needs for
success.


Important Dates



- Workshop Proposal Due: February 15, 2019

- Paper Submission Due:  March 28, 2019

- Acceptance Notification:  May 25, 2019

- Final Manuscript Due:   June 25, 2019


Publication



All FNC 2019 accepted papers will be published by Elsevier Science in the
open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely
available worldwide. All papers in Procedia will be indexed by Scopus (
www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation
Index (http://thomsonreuters.com/conference-proceedings-citation-index/).
All papers in Procedia will also be indexed by Scopus (www.scopus.com) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (www.ei.org/compendex). Moreover, all accepted papers will be
indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked
references, XML versions and citable DOI numbers. You will be able to
provide a hyperlink to all delegates and direct your conference website
visitors to your proceedings. Selected papers will be invited for
publication, in the following special issues:


- International Journal of Ambient Intelligence and Humanized Computing
(IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652)

- International Journal of Computing and Informatics (IF: 0.504), (
http://www.cai.sk/ojs/index.php/cai/index)

- IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645)


FNC 2019 will be held in conjunction with the 15th International Conference
on Mobile Systems and Pervasive Computing (MobiSPC
http://cs-conferences.acadiau.ca/mobispc-19/).


FNC 2019 is co-organized & co-hosted by Acadia and Dalhousie Universities.
FNC 2019 will be held in Halifax, Nova Scotia, Canada. Halifax is located
on the east coast of Canada and is approximately 6-hour flight from London,
UK and a 2-hour flight from Toronto, Ontario. Halifax is a vibrant and
modern city which is home to multiple academic institutions and where
visitors can enjoy a variety of activities and entertainment from whale
watching to Jazz festivals to world-class cuisine. Halifax is also home to
the Maritime Museum of the Atlantic which contains the world largest
collection of Titanic artifacts. Nova Scotia is a picturesque province with
many National and Provincial parks, and as stated in the Guinness Book of
World Records, has the highest tides in the world.



COMMITTEES:

---

General Chair

 Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences,
Slovakia


Program Chairs

 Haroon Malik, Marshall University, USA

 Ansar Yasar, IMOB - Hasselt University, Belgium


Local Chairs

 Maen Artimy, Dalhousie University, Canada

 Hassan Raza,, Dalhousie University, Canada


Workshops Chair

 Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France


International Journals Chair

 Atta Badii, Reading University, UK


Publicity Chairs

 Wim Ectors, Hasselt University, Belgium

 Mohammed Erritali, University Sultane Moulay Slimane, Morocco


Advisory Committee

 Soumaya Cherkaoui, Sherbrooke University, Canada

 Erol Gelenbe, Imperial College, UK

 Roch Glitho, Concordia University, Canada

 Zygmunt J. Haas, Cornell University, USA

 Philippe Martins, Telecom Paris Tech, France

 Peter Sloot, Universiteit van Amsterdam, Netherlands

 David Taniar, Monash University, Australia


Technical Program Committee

  http://cs-conferences.acadiau.ca/fnc-19/#programCommittees

Sent via Mail Merge