Martin Erwig | 1 Aug 22:06 2015

PEPM 2016: Call for Papers


St. Petersburg, Florida, January 18 - 19, 2016

The 2016 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continues efforts to expand the scope
of PEPM beyond the traditionally covered areas of partial evaluation and
specialization. Specifically, PEPM will include practical applications of
program transformations such as refactoring tools, and practical
implementation techniques such as rule-based transformation systems. In
addition, the scope of PEPM covers manipulation and transformations of program
and system representations such as structural and semantic models that occur
in the context of model-driven development. In order to reach out to
practitioners, a separate category of tool demonstration papers will be

Topics of interest for PEPM’16 include, but are not limited to:

* Program and model manipulation techniques such as: supercompilation, partial
  evaluation, fusion, on-the-fly program adaptation, active libraries, program
  inversion, slicing, symbolic execution, refactoring, decompilation, and

* Program analysis techniques that are used to drive program/model
  manipulation such as: abstract interpretation, termination checking,
  binding-time analysis, constraint solving, type systems, automated testing
  and test case generation.
(Continue reading)

Craig Anslow | 31 Jul 09:47 2015

SPLASH 2015 - Call for Student Volunteers

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

       Pittsburgh, Pennsylvania, USA
       25th-30th October, 2015

       Sponsored by ACM SIGPLAN

Call for Student Volunteers                

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

** Student Volunteers **
The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions.

Applications Due: 7 August, 2015

Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft)

SPLASH Early Registration Deadline: 25 September, 2015
Contact: info <at>

Sheraton Station Square Hotel
Pittsburgh, Pennsylvania, United States

SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University)
OOPSLA Papers Chair: Patrick Eugster (Purdue University)
Onward! Papers Chair: Gail Murphy (University of British Columbia)
Onward! Essays Chair: Guy Steele (Oracle Labs)
DLS Papers Chair: Manuel Serrano (INRIA)

Artifact Evaluation Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research)
Demos Co-Chairs: Igor Peshansky (Google) and Pietro Ferrara (IBM Research)
Inspirations Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zach Tatlock (University of Washington), and Crista Lopes (UC Irvine)
Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University)
Posters Chair: Nick Sumner (Simon Fraser University)
Publications Chair: Alex Potanin (Victoria University of Wellington)
Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI)
SPLASH-E Chair: Eli Tilevich (Virginia Tech)
SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University)
Sponsorship Chair: Tony Hosking (Purdue University)
Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo)
Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft)
Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) 
Web Technology Chair: Eelco Visser (TU Delft)
Workshops Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) 
SLE General Chair: Richard Paige, University of York
GPCE General Chair: Christian Kästner, Carnegie Mellon University
PLoP General Chair: Filipe Correia, University of Porto
Haskell mailing list
Haskell <at>
Mark Lentczner | 30 Jul 21:08 2015

ANNOUNCE: Haskell Platform 7.10.2

Haskellers, we are pleased to announce the release of

Haskell Platform 7.10.2

Highlights include:
  • GHC 7.10.2
  • packages & tools bumped to very latest
  • major package updates to:
    • attoparsec
    • case-insensitive
    • cgi
    • GLUT, GLURaw, OpenGL, & OpenGLRaw
    • mtl
    • network
    • primitive & vector
    • QuickCheck
    • random
    • syb
    • text
  • new website
  • new installer script for linux
  • 10 bugs closed: Issues · haskell/haskell-platform
This is our first release concurrent with GHC's release. You'll notice that the version number has changed to reflect that from now on, our aim is to keep HP releases sync'd to GHC releases.

Note: Haskell Platform download pages are often cached - you may need to hit reload to see the release.

About the last minute update to text package:
tl;dr: Vast majority of code will never notice the difference. Go ahead and get the HP now and start enjoying 7.10.2 You can always update to the point release when it comes out.

Despite all the testing, GHC central noticed just a day before release that there was a regression with text literals in 7.10.2. It was possible to work around the issue via a change to the text package, and text- was released just today. Alas, there wasn't enough time to re-build and test the platform installers between then and now, so this release has text- There will be a point release ( of the Platform this weekend or next with the updated text package.

The issue does not result in incorrect code, only slow compilation times for very text literal laden code (as in thousands of literals), and slightly higher one-time construction cost at run-time. In full stack builds and many other test builds, these slow downs were inconsequential.

Windows Notes:
The Haskell Platform on Windows now provides the MSys2 tools. These tools are needed when installing packages that use conf-tools (generally rare). These tools are not automatically placed onto the PATH in order avoid troubles due to MSys2 tools which have the same name as a standard Windows tool (e.g., echo, find, dir).

- Mark "release monad" Lentczner

Special thanks to Erik Rantappa, Wasif Hasan Baig, & Ben Gamari for the new web site. Randy Polen for Windows build wrangling.

Haskell mailing list
Haskell <at>
lel416 | 30 Jul 17:00 2015


Are there still general admission tkts available for Sunday's race.  What time is an pharaoh racing

Sent from my iPhone
Hans Svensson | 30 Jul 12:33 2015

Erlang Workshop: Call for participation

                        CALL FOR PARTICIPATION

                  ACM SIGPLAN Erlang Workshop 2015
                         Vancouver, Canada
                         4 September, 2015


The purpose of the Erlang Workshop is to bring together the open
source, academic, and industrial programming communities of Erlang. It
provides a forum that enables participants to get the latest updates
on recent developments, new techniques and tools tailored to Erlang,
novel applications, lessons from users' experiences and current
research problems relevant to the practice of Erlang and functional

These are the accepted papers and program for this year (they should
appear on the website shortly):

09:00 - 09:10 Opening & Welcome
09:10 - 10:00 Invited Keynote: “Micro services in Erlang” by Eric Merritt

10:00 - 10:30 Coffee Break

  - The Implementation and Use of a Generic Dataflow Behaviour in Erlang
    by Christopher Meiklejohn and Peter Van Roy
  - Performance Portability through Semi-explicit Placement in 
Distributed Erlang
    by Kenneth MacKenzie, Natalia Chechina and Phil Trinder

11:30 - 11:50 Break

11:50 - 12:20 TESTING SESSION, part 1
  - Attribute Grammars in Erlang
    by Ulf Norell and Alex Gerdes

12:30 - 14:00 Lunch

14:00 - 15:00 TESTING SESSION, part 2
  - Smother - An MC/DC analysis tool for Erlang
    by Ramsay Taylor and John Derrick
  - Linking Unit Tests and Properties
    by Alex Gerdes, John Hughes, Nick Smallbone and Meng Wang

15:00 - 15:15 Break

15:15 - 16:30 Discussion on Erlang, distribution, parallelism, 
concurrency related research projects"

16:30 - 17:00 Coffee Break

17:00 - 17:20 Erlang Latest News
17:20 - 17:30 Farewell & Closing


Local arrangements (including travel and accommodation):

We hope to see you in Vancouver!

Hans Svensson and Melinda Tóth
Erlang Workshop 2015 Chairs

Haskell mailing list
Haskell <at>
Ben Gamari | 29 Jul 17:26 2015

ANNOUNCE: GHC version 7.10.2

    The (Interactive) Glasgow Haskell Compiler -- version 7.10.2

The GHC Team is pleased to announce a new bug-fix release of GHC,

There have been a number of significant bug fixes since the 7.10.1 (with
over 70 defects fixed). These include fixes affecting type-checker
correctness, runtime stability, and compiler performance. For this
reason we highly recommend that users of 7.10.1 upgrade quickly.

Note that due to changes made in this release to GHC's optimizer,
previously fragile-but-working rewrite rules may fail to fire. One
example of this was found in the widely-used `text` package late in the
release cycle, which manifested in long compilation times and poor code
generation for `Text` literals (see [Trac #10528]). Users are advised to
use text >= which includes more robust rewrite rules.

The full release notes including a complete listing of the changes in
this release can be found here,

[Trac #10528]:

How to get it

Both binary and source tarballs of GHC itself are available on
the release download page,

For a more smoother, better integrated experience users are encouraged
to find a Haskell distribution. While these alternatives may not yet
include 7.10.2, they offer tools and libraries to quickly get users up
and running, as well as potentially better integration with the host
operating system and package manager. See,

for more details.


Haskell is a standard lazy functional programming language.

GHC is a state-of-the-art programming suite for Haskell.  Included is
an optimising compiler generating good code for a variety of
platforms, together with an interactive system for convenient, quick
development. The distribution includes space and time profiling
facilities, a large collection of libraries, and support for various
language extensions, including concurrency, exceptions, and foreign
language interfaces (C, whatever). GHC is distributed under a
BSD-style open source license.

A wide variety of Haskell related resources (tutorials, libraries,
specifications, documentation, compilers, interpreters, references,
contact information, links to research groups) are available from the
Haskell home page (see below),

Supported Platforms

The list of platforms supported by GHC and the people responsible for
them can be found here,

Ports to other platforms are possible with varying degrees of
difficulty.  The Building Guide describes how to go about porting to a
new platform:


If you enjoy using GHC, you will likely also enjoy contributing to it!
We are always looking for new contributors. Instructions on accessing
our source code repository, and getting started with hacking on GHC, are
available from the GHC developer site,

Mailing lists

We run mailing lists for GHC users and bug reports; to subscribe, use
the web interfaces at

There are several other haskell and ghc-related mailing lists on; for the full list, see

Some GHC developers hang out on #haskell on IRC, too:

Please report bugs using our bug tracking system.  Instructions on
reporting bugs can be found here:

Hashes & Signatures

In you will find a signed
copy of the SHA256 hashes for the tarballs, using my GPG key,

     Benjamin Gamari <ben <at>>

     Fingerprint: FFEB 7CE8 1E16 A36B 3E2D
                  ED6F 2DE0 4D4E 97DB 64AD
Haskell mailing list
Haskell <at>
lel416 | 24 Jul 02:10 2015

(no subject)

Can u still purchase general admission tkts

Sent from my iPhone
Francesco Calimeri | 23 Jul 21:23 2015

[LPNMR 2015] EARLY REGISTRATION CLOSING SOON - Call for Participation (student support grants: NEWS)

[apologies for possible multiple copies]

                          Call for Participation


                       13th International Conference on
                Logic Programming and Non-monotonic Reasoning
                                 LPNMR 2015


                              Lexington, KY, USA
                            September 27-30, 2015

   (Collocated with the 4th Conference on Algorithmic Decision Theory 2015)

 Registration procedure is available via
 Early registration closes before the end of July.


 LPNMR 2015 is the thirteenth in the series of international meetings on
 logic programming and non-monotonic reasoning. LPNMR is a forum for
 exchanging ideas on declarative logic programming, non-monotonic reasoning,
 and  knowledge representation. The aim of the conference is to facilitate
 interactions between researchers and practitioners interested in the
 design and implementation of logic-based programming languages and
 database systems, and those working in knowledge representation and
 nonmonotonic reasoning. LPNMR strives to encompass theoretical and
 experimental studies that have led or will lead to the construction of
 systems for declarative programming and knowledge representation, as well
 as their use in practical applications.

LPNMR 2015

 The program will include three invited talks:
 - Stable Models for Temporal Theories - By Pedro Cabalar, University of
   Corunna, Spain
 - Algorithmic decision theory meets logic - By Jérôme Lang, Université
   Paris-Dauphine, France (Plenary session with ADT 2015).
 - Relational and Semantic Data Mining - By Nada Lavrač, Jožef Stefan
   Institute and University of Nova Gorica, Slovenia

 This edition of LPNMR will also feature several workshops, a special session
 dedicated to the 6th ASP Systems Competition, and will be collocated with the
 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral
 Consortium will be a part of the program. Some details follow; full info are
 available via the official conference website


  WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on
  September 27 prior to the main conference. Currently planned workshops
  - Grounding, Transforming, and Modularizing Theories with Variables
    Organizers: Marc Denecker, Tomi Janhunen
  - Action Languages, Process Modeling, and Policy Reasoning
    Organizer: Joohyung Lee, Gail-Joon Ahn
  - Natural Language Processing and Automated Reasoning
    Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
  - Learning and Nonmonotonic Reasoning
    Organizers: Alessandra Russo and Alessandra Mileo

  ASP COMPETITION - A special session dedicated to a discussion of the
  6th ASP System Competition, including the methodology of the competition,
  benchmarks used, lessons learned and, most importantly, the results and
  the announcement of the winners.

  ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place)
  Algorithmic Decision Theory is a vibrant and growing area of research
  concerned with algorithmic aspects of problems arising in social choice
  and economics that involve optimal ways to aggregate preferences. The
  area abounds in hard computational problems and may be an axciting area
  of applications for ASP. The two conferences will seek ways to identify
  and promote synergies between their respective areas of focus.

   - Esra Erdem (LPNMR), Sabanci University, Turkey
   - Nick Mattei (ADT), NICTA, Australia
  More info:

 The organizing committee has limited funds to partially support students
 attending LPNMR, with priority to authors of accepted papers that are not
 funded by the doctoral consortium and have no other funding available.
 The funding will cover registration and partially cover stay in the conference
 hotel or some other hotel located nearby (the exact number of free nights to
 be determined).
 Applicants should submit their requests to lpnmr2015 <at> A proof
 of student status is requested. NOTE: Students planning to request financial
 aid should directly contact Miroslaw Truszczynski <mirek <at>> before
 they register.


 LPNMR 2015 is pleased to acknowledge its cooperation with the Association
 for the Advancement of Artificial Intelligence (AAAI)
 [], which will be publicizing the conference to its
 membership. Of special interest to conference attendees is an introductory
 membership offer from AAAI, which provides a complimentary 1-year online
 membership to conference participants who are new to AAAI. Please send a
 message to membership15 <at> for further details.


 Lexington is a medium size, pleasant and quiet university town. It is
 located in the heart of the so-called Bluegrass Region in Central Kentucky.
 The city is surrounded by beautiful horse farms on green pastures dotted
 with ponds and traditional architecture stables, and small race tracks, and
 bordered by white or black fences. The Horse Museum is as beautifully
 located as it is interesting. Overall, the city has a nice feel that mixes
 well old and new. The conference will be held in the Hilton Lexington
 Downtown hotel.


 Victor Marek, University of Kentucky, KY, USA

 Giovambattista Ianni, University of Calabria, Italy
 Mirek Truszczynski, University of Kentucky, KY, USA

 Yuliya Lierler, University of Nebrska at Omaha, NE, USA

 Francesco Calimeri, University of Calabria, Italy

 Agostino Dovier, Università di Udine, Italy
 Agustín Valverde, Universidad de Màlaga, Spain
 Alessandra Mileo, National University of Ireland, Galway, INSIGHT
Centre for Data Analytics, Ireland
 Andrea Formisano, Dip. di Matematica e Informatica, Università di
Perugia, Italy
 Axel Polleres, Vienna University of Economics and Business, Austria
 Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium
 Chiaki Sakama, Wakayama University, Japan
 Chitta Baral, Arizona State University, USA
 Christoph Redl, Vienna University of Technology, Austria
 Daniela Inclezan, Miami University, USA
 David Pearce, Universidad Politécnica de Madrid, Spain
 Emilia Oikarinen, Aalto University, Finland
 Enrico Pontelli, New Mexico State University, USA
 Esra Erdem, Sabanci University, Istanbul, Turkey
 Eugenia Ternovska, Simon Fraser University, Canada
 Fangkai Yang, Schlumberger Ltd
 Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
 Francesco Calimeri, Università della Calabria, Italy
 Gerhard Brewka, Leipzig University, Germany
 Giovanni Grasso, Oxford University, UK
 Hannes Strass, Leipzig University, Germany
 Hans Tompits, Vienna University of Technology, Austria
 James Delgrande, Simon Fraser University, Canada
 Jia-Huai You, University of Alberta, Canada
 Joohyung Lee, Arizona State University, USA
 Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
 Kewen Wang, Griffith University, Australia
 Marc Denecker, K.U.Leuven, Belgium
 Marcello Balduccini, Drexel University, USA
 Marina De Vos, University of Bath, UK
 Martin Gebser, Aalto University, Finland
 Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal
 Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico
 Michael Fink, Vienna University of Technology, Austria
 Michael Gelfond, Texas Tech University, USA
 Orkunt Sabuncu, University of Potsdam, Germany
 Paul Fodor, Stony Brook University, USA
 Pedro Cabalar, University of Corunna, Spain
 Saadat Anwar, Arizona State University, USA
 Stefan Woltran, Vienna University of Technology
 Stefania Costantini, Dipartimento di Ingegneria e Scienze
 dell'Informazione, e Matematica, Univ. di L'Aquila, Italy
 Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal
 Thomas Eiter, Vienna University of Technology, Austria
 Tomi Janhunen, Aalto University, Finland
 Torsten Schaub, University of Potsdam, Germany
 Tran Cao Son, New Mexico State University, USA
 Vladimir Lifschitz, University of Texas at Austin, USA
 Wolfgang Faber, University of Huddersfield, UK
 Yi Zhou, University of Western Sydney, Australia
 Yisong Wang, Guizhou University, China
 Yuliya Lierler, University of Nebraska at Omaha, USA


 lpnmr2015 <at>
Haskell mailing list
Haskell <at>
Ivan Lazar Miljenovic | 22 Jul 15:07 2015

ANNOUNCE: fgl- and fgl-arbitrary-

I'm pleased to announce that I've (finally!) just released version of [fgl].  Major changes in this release include a test suite,
refactorings, code clean-ups and the following potentially breaking
changes (in that they were previously unspecified or incorrect):

    - `nodeRange` and `nodeRangeM` for the various graph data
      structures erroneously returned `(0,0)` for empty graphs (making
      them indistinguishable from graphs containing the single node
      `0`).  They now match the default implementation of throwing an

    - The behaviour of `delLEdge` when dealing with multiple edges was
      unspecified; it now deletes only a single edge and the new
      function `delAllLEdge` deletes all edges matching the one

All changes can be found in the changelog.


Along with this I'm releasing version of [fgl-arbitrary] (i.e.
the "I finally build against the version on Hackage" release).



Ivan Lazar Miljenovic
Ivan.Miljenovic <at>
Ward C Wheeler | 22 Jul 02:27 2015

Haskell developer position in research group

(Apologies if this this list is inappropriate for such an announcement)

My research group at the American Museum of Natural History in 
New York City is recruiting a developer (ideally with Haskell experience, but functional
programming experience a must) for a research grant funded project in evolutionary bioinformatics.

If you are interested, please contact me directly at wheeler <at> with
a CV and contact information for 3 references.

Ward Wheeler
Division of Invertebrate Zoology
American Museum of Natural History
Central Park West at 79th Street
New York, NY 10024-5192
David Van Horn | 18 Jul 18:49 2015

ICFP 2015 Call for Participation

[ Early registration ends 3 August. ]


Call for Participation

ICFP 2015
20th ACM SIGPLAN International Conference on Functional Programming
and affiliated events

August 30 - September 5, 2015
Vancouver, British Columbia, Canada


ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

A full week dedicated to functional programming:
1 conference, 1 symposium, 11 workshops, tutorials,
programming contest results, student research competition,
and mentoring workshop

 * Program:

 * Accepted Papers:

 * Affiliated Events:

 * Local arrangements (including travel and accommodation):

 * Registration is available via:
   Early registration is due 3 August, 2015.

 * Programming contest, 7-10 August, 2015:

 * Follow  <at> icfp_conference on twitter for the latest news:

There are several events affiliated with ICFP:

  Sunday, August 30
    Haskell Implementors Workshop
    Workshop on Higher-order Programming with Effects
    Workshop on Generic Programming
    Programming Languages Mentoring Workshop
    Ally Skills Tutorial

  Monday, August 31 – Wednesday, September 2

  Thursday, September 3
    Workshop on Functional High-Performance Computing
    Haskell Symposium – Day 1
    ML Family Workshop
    Commercial Users of Functional Programming – Day 1

  Friday, September 4
    Erlang Workshop
    Haskell Symposium – Day 2
    OCaml Workshop
    Commercial Users of Functional Programming – Day 2
    Scheme and Functional Programming Workshop

  Saturday, September 5
    Functional Art, Music, Modeling and Design
    Commercial Users of Functional Programming – Day 3

Conference Organizers

  General Chair:
    Kathleen Fisher, Tufts University
  Program Chair:
    John Reppy, University of Chicago
  Local Arrangements Chair:
    Ronald Garcia, University of British Columbia
  Industrial Relations Chair:
    Anil Madhavapeddy, University of Cambridge
  Workshop Co-Chairs:
    Tom Schrijvers, KU Leuven
    Nicolas Wu, University of Bristol
  Programming Contest Chair:
    Joe Kiniry, Galois
  Student Research Competition Chair:
    Andrew Kennedy, Microsoft Research
  Mentoring Workshop Co-Chairs:
     Ronald Garcia, University of British Columbia
     Stephanie Weirich, University of Pennsylvania
  Publicity Chair:
    David Van Horn, University of Maryland
  Video Chair:
    Iavor Diatchki, Galois
  Student Volunteer Co-Chairs:
    Felipe Bañados Schwerter, University of British Columbia
    Gabriel Scherer, INRIA
  Mobile App Chair:
    Reid Holmes, University of Waterloo

Industrial partners:

  Platinum partners
    Jane Street Capital

  Gold partners
    Anonymous donor
    Mozilla Research
    Oracle Labs

  Silver partners
    Tsuru Capital
    The University of Chicago

  Bronze partners
    Erlang Solutions
    Systor Vest

Haskell mailing list
Haskell <at>