Andrew Gill | 10 Feb 17:04 2016

ANN: remote-json, a JSON RPC library, released

Announcing a new Haskell JSON RPC library, remote-json, that uses the remote monad to bundle remote procedure calls, amortizing the cost of remote execution. There are thee bundling strategies provided: 

 * weak (calls done one at a time), 
 * strong (calls bundled until a reply is needed, where possible), and 
 * applicative (an applicative functor is sent to the remote JSON RPC server).

Example of use:

say :: Text -> RPC ()
say msg = notification "say" (List [String msg])

temperature :: RPC Int
temperature = method "temperature" None

main :: IO ()
main = do
  let s = strongSession $ clientSendAPI ""
  t <- send s $ do
                say "Hello, "
                say "World!"
  print t
Haskell mailing list
Haskell <at>
Lindsey Kuper | 9 Feb 07:09 2016

ICFP 2016 Second Call for Papers

                              ICFP 2016
The 21st ACM SIGPLAN International Conference on Functional Programming
                        Second Call for Papers

Important dates

Submissions due:    Wednesday, March 16 2016, 15:00 (UTC)
                    (now open)
Author response:    Monday, 2 May, 2016, 15:00 (UTC) -
                    Thursday, 5 May, 2016, 15:00 (UTC)
Notification:       Friday, 20 May, 2016
Final copy due:     TBA
Early registration: TBA
Conference:         Monday, 19 September -
                    Wednesday, 21 September, 2016
                    (note updated conference dates)


ICFP 2016 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, and from abstraction to
application. The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects, concurrency,
or parallelism. Topics of interest include (but are not limited to):

- Language Design: concurrency, parallelism, and distribution;
  modules; components and composition; metaprogramming; type systems;
  interoperability; domain-specific languages; and relations to
  imperative, object-oriented, or logic programming.

- Implementation: abstract machines; virtual machines; interpretation;
  compilation; compile-time and run-time optimization; garbage
  collection and memory management; multi-threading; exploiting
  parallel hardware; interfaces to foreign functions, services,
  components, or low-level machine resources.

- Software-Development Techniques: algorithms and data structures;
  design patterns; specification; verification; validation; proof
  assistants; debugging; testing; tracing; profiling.

- Foundations: formal semantics; lambda calculus; rewriting; type
  theory; monads; continuations; control; state; effects; program
  verification; dependent types.

- Analysis and Transformation: control-flow; data-flow; abstract
  interpretation; partial evaluation; program calculation.

- Applications: symbolic computing; formal-methods tools; artificial
  intelligence; systems programming; distributed-systems and web
  programming; hardware design; databases; XML processing; scientific
  and numerical computing; graphical user interfaces; multimedia and
  3D graphics programming; scripting; system administration; security.

- Education: teaching introductory programming; parallel programming;
  mathematical proof; algebra.

- Functional Pearls: elegant, instructive, and fun essays on
  functional programming.

- Experience Reports: short papers that provide evidence that
  functional programming really works or describe obstacles that have
  kept it from working.

If you are concerned about the appropriateness of some topic, do not
hesitate to contact the program chair.

Abbreviated instructions for authors

- By Wednesday, March 16 2016, 15:00 (UTC), submit a full paper of at
  most 12 pages (6 pages for an Experience Report), in standard
  SIGPLAN conference format, including figures but ***excluding

The deadlines will be strictly enforced and papers exceeding the page
limits will be summarily rejected.

***ICFP 2016 will employ a lightweight double-blind reviewing
process.*** To facilitate this, submitted papers must adhere to two

 1. ***author names and institutions must be omitted***, and

 2. ***references to authors' own related work should be in the third
    person*** (e.g., not "We build on our previous work ..." but
    rather "We build on the work of ...").

The purpose of this process is to help the PC and external reviewers
come to an initial judgement about the paper without bias, not to make
it impossible for them to discover the authors if they were to
try. Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult
(e.g., important background references should not be omitted or
anonymized). In addition, authors should feel free to disseminate
their ideas or draft versions of their paper as they normally
would. For instance, authors may post drafts of their papers on the
web or give talks on their research ideas. We have put together a
document answering frequently asked questions that should address many
common concerns:
(last updated February 8, 2016).

- Authors have the option to attach supplementary material to a
  submission, on the understanding that reviewers may choose not to
  look at it. The material should be uploaded at submission time, as a
  single pdf or a tarball, not via a URL. This supplementary material
  may or may not be anonymized; if not anonymized, it will only be
  revealed to reviewers after they have submitted their review of your
  paper and learned your identity.

- Each submission must adhere to SIGPLAN's republication policy, as
  explained on the web at:

- Authors of resubmitted (but previously rejected) papers have the
  option to attach an annotated copy of the reviews of their previous
  submission(s), explaining how they have addressed these previous
  reviews in the present submission. If a reviewer identifies
  him/herself as a reviewer of this previous submission and wishes to
  see how his/her comments have been addressed, the program chair will
  communicate to this reviewer the annotated copy of his/her previous
  review. Otherwise, no reviewer will read the annotated copies of the
  previous reviews.

Overall, a submission will be evaluated according to its relevance,
correctness, significance, originality, and clarity. It should explain
its contributions in both general and technical terms, clearly
identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience. Functional Pearls
and Experience Reports are separate categories of papers that need not
report original research results and must be marked as such at the
time of submission. Detailed guidelines on both categories are given

Presentations will be videotaped and released online if the presenter
consents. The proceedings will be freely available for download from
the ACM Digital Library from at least one week before the start of the
conference until two weeks after the conference.

Formatting: Submissions must be in PDF format printable in black and
white on US Letter sized paper and interpretable by
Ghostscript. Papers must adhere to the standard SIGPLAN conference
format: two columns, nine-point font on a ten-point baseline, with
columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter
of 2pc (0.33in). A suitable document template for LaTeX is available

Submission: Submissions will be accepted at

Improved versions of a paper may be submitted at any point before the
submission deadline using the same web interface.

Author response: Authors will have a 72-hour period, starting at 15:00
UTC on Monday, 2 May, 2016, to read reviews and respond to them.

ACM Author-Izer is a unique service that enables ACM authors to
generate and post links on either their home page or institutional
repository for visitors to download the definitive version of their
articles from the ACM Digital Library at no charge. Downloads through
Author-Izer links are captured in official ACM statistics, improving
the accuracy of usage and impact measurements. Consistently linking
the definitive version of ACM article should reduce user confusion
over article versioning. After your article has been published and
assigned to your ACM Author Profile page, please visit to learn how
to create your links for free downloads from the ACM DL.

AUTHORS TAKE NOTE: The official publication date 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 your conference. The
official publication date affects the deadline for any patent filings
related to published work.

Special categories of papers

In addition to research papers, ICFP solicits two kinds of papers that
do not require original research contributions: Functional Pearls,
which are full papers, and Experience Reports, which are limited to
six pages. Authors submitting such papers may wish to consider the
following advice.

Functional Pearls

A Functional Pearl is an elegant essay about something related to
functional programming. Examples include, but are not limited to:

- a new and thought-provoking way of looking at an old idea
- an instructive example of program calculation or proof
- a nifty presentation of an old or new data structure
- an interesting application of functional programming techniques
- a novel use or exposition of functional programming in the classroom

While pearls often demonstrate an idea through the development of a
short program, there is no requirement or expectation that they do
so. Thus, they encompass the notions of theoretical and educational

Functional Pearls are valued as highly and judged as rigorously as
ordinary papers, but using somewhat different criteria. In particular,
a pearl is not required to report original research, but, it should be
concise, instructive, and entertaining. Your pearl is likely to be
rejected if your readers get bored, if the material gets too
complicated, if too much specialized knowledge is needed, or if the
writing is inelegant. The key to writing a good pearl is polishing.

A submission you wish to have treated as a pearl must be marked as
such on the submission web page, and should contain the words
``Functional Pearl'' somewhere in its title or subtitle. These steps
will alert reviewers to use the appropriate evaluation
criteria. Pearls will be combined with ordinary papers, however, for
the purpose of computing the conference's acceptance rate.

Experience Reports

The purpose of an Experience Report is to help create a body of
published, refereed, citable evidence that functional programming
really works ? or to describe what obstacles prevent it from working.

Possible topics for an Experience Report include, but are not limited

- insights gained from real-world projects using functional

- comparison of functional programming with conventional programming
  in the context of an industrial project or a university curriculum

- project-management, business, or legal issues encountered when using
  functional programming in a real-world project

- curricular issues encountered when using functional programming in

- real-world constraints that created special challenges for an
  implementation of a functional language or for functional
  programming in general

An Experience Report is distinguished from a normal ICFP paper by its
title, by its length, and by the criteria used to evaluate it.

- Both in the proceedings and in any citations, the title of each
  accepted Experience Report must begin with the words ``Experience
  Report'' followed by a colon. The acceptance rate for Experience
  Reports will be computed and reported separately from the rate for
  ordinary papers.

- An Experience Report is at most six pages long. Each accepted
  Experience Report will be presented at the conference, but depending
  on the number of Experience Reports and regular papers accepted,
  authors of Experience reports may be asked to give shorter talks.

- Because the purpose of Experience Reports is to enable our community
  to accumulate a body of evidence about the efficacy of functional
  programming, an acceptable Experience Report need not add to the
  body of knowledge of the functional-programming community by
  presenting novel results or conclusions. It is sufficient if the
  Report states a clear thesis and provides supporting evidence. The
  thesis must be relevant to ICFP, but it need not be novel.

The program committee will accept or reject Experience Reports based
on whether they judge the evidence to be convincing. Anecdotal
evidence will be acceptable provided it is well argued and the author
explains what efforts were made to gather as much evidence as
possible. Typically, more convincing evidence is obtained from papers
which show how functional programming was used than from papers which
only say that functional programming was used. The most convincing
evidence often includes comparisons of situations before and after the
introduction or discontinuation of functional programming. Evidence
drawn from a single person's experience may be sufficient, but more
weight will be given to evidence drawn from the experience of groups
of people.

An Experience Report should be short and to the point: make a claim
about how well functional programming worked on your project and why,
and produce evidence to substantiate your claim. If functional
programming worked for you in the same ways it has worked for others,
you need only to summarize the results?the main part of your paper
should discuss how well it worked and in what context. Most readers
will not want to know all the details of your project and its
implementation, but please characterize your project and its context
well enough so that readers can judge to what degree your experience
is relevant to their own projects. Be especially careful to highlight
any unusual aspects of your project. Also keep in mind that specifics
about your project are more valuable than generalities about
functional programming; for example, it is more valuable to say that
your team delivered its software a month ahead of schedule than it is
to say that functional programming made your team more productive.

If your paper not only describes experience but also presents new
technical results, or if your experience refutes cherished beliefs of
the functional-programming community, you may be better off submitting
it as a full paper, which will be judged by the usual criteria of
novelty, originality, and relevance. If you are unsure in which
category to submit, the program chair will be happy to help you


General Co-Chairs:

Jacques Garrigue (Nagoya University)
Gabriele Keller (University of New South Wales)

Program Chair:

Eijiro Sumii (Tohoku University)

Program Committee:

Koen Claessen (Chalmers University of Technology)
Joshua Dunfield (University of British Columbia, Canada)
Matthew Fluet (Rochester Institute of Technology)
Nate Foster (Cornell University)
Dan Grossman (University of Washington, USA)
Jurriaan Hage (Utrecht University)
Roman Leshchinskiy (Standard Chartered Bank)
Keisuke Nakano (The University of Electro-Communications)
Aleksandar Nanevski (IMDEA Software Institute)
Scott Owens (University of Kent)
Sungwoo Park (Pohang University of Science and Technology)
Amr Sabry (Indiana University)
Tom Schrijvers (KU Leuven)
Olin Shivers (Northeastern University)
Walid Taha (Halmstad University)
Dimitrios Vytiniotis (Microsoft Research, Cambridge)
David Walker (Princeton University)
Nobuko Yoshida (Imperial College London, UK)

External Review Committee:

Igor Konnov | 8 Feb 20:44 2016

Call for PhD students: Logical Methods in Computer Science (Vienna, Austria)

(* Apologies if you got multiple copies of this email *)

Funded Doctoral Positions in Computer Science []

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
motivated students for their joint doctoral program LogiCS. The LogiCS
doctoral college focuses on interdisciplinary research topics covering

(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.


LogiCS is a doctoral college focusing on logic and its applications in
computer science. Successful applicants will work with and be
supervised by leading researchers in the fields of computational
logic, databases and knowledge representation, and computer-aided


M. Baaz     A. Biere  R. Bloem         A. Ciabattoni
U. Egly     T. Eiter  C. Fermueller    R. Grosu
A. Leitsch  M. Ortiz  R. Pichler       S. Szeider
H. Tompits  H. Veith  G. Weissenbacher

The LogiCS faculty comprises 15 renowned researchers with strong records
in research, teaching and advising, complemented by 12 associated
members who further strengthen the research and teaching activities of
the college.

Details are provided on


We are looking for 1 doctoral students per faculty member, where 30%
of the positions are reserved for highly qualified female
candidates. The doctoral positions are funded for a period of 3 years
according to the funding scheme of the Austrian Science Fund
The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.


At the moment we are particularly looking for people in the following areas:

* Automated reasoning and symbolic computation
* Formal Verification of hybrid systems
* Model Checking


Detailed information about the application process is available on the
LogiCS web-page

The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related
field. Candidates with comparable achievements will be considered on a
case-by-case basis. Applications by the candidates need to be
submitted electronically.

Next application Deadline: March 1, 2016.


Austria has a highly active and successful logic in computer science 

Recent activities include:
Vienna Summer of Logic, the Largest Conference in the History of Logic
Austrian Research Network in Rigorous Systems Engineering
Vienna Center for Logic and Algorithms
International Kurt Goedel Society


The Austrian cities Vienna, Graz, and Linz, located close to the Alps
and surrounded by beautiful nature, provide an exceptionally high
quality of life, with a vibrant cultural scene, numerous cultural
events, world-famous historical sites, a large international
community, a varied cuisine and famous coffee houses.

For further information please contact:
info <at>
Salvador Tamarit | 2 Feb 23:23 2016

PROHA 2016 ( <at> CGO'16): Early Registration Deadline (Feb 3)



      First Workshop on Program Transformation
 for Programmability in Heterogeneous Architectures


     Barcelona, 12th March 2016
     In conjunction with the CGO'16 Conference

==== Early Bird Registration: February 3rd, 2016 ====
      For registration information, please see


The PROHA  workshop focuses on  techniques and foundations to  make it
possible  to perform  source  code transformations  that preserve  the
intended  semantics  of  the original  code  and  improve  efficiency,
portability  or  maintainability.   The  topics of  interest  for  the
workshop  include,  non-exclusively:  program annotations  to  capture
algorithmic  properties   and intended  code   semantics;  programming
paradigms  able to  express  underlying  (mathematical) properties  of
code; usage  of dynamic and  static mechanisms to infer  relevant code
properties;   transformations  which   preserve  intended   semantics;
strategies  to  apply  transformations; heuristics  to  guide  program
transformation and techniques to  synthesize / learn these heuristics;
tools supporting the aforementioned topics.

Venue: Gran Hotel Princesa Sofia, Barcelona, Spain.

Please consult the workshop website ( for an
up-to-date program.


Haskell mailing list
Haskell <at>
Peter Achten | 2 Feb 10:33 2016

[TFP 2016] 1st call for papers

                     C A L L   F O R   P A P E R S

                     ======== TFP 2016 ===========

           17th Symposium on Trends in Functional Programming
                            June 8-10, 2016
                  University of Maryland, College Park
                          Near Washington, DC

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

TFP 2016 will be the main event of a pair of functional programming
events. TFP 2016 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 7nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
    * Edinburgh (Scotland) in 2003;
    * Munich (Germany) in 2004;
    * Tallinn (Estonia) in 2005;
    * Nottingham (UK) in 2006;
    * New York (USA) in 2007;
    * Nijmegen (The Netherlands) in 2008;
    * Komarno (Slovakia) in 2009;
    * Oklahoma (USA) in 2010;
    * Madrid (Spain) in 2011;
    * St. Andrews (UK) in 2012;
    * Provo (Utah, USA) in 2013;
    * Soesterberg (The Netherlands) in 2014;
    * and Inria Sophia-Antipolis (France) in 2015.
For further general information about TFP please see the TFP homepage.

== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the

Topics suitable for the symposium include, but are not limited to:

      Functional programming and multicore/manycore computing
      Functional programming in the cloud
      High performance functional computing
      Extra-functional (behavioural) properties of functional programs
      Dependently typed functional programming
      Validation and verification of functional programs
      Debugging and profiling for functional languages
      Functional programming in different application areas:
        security, mobility, telecommunications applications, embedded
        systems, global computing, grids, etc.
      Interoperability with imperative programming languages
      Novel memory management techniques
      Program analysis and transformation techniques
      Empirical performance studies
      Abstract/virtual machines and compilers for functional languages
      (Embedded) domain specific languages
      New implementation strategies
      Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2016 program chair, David Van Horn.


To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


TFP is financially supported by CyberPoint, Galois, Trail of Bits, and
the University of Maryland Computer Science Department.


Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students.  A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:


Submission of draft papers:     April 8, 2016
Notification:                   April 15, 2016
Registration:                   May 13, 2016
TFP Symposium:                  June 8-10, 2016
Student papers feedback:        June 14, 2016
Submission for formal review:   July 14, 2016
Notification of acceptance:     September 14, 2016
Camera ready paper:             October 14, 2016


Amal Ahmed              Northeastern University (US)
Nada Amin               École Polytechnique Fédérale de Lausanne (CH)
Kenichi Asai            Ochanomizu University (JP)
Małgorzata Biernacka    University of Wroclaw (PL)
Laura Castro            University of A Coruña (ES)
Ravi Chugh              University of Chicago (US)
Silvia Ghilezan         University of Novi Sad (SR)
Clemens Grelck          University of Amsterdam (NL)
John Hughes             Chalmers University of Technology (SE)
Suresh Jagannathan      Purdue University (US)
Pieter Koopman          Radboud University Nijmegen (NL)
Geoffrey Mainland       Drexel University (US)
Chris Martens           University of California, Santa Cruz (US)
Jay McCarthy            University of Massachusetts, Lowell (US)
Heather Miller          École Polytechnique Fédérale de Lausanne (CH)
Manuel Serrano          INRIA, Sophia-Antipolis (FR)
Scott Smith             Johns Hopkins University (US)
Éric Tanter             University of Chile (CL)
David Van Horn (Chair)  University of Maryland (US)
Niki Vazou              University of California, San Diego (US)

Haskell mailing list
Haskell <at>
Tarmo Uustalu | 27 Jan 12:56 2016

ETAPS 2017 call for satellite events

20th European Joint Conferences on Theory and Practice of Software
                              ETAPS 2017
                   Uppsala, Sweden, 23-29 April 2017

                      Call for  Satellite Events


The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. It is an
annual event held in Europe each spring since 1998. Its twentieth
edition, ETAPS 2017, will take place 23-29 April 2017 in Uppsala,

ETAPS 2017 main conferences, scheduled for 25-28 April, are:

* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and 
      Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and 
      Analysis of Systems


The ETAPS 2017 organizing committee invites proposals for satellite
events (workshops) that will complement the main conferences. They
should fall within the scope of ETAPS. This encompasses all aspects of
the system development process, including specification, design,
implementation, analysis and improvement, as well as the languages,
methodologies and tools which support these activities, covering a
spectrum from practically-motivated theory to soundly-based
practice. Satellite events provide an opportunity to discuss and
report on emerging research approaches and practical experience
relevant to theory and practice of software.

ETAPS 2017 satellite events will be held immediately before and after
the main conferences, on 23-24 April and 29 April.


The organizers of an ETAPS 2017 satellite are expected to:

* create and maintain a website for the event,
* form a PC, produce a call for papers for the event (if appropriate),
* advertise the event through specialist mailing lists etc. to
  complement the publicity of ETAPS,
* review the submissions received and make acceptance decisions,
* prepare an informal (pre)proceedings for the event (if appropriate),
* prepare the event's program complying with any scheduling
  constraints defined by the ETAPS 2017 organizing committee,
* prepare and organize the publication of a formal (post)proceedings
  (if desired).

The ETAPS 2017 organizing committee will:

* promote the event on the website and in the publicity material of
  ETAPS 2017,
* integrate the event's program into the overall program of the
* arrange registration for the event as a component of registration
  for ETAPS,
* collect a participation fee from the registrants,
* produce a compilation USB memory stick of the informal
  (pre)proceedings of the satellite events of ETAPS 2017 and
  distribute this to the registrants,
* provide the event with a meeting room of an appropriate size, A/V
  equipment, coffee breaks and possibly lunch(es).

As a rule, ETAPS will not contribute toward the travel or
accommodation costs of invited speakers or organizers of satellite


Researchers and practitioners wishing to organize satellite events are
invited to submit proposals to the workshop co-chairs Konstantinos
Sagonas and Mohamed Faouzi Atig using the web form at .

The following information is requested:

* the name and acronym of the satellite event
* the names and contact information of the organizers
* the duration of the event: one or two days
* the preferred period: 23 April, 24 April, 23-24 April or 29 April
* the expected number of participants
* a brief description (120 words approximately) of the event topic for
  the website and publicity material of ETAPS 2017
* a brief explanation of the event topic and its relevance to ETAPS
* an explanation of the selection procedure of contributions to the
  event, the PC chair and members, if known already, information about
  past editions of the event, if applicable
* any other relevant information, like a special event format, invited
  speakers, demo sessions, special space requirements, etc.
* a tentative schedule for paper submission, notification of
  acceptance and final versions for the (informal pre-)proceedings
  (the ETAPS 2017 organizing committee will need the final files by
  the end of Feb. 2017)
* the plans for formal publication (no formal publication, formal
  proceedings ready by the event, formal post-proceedings, publication
  venue - EPTCS or elsewhere)

The proposals will be evaluated by the ETAPS 2017 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2017. Prospective organizers may wish to consult the web pages
of previous satellite events as examples:

ETAPS 2016:
ETAPS 2015:
ETAPS 2014:
ETAPS 2013:
ETAPS 2012:


Satellite event proposals deadline: 14 March 2016

Notification of acceptance: early April 2016


Uppsala has a rich history, having for long periods been the
political, religious and academic center of Sweden.  Uppsala
University is over 500 years old, is consistently ranked among the top
100 in the world, and has been the home of many great scientists over
the years, for instance Carl von Linne, Anders Celsius and Anders
Jonas Ångström.

Uppsala is 60 kms from Stockholm and is well connected to Stockholm
Arlanda airport.


Please contact the workshop co-chairs, Konstantinos Sagonas,
kostis <at>, and Mohamed Faouzi Atig,
mohamed_faouzi.atig <at>
Haskell mailing list
Haskell <at>
Manuel M T Chakravarty | 27 Jan 02:37 2016

ANNOUNCE: Haskell for Mac, 1.1

Haskell for Mac, the interactive Haskell development environment for OS X, has just received a
significant update. In particular, the new command line tool integration essentially turns it into a
full GHC distribution for OS X.

For details, please see

Kim-Ee Yeoh | 22 Jan 18:00 2016

Haskell Weekly News

Dear Gentle Reader,

Many, many beautiful gems in the Haskell Weekly News archives are worth a second look.

To give you a taste, I reproduce below excerpts from the quotes section of the Jan 31, 2007 issue -- yes, that's 9 years ago -- under the editorship of Don Stewart.


Best, Kim-Ee Yeoh

Top Picks

A Blast from the Past (Quotes from #Haskell IRC):
  • huschi: Programing in haskell seems a bit frustrating. i'm missing searching for errors :(

  • bakert: I know all my programs can be reduced to only one tenth the size if only I can learn all these crazy functions

Quote of the Week
  • Will Jones: The more I write Haskell, the more it feels like Forth. Where I'm basically just inventing a language for my problem, then writing the program in that instead.

    (Ed. Dear Will: Remember how Dijkstra once said "Always design your programs as a member of a whole family of programs, including those that are likely to succeed it"? He would have warmly congratulated you on your discovery.)

-- Kim-Ee Yeoh
Haskell mailing list
Haskell <at>
Tijs van der Storm | 19 Jan 14:45 2016

1st Call for Contributions for SPLASH'16: OOPSLA, Onward!, Workshops, DLS, SLE, GPCE

ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'16)

Amsterdam, The Netherlands
Sun 30th October - Fri 4th November , 2016

Sponsored by ACM SIGPLAN


Doctoral Symposium
Dynamic Languages Symposium (DLS)
Software Language Engineering (SLE)
Generative Programming: Concepts & Experiences (GPCE)


# SPLASH 2016

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, systems, and software engineering. We invite high quality submissions describing original and unpublished work.

## OOPSLA Research Papers

Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys).

Submissions due: Wed 23 March, 2016

## Onward! Research Papers

Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research.

Submissions due: Fri 1 April, 2016

## Onward! Essays

Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings.

Submissions due: Fri 1 April, 2016

## Workshops

The SPLASH Workshops track will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings.

Late Phase Submissions of Workshop Proposals due: Fri 4 Mar, 2016

## Doctoral Symposium

The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months.

Submissions due: Thu 30 Jun, 2016

## Posters

The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact.

Poster submissions due: Fri 8 Jul, 2016

## Dynamic Languages Symposium (DLS)

DLS is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages — from Lisp to Smalltalk to Python to Javascript — on real-world practice, and research, continues to grow. We invite high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications.

Submissions due: Fri 10 June, 2016

## Software Language Engineering (SLE)

Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). SLE solicits high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering.

Submissions due: Fri 17 June, 2016 (abstracts); Fri 24 June, 2016 (papers)

## Generative Programming: Concepts & Experiences (GPCE)

The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities.

Submissions due: Fri 17 June, 2016 (abstracts); Fri 24 June, 2016 (papers)

## Information

Location: Mövenpick Hotel Amsterdam City Centre
Amsterdam, The Netherlands

## Organization:

SPLASH General Chair: Eelco Visser (TU Delft)
OOPSLA Papers Chair: Yannis Smaragdakis (University of Athens)
Onward! Papers Chair: Emerson Murphy-Hill (North Carolina State University)
Onward! Essays Chair: Crista Lopes (University of California, Irvine)
DLS PC Chair: Roberto Ierusalimschy (PUC-Rio)
SLE PC Co-Chairs: Emilie Balland (Sensational AG) and Daniel Varro (Budapest University of Technology and Economics)
GPCE PC Chair: Ina Schaefer (TU Braunschweig)
Doctoral Symposium Chair: Matthew Flatt (University of Utah)
SPLASH-E Co-Chair: Matthias Hauswirth (University of Lugano) and Steve Blackburn (Australian National University)
SPLASH-I Co-Chairs: Eelco Visser (TU Delft) and Tijs van der Storm (CWI)
Artifacts Co-Chairs: Michael Hind (IBM Research) and Michael Bond (Ohio State University)
Workshops Co-Chairs: Jan Rellermeyer (IBM Research) and Craig Anslow (Middlesex University, London)
Posters Co-Chairs: Sebastian Erdweg (TU Darmstadt) and Jeff Huang (Texas A&M University)
Student Research Competition Co-Chairs: Patrick Lam (University of Waterloo) and Sam Guyer (Tufts University)
Student Volunteer Co-Chairs: Daco Harkes (TU Delft) and Giovanni Viviani (University of British Columbia)
Publications Chair: Alex Potanin (Victoria University of Wellington)
Sponsorship Chair: Jurgen Vinju (Purdue University)
Publicity and Web Co-Chairs: Tijs van der Storm (CWI) and Ron Garcia (University of British Columbia)
Web Technology Chair: Eelco Visser (TU Delft)


Researcher Centrum Wiskunde & Informatica (CWI)
Master of Software Engineering Universiteit van Amsterdam (UvA)

Dr. Tijs van der Storm <at> Centrum Wiskunde & Informatica (CWI)
Office: L225    | Phone: +31 (0)20 5924164 | Address: Science Park 123    
P.O. Box 94079  | Postal code: 1090 GB     | Amsterdam, The Netherlands
Haskell mailing list
Haskell <at>
Salvador Tamarit | 16 Jan 21:25 2016

CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 22 [Extended]

[Apologies if you receive multiple copies of this announcement.]


PROHA 2016, CALL FOR PAPERS -- Deadline extension

First Workshop on
Program Transformation for Programmability in Heterogeneous Architectures

Barcelona, 12th March 2016, in conjunction with the CGO'16 Conference


Important Dates:

Paper submission deadline: 22 January 2016 23:59 (UTC)  [Extended]
Author notification: 5 February 2016
Final manuscript due: 26 February 2016


Developing and maintaining high-performance applications and libraries
for heterogeneous architectures is a difficult task, usually requiring
code transformations performed by an expert.

Tools assisting in and, if possible, automating such transformations
are of course of great interest. However, such tools require
significant knowledge and reasoning capabilities. For example, the
former could be a machine-understandable descriptions of what a piece
of code is expected to do, while the latter could be a set of
transformations and a corresponding logical context in which they are
applicable, respectively. Furthermore, strategies to identify the
sequence of transformations leading to the best resulting code need to
be elaborated.

This workshop will focus on techniques and foundations which make it
possible to perform source code transformations, which preserve the
intended semantics of the original code and improve efficiency,
portability or maintainability.

The topics of interest for the workshop include, but are not limited to:

* Program annotations to capture algorithmic properties and intended
  code semantics.

* Programming paradigms able to express underlying (mathematical)
  properties of code.

* Usage of dynamic and static mechanisms to infer relevant code

* Transformations which preserve intended semantics.

* Strategies to apply transformations.

* Heuristics to guide program transformation and techniques to
  synthesize / learn these heuristics.

* Tools

Submission Guidelines:

Submissions are to be written in English and not exceed 10 pages,
including bibliography.  Submissions should be written in ACM
double-column format using a 10-point type.  Authors should follow the
information for formatting ACM SIGPLAN conference papers, which can be

Authors should submit their papers in pdf format using the EasyChair


The proceedings will be made publicly available through ArXiV.

Workshop Organizers:

- Manuel Carro, IMDEA Software Institute and Technical University of Madrid

- Colin W. Glass, University of Stuttgart

- Jan Kuper, University of Twente

- Julio Mariño, Technical University of Madrid

- Lutz Schubert, University of Ulm

- Guillermo Vigueras, IMDEA Software Institute

- Salvador Tamarit, Technical University of Madrid

If you have any questions, please contact the program chair at
Haskell mailing list
Haskell <at>
Yliès Falcone | 15 Jan 18:49 2016

RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials

RV 2016

16th International Conference on Runtime Verification

September 23-30, Madrid, Spain


Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:

- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- runtime enforcement, fault detection, localization, containment, recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications
- monitoring security and privacy policies

Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.

Invited Speakers

The program of RV 2016 will feature invited talks from:

  • Gul Agha (University of Illinois at Urbana-Champaign, USA)
  • Oded Maler (CNRS and University of Grenoble-Alpes, France)
  • Fred B. Schneider (Cornell University, USA)


RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop days (September 26-25), and three conference days (September 28-30).

General Information on Submissions

All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers.

Research Papers Track

Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee.
  • Regular Papers (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome.
    The Program Committee of RV 2015 will give a best paper award. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design.
  • Short Papers (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions.

Tool Papers Track

The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference.

All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission.
We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool’s capabilities, highlighting the main characteristics and the usage.

Tool papers can be submitted into two categories:

  • Regular Tool Papers (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form.
  • Tool Exhibition Papers (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016.

Tutorial Track

Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings.

A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee.

Important Dates

Research and tool papers as well as tutorials will follow the following timeline:

  • Abstract deadline: May 8, 2016
  • Paper and tutorial deadline: May 15, 2016
  • Tutorial notification: June 1, 2016
  • Paper notification: July 11, 2016
  • Camera ready deadline: August 8, 2016
  • Summer school: September 23-25, 2016
  • Workshops and tutorials: September 26-27, 2016
  • Conference: September 28-30, 2016


Program Committee Chairs

  • Yliès Falcone, Univ. Grenoble-Alpes and Inria, France
  • Cesar Sanchez, IMDEA Software, Madrid, Spain

Tool Committee Chair

  • Klaus Havelund, NASA Jet Propulsion Laboratory, USA

Local Organization Chair

  • Juan E. Tapiador, Universidad Carlos III de Madrid, Spain

Program Committee

  • Erika Abraham, RWTH Aachen University, Germany
  • Howard Barringer, The University of Manchester, UK
  • Ezio Bartocci, TU Wien, Austria
  • Andreas Bauer, NICTA & Australian National University, Australia
  • Saddek Bensalem, Univ. Grenoble Alpes, France
  • Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany
  • Borzoo Bonakdarpour, McMaster University, Canada
  • Laura Bozzelli, Technical University of Madrid (UPM), Spain
  • Juan Caballero, IMDEA Software Institute, Spain
  • Wei-Ngan Chin, National University of Singapore, Singapore
  • Christian Colombo, University of Malta, Malta
  • Jyotirmoy Deshmukh, Toyota Technical Center, USA
  • Alexandre Donzé, UC Berkeley EECS Department, USA
  • Yliès Falcone, Univ. Grenoble Alpes and Inria, France
  • Bernd Finkbeiner, Saarland University, Germany
  • Adrian Francalanza, University of Malta, Malta
  • Vijay Garg, The University of Texas at Austin, USA
  • Patrice Godefroid, Microsoft Research, USA
  • Susanne Graf, Univ. Grenoble Alpes and CNRS, France
  • Radu Grosu, Vienna University of Technology, Austria
  • Sylvain Hallé, Université du Québec à Chicoutimi, Canada
  • Klaus Havelund, NASA Jet Propulsion Laboratory, USA
  • Johan Jaffar, National University of Singapore, Singapore
  • Thierry Jéron, Inria Rennes – Bretagne Atlantique, France
  • Johannes Kinder, Royal Holloway University of London, UK
  • Felix Klaedtke, NEC Europe Ltd., Germany
  • Kim G. Larsen, Aalborg University, Denmark
  • Axel Legay, Inria Rennes – Bretagne Atlantique, France
  • Martin Leucker, University of Lübeck, Germany
  • Benjamin Livshits, Microsoft Research, USA
  • Joao Lourenço, Universidade Nova de Lisboa, Portugal
  • Rupak Majumdar, MPI-SWS, Germany
  • Leonardo Mariani, University of Milano Bicocca, Italy
  • David Naumann, Stevens Institute of Technology, USA
  • Dejan Nickovic, Austrian Institute of Technology, Austria
  • Gordon Pace, University of Malta, Malta
  • Doron Peled, Bar Ilan University, Israel
  • Lee Pike, Galois, Inc., USA
  • Grigore Rosu, University of Illinois at Urbana-Champaign, USA
  • Gwen Salaün, Univ. Grenoble Alpes and Inria, France
  • Cesar Sanchez, IMDEA Software Institute, Spain
  • Sriram Sankaranarayanan, University of Colorado Boulder, USA
  • Gerardo Schneider, University of Gothenburg, Sweden
  • Scott Smolka, Stony Brook University, USA
  • Oleg Sokolsky, University of Pennsylvania, USA
  • Bernhard Steffen, University of Dortmund, Germany
  • Scott Stoller, Stony Brook University, USA
  • Volder Stolz, University of Oslo, Norway
  • Jun Sun, Singapore University of Technology and Design, Singapore
  • Juan Tapiador, Universidad Carlos III de Madrid, Spain
  • Serdar Tasiran, Koc Univ., Turkey
  • Michael Whalen, University of Minnesota, USA
  • Eugen Zalinescu, ETH Zurich, Switzerland
  • Lenore Zuck, University of Illinois at Chicago, USA

Tool Committee

  • Steven Artz, EC Spride, Germany
  • Howard Barringer, The University of Manchester, UK
  • Ezio Bartocci, TU Wien, Austria
  • Martin Leucker, University of Luebeck, Germany
  • Gordon Pace, University of Malta, Malta
  • Giles Reger, The University of Manchester, UK
  • Julien Signoles, CEA, France
  • Oleg Sokolsky, University of Pennsylvania, USA
  • Bernhard Steffen, University of Dortmund, Germany
  • Nikolai Tillmann, Microsoft Research, USA
  • Eugen Zalinescu, ETH Zurich, Switzerland

Attachment (cfp.pdf): application/pdf, 312 KiB

Haskell mailing list
Haskell <at>