Tarmo Uustalu | 30 Sep 01:10 2014

ETAPS 2015 final call for papers


                   CALL FOR PAPERS: ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

                  London, UK,  11-18 April 2015




ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is the
eighteenth event in the series.

-- MAIN CONFERENCES (13-17 April) --

    * CC: Compiler Construction
        (PC chair Björn Franke, University of Edinburgh, UK)
    * ESOP: European Symposium on Programming
        (PC chair Jan Vitek, Northeastern University, USA)
    * FASE: Fundamental Approaches to Software Engineering
        (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
         and Ina Schaefer, Technische Universität Braunschweig, Germany)
    * FOSSACS: Foundations of Software Science
(Continue reading)

Michael Litchard | 26 Sep 19:56 2014

Re: Haskell Digest, Vol 133, Issue 16

Ouch. Ouchie.

On Fri, Sep 26, 2014 at 6:54 AM, John Tromp <john.tromp <at> gmail.com> wrote:
> In the heart of Free Glasgow, in the soon to be People's Republic of Scotland

Correction: the formerly-soon-to-be People's Republic of Scotland.

Haskell mailing list
Haskell <at> haskell.org

Haskell mailing list
Haskell <at> haskell.org
John Tromp | 26 Sep 15:54 2014

Re: Haskell Digest, Vol 133, Issue 16

> In the heart of Free Glasgow, in the soon to be People's Republic of Scotland

Correction: the formerly-soon-to-be People's Republic of Scotland.

Neil Ghani | 25 Sep 17:16 2014

5Yr Research Fellowships

In the heart of Free Glasgow, in the soon to be People's Republic of Scotland, there is a chance to join the
University of Strathclyde with a 5 year research fellowship leading to a permanent full time position.
All you need is a 5-page research plan … a lot less than many Fellowship avenues. The area is data science
and/or security but we intend to interpret this broadly. Very broadly. More details can be found here. 


All the best
Graham Hutton | 24 Sep 09:30 2014

Nottingham Research Fellowships (deadline 20th October)

Dear all,

The University of Nottingham is seeking applications for
a number of Nottingham Research Fellowships:


These are highly prestigious three-year fellowships, which
are normally expected to lead into permenant academic
positions.  Candidates should have no more than 8 years
postdoctoral experience, and fellowships normally start
in October 2015.  The deadline for submission of initial
Expressions of Interest is ** 20th October 2014 **.

Applicants in the area of the Functional Programming (FP)
lab would be most welcome.  The FP lab is keen to receive
applications from outstanding candidates with an excellent
publication record, experience in combining theory with
practice, and the ability to secure external funding to
support their research.  Further information about the FP
lab is available from http://fp.cs.nott.ac.uk

As an approximate guideline, candidates in the area of
the FP lab would normally be expected to have at least
3 years postdoc experience, and a number of strong
publications in leading international venues such
as ICFP, POPL, LICS, JFP, Haskell Symposium, etc.

Best wishes,

Graham Hutton

Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK

This message and any attachment are intended solely for the addressee and may contain confidential
information. If you have received this message in error, please send it back to me, and immediately delete
it.   Please do not use, copy or disclose the information contained in this message or in any attachment.  Any
views or opinions expressed by the author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system, you are advised to perform
your own checks. Email communications with the University of Nottingham may be monitored as permitted by
UK legislation.
Gabriele Keller | 24 Sep 08:06 2014

JFP special issue on parallel and concurrent FP

If you’re working on parallel or concurrent FP, please consider submitting an article to this special
issue of JFP,


                         CALL FOR PAPERS

                        JFP Special Issue
                   Parallel and Concurrent Programming

                 Submission Deadline: 22 December 2014
        Expected Publication Date: November/December issue 2015

* Scope

Functional languages are uniquely suited to provide programmers with a
programming model for parallel and concurrent computing. This is reflected in
the wide range of work that is currently underway, both on parallel and
concurrent functional languages, but also on bringing functional language
features to other programming languages. This has resulted in a rapidly
growing number of practical applications.

The Journal of Functional Programming will devote a special issue to
functional programming for concurrent and parallel computing. The purpose of
this special issue is to showcase the state of the art on how functional
languages and functional concepts currently assist programmers with the task
of managing the challenges of creating parallel and concurrent systems.

Language designers as well as systems builders and application programmers are
invited to submit papers describing the current state of the art of language
support and experiences with functional programming in building real-world

We encourage the submission of consolidated, condensed and extended work based
on prior conference and workshop publications.

* Submission Details

Manuscripts should be submitted in PDF format by email to one of the guest
editors (see addresses below). For other submission and formatting details,
please consult the Journal of Functional Programming website.

Guest Editors
Gabriele Keller                             Fritz Henglein                               
keller  <at> cse.unsw.edu.au                     henglein <at> diku.dk
School of Computer Science & Engineering    Department of Computer Science (DIKU)      
UNSW Sydney NSW 2052                        University of Copenhagen                          
and                                         Universitetsparken 5                                 
The Software Systems Research Group <at>  NICTA  DK-2100 Copenhagen                              
Australia                                   Denmark 
Jonathan Daugherty | 24 Sep 00:59 2014

[ANN] cabal-dev officially deprecated in favor of cabal sandboxes


I'm pleased to announce (really!) that cabal-dev is being deprecated in
favor of cabal sandboxes. Cabal sandboxes have been around long enough
that it's clear that cabal-dev has served its purpose and we are left in
good hands with the newer Cabal features. As a result:

 * No further cabal-dev releases will be pushed to Hackage.

 * For the sake of at least keeping the codebase buildable for those
   depending on it, we will accept pull requests adjusting version
   bounds in the cabal file on the cabal-dev repository at


 * If you are still using cabal-dev, we strongly encourage you to
   migrate to sandboxes. 'cabal sandbox' is a fantastic alternative;
   migrating to it is just about as simple as

   rm -r cabal-dev && cabal sandbox init && cabal install

 * If you need assistance using 'cabal sandbox', a very good
   introduction (and cabal-dev migration guide!) can be found at


Huge thanks are due to the Cabal contributors who worked to implement
sandboxing support. We are all better off with having these features
moved into Cabal proper. I would also like to thank Rogan Creswick (of
Galois) and Josh Hoyt (of Twitter) who implemented cabal-dev, and of
course we received many community contributions to improve the project;
thanks to everyone!

If you depend heavily on cabal-dev and are interested in maintaining it
on your own, please don't hesitate to get in touch.



  Jonathan Daugherty
  Software Engineer
  Galois, Inc.
Ylies Falcone | 23 Sep 15:21 2014

Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track

30th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 13 - 17, 2015, Salamanca, Spain

More information:
http://fmt.cs.utwente.nl/conferences/sac-svt2015/ and

Important dates
* September 26, 2014: Submission of regular papers -- EXTENDED 
* November 17, 2014: Notification of paper acceptance/rejection
* December 8, 2014: Camera-ready copies of accepted papers

ACM Symposium on Applied Computing
The ACM Symposium on Applied Computing (SAC) has gathered scientists
from different areas of computing over the past twenty-nine
years. The forum represents an opportunity to interact with different
communities sharing an interest in applied computing.

SAC 2015 is sponsored by SIGAPP and will be held at the UNESCO world
heritage city of Salamanca in Spain.

Software Verification and Testing Track
We invite authors to submit new results in formal verification and
testing, as well as development of technologies to improve the
usability of formal methods in software engineering. Also welcome are
detailed descriptions of applications of mechanical verification to
large scale software. Possible topics include, but are not limited to:

- model checking
- theorem proving
- correct by construction development
- model-based testing
- verification-based testing
- symbolic execution
- static and run-time analysis
- abstract interpretation
- analysis methods for dependable systems
- software certification and proof carrying code
- fault diagnosis and debugging
- verification of large scale software systems
- real world applications and case studies applying software verification

Submissions Guidelines
Paper submissions must be original, unpublished work. Submissions
should be in electronic format, via the START site:

Author(s) name(s) and address(es) must not appear in the body of the
paper, and self-reference should be avoided and made in the third
person. Submitted paper will undergo a blind review process. Authors
of accepted papers should submit an editorial revision of their papers
that fits within six two-column pages (an extra two pages, to a total
of eight pages, may be available at a charge). Please comply to this
page limitation already at submission time. Accepted papers will be
published in the ACM SAC 2015 proceedings.

Paper registration is required, allowing the inclusion of the
paper/poster in the conference proceedings. An author or a proxy
attending SAC MUST present the paper. This is a requirement for the
paper/poster to be included in the ACM/IEEE digital library. No-show
of scheduled papers and posters will result in excluding them from the
ACM/IEEE digital library.

A special issue of Science of Computer Programming has been
confirmed. Selected papers will be invited for submission, and will be
peer-reviewed according to the standard policy of Science of Computer

Student Research Competition
As before, SAC 2015 organises a Student Research Competition (SRC)
Program to provide graduate students the opportunity to meet and
exchange ideas with researchers and practitioners in their areas of
interest. Guidelines and information about the SRC program can be
found at http://www.acm.org/conferences/sac/sac2015/. Submission to
the SRC program should be in electronic form via the following website

Program Committee 
Laura Brandan Briones, National University of Cordoba, Argentina
Maximiliano Cristi·, Universidad Nacional de Rosario, Argentina
Marco Faella, University of Naples, Italy
Ylies Falcone, University of Grenoble Alpes, France
Tingting Han, University of London, UK
Fabrice Kordon, University Pierre et Marie Curie, France
Stefan Leue, University of Konstanz, Germany
Shaoying Liu, Hosei University, Japan
Malte Lochau, Darmstadt University, Germany
Annabelle McIver, Macquarie University, Australia
Mercedes Merayo, Universidad Complutense de Madrid, Spain
Dominique Mery, University of Lorraine, France
Mohammad Mousavi, Halmstad University, Sweden
Brian Nielsen, Aalborg University, Denmark
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Wishnu Prasetya, Utrecht University, The Netherlands
Marjan Sirjani, Reykjavik University, Iceland
Hasan Sˆzer, ÷zyegin University, Turkey
Tanja Vos, Valencia University, Spain
Anton Wijs, Eindhoven University of Technology, The Netherlands
Liu Yang, Nanyang Technological University, Singapore
Gianluigi Zavattaro, University of Bologna, Italy
Lijun Zhang, Chinese Academy of Sciences, China

Program Committee Chairs
Gwen Salaun, University of Grenoble Alpes, France
Marielle Stoelinga, University of Twente, Netherlands
Tom Schrijvers | 22 Sep 17:34 2014

Postdoctoral Position in Programming Languages at KU Leuven

Postdoctoral Position in Programming Languages at KU Leuven

The Declarative Languages and Artificial Intelligence (DTAI) group of KU Leuven
(Belgium) invites applicants for a postdoctoral position in the area of
programming languages. This position has been created at the occasion of the
new appointment of prof. Tom Schrijvers as research professor at KU Leuven. The
position's aim is to reinforce the research activities in functional
programming, logic programming and/or programming language theory.

To apply you must hold a recent PhD (or be about to graduate) in one of the
above areas of programming languages. Candidates are expected to have
high-quality publications in peer-reviewed conferences and journals.

The postdoc will work closely with prof. Schrijvers and his PhD students,
participate in ongoing research activities and enjoy the freedom to develop new
lines of research.

The position is for 2 x 1 year and can be further extended. The salary is
competitive and the starting date negotiable.  Moreover, KU Leuven's policy of
equal opportunities and diversity applies to this position.

Please send your application to prof. Tom Schrijvers (tom dot schrijvers at cs
dot kuleuven dot be) by October 15, 2014. Your application should contain:

 - A cover letter explaining your interest in the position.

 - Your curriculum vitae.

 - A short research statement (max. 3 pages).

 - The names and contact details of three people who can, if asked, write
   letters of reference.

Haskell mailing list
Haskell <at> haskell.org
Daniel Santa Cruz | 18 Sep 06:28 2014

Haskell Weekly News: Issue 306

Welcome to issue 306 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers
from September 07 to 13, 2014

Quotes of the Week

   * prophile: at this point ekmett is more part of the language than a
     practitioner of it

   * Qfwfq: Simon is a title, not a forename.

Top Reddit Stories

   * Haskell for all: Morte: an intermediate language for super-optimizing
     functional programs
     Domain: haskellforall.com, Score: 110, Comments: 83
     Original: [1] http://goo.gl/MjPyyr
     On Reddit: [2] http://goo.gl/v2btl4

   * AMP has landed in GHC Main!
     Domain: haskell.org, Score: 88, Comments: 71
     Original: [3] http://goo.gl/giu1Xh
     On Reddit: [4] http://goo.gl/ZGJ76S

   * [Meta] What's with all these downvotes on beginner questions?
     Domain: self.haskell, Score: 69, Comments: 67
     Original: [5] http://goo.gl/ik2uu2
     On Reddit: [6] http://goo.gl/ik2uu2

   * Haskell Implementors Workshop 2014 videos [youtube]
     Domain: youtube.com, Score: 59, Comments: 11
     Original: [7] http://goo.gl/ijM6hs
     On Reddit: [8] http://goo.gl/48GOSr

   * FP Complete is hiring: Haskell web UI developer
     Domain: fpcomplete.com, Score: 59, Comments: 14
     Original: [9] http://goo.gl/0kPlFl
     On Reddit: [10] http://goo.gl/WtivSo

   * How to get (approx) stack traces with profiled builds
     Domain: self.haskell, Score: 46, Comments: 15
     Original: [11] http://goo.gl/ZAurK6
     On Reddit: [12] http://goo.gl/ZAurK6

   * Hakaru: An embedded probabilistic programming language
     Domain: indiana.edu, Score: 40, Comments: 10
     Original: [13] http://goo.gl/PLcCGW
     On Reddit: [14] http://goo.gl/aP7giY

   * Why does David Turner say type classes were a bad idea?
     Domain: self.haskell, Score: 37, Comments: 96
     Original: [15] http://goo.gl/WqRLZQ
     On Reddit: [16] http://goo.gl/WqRLZQ

   * Let's Build a Browser Engine in Haskell: Part 2
     Domain: hrothen.github.io, Score: 33, Comments: 14
     Original: [17] http://goo.gl/PyxMOy
     On Reddit: [18] http://goo.gl/45L7hs

   * Proposal for copatterns in Idris
     Domain: github.com, Score: 30, Comments: 38
     Original: [19] http://goo.gl/7Zv7U1
     On Reddit: [20] http://goo.gl/pPIq8p

   * GHC Blog: Static pointers and serialisation (by SPJ)
     Domain: ghc.haskell.org, Score: 28, Comments: 2
     Original: [21] http://goo.gl/HJrm4t
     On Reddit: [22] http://goo.gl/kPxJj5

   * introduction to the basic lens operators
     Domain: intolerable.me, Score: 26, Comments: 12
     Original: [23] http://goo.gl/VXlKnm
     On Reddit: [24] http://goo.gl/b0bLfE

   * Prisms lead to typeclasses for subtractive types
     Domain: gelisam.blogspot.ca, Score: 22, Comments: 6
     Original: [25] http://goo.gl/l9QIIm
     On Reddit: [26] http://goo.gl/GMD5Cj

   * Preventing memoization in (AI) search problems
     Domain: okmij.org, Score: 22, Comments: 16
     Original: [27] http://goo.gl/oEb6WD
     On Reddit: [28] http://goo.gl/jqVKPS

   * A shallow survey of formal methods for C code
     Domain: imperialviolet.org, Score: 21, Comments: 7
     Original: [29] http://goo.gl/rJgycy
     On Reddit: [30] http://goo.gl/RrXwns

   * Haskell Lectures
     Domain: shuklan.com, Score: 21, Comments: 1
     Original: [31] http://goo.gl/Ef0E4
     On Reddit: [32] http://goo.gl/VASdCX

   * A Netwire 5 Tutorial
     Domain: self.haskell, Score: 20, Comments: 5
     Original: [33] http://goo.gl/BmcKWr
     On Reddit: [34] http://goo.gl/BmcKWr

   * Haskell Symposium talk on inline Objective-C in Haskell
     Domain: speakerdeck.com, Score: 20, Comments: 0
     Original: [35] http://goo.gl/VDHOiP
     On Reddit: [36] http://goo.gl/TyL90G

   * HaLVM / Unikernel talk at the Xen User Summit on Monday, September 15th
     Domain: sched.co, Score: 19, Comments: 8
     Original: [37] http://goo.gl/HoVwWT
     On Reddit: [38] http://goo.gl/9lqCE0

   * Fun with (Extended Kalman) Filters
     Domain: idontgetoutmuch.wordpress.com, Score: 18, Comments: 2
     Original: [39] http://goo.gl/8EGSQR
     On Reddit: [40] http://goo.gl/aTASRU

Top StackOverflow Questions

   * Why does OCaml sometimes require eta expansion?
     votes: 12, answers: 1
     Read on SO: [41] http://goo.gl/TsBuz5

   * Can Haskell evaluate and not garbage collect random indexes in a list?
     votes: 11, answers: 2
     Read on SO: [42] http://goo.gl/zXsBT1

   * How do I install dependencies when cross compiling haskell code?
     votes: 10, answers: 1
     Read on SO: [43] http://goo.gl/3qH6zK

   * Haskell lenses: how to make view play nicely with traverse?
     votes: 10, answers: 3
     Read on SO: [44] http://goo.gl/EWrR5j

   * Is there an instance of Monad but not of MonadFix?
     votes: 10, answers: 2
     Read on SO: [45] http://goo.gl/EAh0qc

   * How can the continuation monad be expressed using the free monad?
     votes: 10, answers: 3
     Read on SO: [46] http://goo.gl/ymMoFw

Until next time,
[47]+Daniel Santa Cruz



Haskell mailing list
Haskell <at> haskell.org
Stefan Wehr | 17 Sep 11:01 2014

ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014

Hi everyone,

this is just a quick reminder: The Haskell Hackathon in Berlin starts
in 9 days and there are very few places left. Please register now:

Where: Berlin, Germany
When:  Fri 26 - Sun 28 September 2014

We will do lots of Haskell hacking and listen to two excellent talks:

* Beyond Parsec -- Revisiting Parser Combinators, by Andres Löh
* Chordify: Advanced Functional Programming for Fun and Profit, by
José Pedro Magalhães

Meet in Berlin, discuss, hack together and improve the Haskell
infrastructure. We welcome all programmers interested in Haskell,
beginners and experts!

For all details, visit our wiki page
(http://www.haskell.org/haskellwiki/HacBerlin2014) and make sure to
register now!