Francesco Calimeri | 19 Apr 14:34 2015

LPNMR 2015 Invitation to submit - 11 days to the deadline

Dear Colleagues,

    We warmly encourage you to consider LPNMR 2015 for
    work that you might have that you're looking
    to publish shortly. Our submission deadline is
    a few less than two weeks from now (Apr 30th).

    We remind you that two best general appeal papers from LPNMR are
    expected to be selected for fast publication in Artificial Intelligence,
    and two best papers in the logic programming area will be selected
    for fast track publication in TPLP.

    Also, for those lucky enough to have papers accepted to IJCAI-15,
    we will consider submissions for just oral presentation.

    For those not so lucky that have papers rejected from
    IJCAI-15, there is a comfortable time window after the notification to
    revise your paper and submit it to us for oral presentation
    and inclusion in the Springer LNCS proceedings.

    we look forward for your submissions!

Best regards,
    the LPNMR 2015 PC Chairs
Mihai Maruseac | 18 Apr 04:04 2015

all for Contributions - Haskell Communities and Activities Report, May 2015 edition (28th edition)

Dear all,

We would like to collect contributions for the 28th edition of the

             Haskell Communities & Activities Report

                Submission deadline: 17 May 2015

     (please send your contributions to hcar at,
                 in plain text or LaTeX format)

This is the short story (one extra point to the story added from
previous editions):

* If you are working on any project that is in some way related
  to Haskell, please write a short entry and submit it. Even if
  the project is very small or unfinished or you think it is not
  important enough --- please reconsider and submit an entry anyway!

* If you are interested in an existing project related to Haskell that
  has not previously been mentioned in the HCAR, please tell us, so
  that we can contact the project leaders and ask them to submit an

* **NEW**: If you are working on a project that is looking for contributors,
  please write a short entry and submit it, mentioning that your are looking
(Continue reading)

Francesco Calimeri | 17 Apr 22:40 2015


[apologies for any cross-posting]

                               Call for Papers

                       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)


 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. This edition of LPNMR will feature
(Continue reading)

Conor McBride | 17 Apr 10:28 2015

Strathclyde PhD Position

Applications are welcome from ANYWHERE for a Microsoft Research
sponsored PhD position in the Mathematically Structured Programming
group at the University of Strathclyde.

Project:                  Real World Data with Dependent Types:
                           Integrity and Interoperation
Strathclyde supervisor:   Dr Conor McBride
Microsoft supervisor:     Dr Don Syme
Starting:                 October 2015
Tuition fees:             fully funded or substantially subsidised,
                           depending on residency status
Stipend:                  £14,057K
Contact:                  Conor, by 8 May 2015

Project Summary

Data integrity, manipulation and analysis are key concerns in modern
software, for developers and users alike. We are often obliged to work
with a corpus of files – spreadsheets, databases, scripts – which
represent and act on aspects of data in some domain. This project
seeks to improve the integrity and efficiency with which we can
operate in such a setting by

* delivering a language for data models which expresses their
 conceptual structure, capturing what kinds of things exist in a
 given context, what data we expect to have about them, and when
 those data are consistent;

* delivering a language for data views relative to a model,
(Continue reading)

David Sabel | 17 Apr 10:19 2015

Deadline extended: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation

                            FINAL CALL FOR PAPERS

                       Second International Workshop on
     Rewriting Techniques for Program Transformations and Evaluation

                                 WPTE 2015

                         affiliated with RDP 2015

                       2 July, 2015, Warsaw, Poland

         !! Submission deadline is extended until April 24th !!

Aims and Scope
The aim of WPTE is to bring together the researchers working on
program transformations, evaluation, and operationally-based
programming language semantics, using rewriting methods, in order to
share the techniques and recent developments and to exchange ideas to
encourage further activation of research in this area. The previous
WPTE was held in Vienna 2014.

Topics of interest in the scope of this workshop include:

* Correctness of program transformations, optimizations and translations.
* Program transformations for proving termination, confluence and
  other properties.
(Continue reading)

Frantisek Farka | 16 Apr 21:58 2015

Re: Workshop on Type Inference and Automated Proving

On Thu, 16 Apr 2015 11:13:19 +0700
Kim-Ee Yeoh <ky3 <at>> wrote:

Hi Kim-Ee,

I am  afraid we currently do not plan to record the talks. But if
anything changes anf there will be any recordings I will send an email
to let the people in this mailing list know.


> Hi František,
> Do you think if it would be at all possible to record this event on
> video for dissemination to the wider research community?
> Even a phone camera would be something.
> Much collaboration and research opportunities would open up if only
> good ideas had greater reach.
> Best,
> -- Kim-Ee
Haskell mailing list
Haskell <at>
(Continue reading)

Frantisek Farka | 15 Apr 23:28 2015

Workshop on Type Inference and Automated Proving



    Tuesday the 12th of May, 12PM to 6PM
    School Of Computing,
    University of Dundee


Refreshments will be available from 12:00, with talks beginning at
12:45. For the detailed programme please see the above website.


    Tom Schrijvers (Katholieke Universiteit Leuven)
        GADTs Meet Their Match: Pattern-matching Warnings that
        Account for GADTs, Guards, and Laziness

    Bob Atkey (University of Strathclyde)
        An Algebraic Approach to Typechecking and Elaboration

    Edwin Brady (University of St Andrews)
        Implementing a Dependently Typed Programming Language

    Peng Fu (University if Dundee)
        Nontermination Analysis for Evidence Construction in Type
(Continue reading)

Tom Schrijvers | 15 Apr 20:38 2015

Leuven Haskell User Group meeting on April 21

You are kindly invited to the special edition of the Leuven Haskell User Group with guest presentation by Amplidata.

For details see: 

prof. dr. ir. Tom Schrijvers

Research Professor
KU Leuven
Department of Computer Science

Celestijnenlaan 200A
3001 Leuven
Phone: +32 16 327 830
Haskell mailing list
Haskell <at>
Howard B. Golden | 15 Apr 18:50 2015

Haskell on Windows instructions - is MinGHC version update needed?


Currently, the Haskell website's Windows download page
( offers two alternatives, MinGHC and Haskell
Platform. The MinGHC alternative has a link to MinGHC-7.8.3 installer. Should this be updated to
MinGHC-7.8.4? I ask this because Long Term Support Haskell 2.3 is now using GHC 7.8.4. If you want to update
the link, you only need to change the URL from 7.8.3 to 7.8.4.

Alberto Pardo | 14 Apr 16:47 2015

Final CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages


19th Brazilian Symposium on Programming Languages

21-26 September 2015
Belo Horizonte, Brazil




Abstract submission: 20 April, 2015
Paper submission: 27 April, 2015
Author notification: 18 June, 2015
Camera ready deadline: 2 July 2015


The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems.

SBLP 2015 is part of 6th Brazilian Conference on Software: Theory and Practice, CBSoft 2015, that will be held in Belo Horizonte, Minas Gerais, Brazil, from September 21st to September 26th, 2015.

Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers.


Topics of interest include, but are not limited to:

* Program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages.

* Programming paradigms and styles, including functional,
object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed

* Formal semantics and theoretical foundations, including
denotational, operational, algebraic and categorical.

* Program analysis and verification, including type systems, static analysis and abstract interpretation.

* Programming language design and implementation, including new
programming models, programming language environments, compilation and interpretation techniques.


* Doaitse Swierstra, Utrecht University
* A second invited speaker to be confirmed soon


All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 5 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses.

Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at

Papers must be submitted electronically (in PDF format) via the Easychair System:

As in previous editions, after the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier.


Alberto Pardo, Universidad de la República, Uruguay
Doaitse Swierstra, Utrecht University, The Netherlands


Alberto Pardo, Universidad de la República (co-chair)
Alex Garcia, IME
Alvaro Moreira, Federal University of Rio Grande do Sul
Andre Rauber Du Bois, Federal University of Pelotas
Carlos Camarão, Federal University of Minas Gerais
Christiano Braga, Fluminense Federal University
Doaitse Swierstra, Utrecht University (co-chair)
Fabio Mascarenhas, Federal University of Rio de Janeiro
Fernando Pereira, Federal University of Minas Gerais
Fernando Castor, Federal University of Pernambuco
Francisco Carvalho-Junior, Federal University of Ceara
Hans-Wolfgang Loidl, Heriot-Watt University
João Saraiva, University of Minho
João F. Ferreira, Teesside University
Louis-Noel Pouchet, University of California, Los Angeles
Lucilia Figueiredo, Federal University of Ouro Preto
Luis Barbosa, University of Minho
Manuel A. Martins, University of Aveiro
Marcelo Maia, Federal University of Uberlândia
Marcelo D'Amorim, Federal University of Pernambuco
Mariza Bigonha, Federal University of Minas Gerais
Martin Musicante, Federal University of Rio Grande do Norte
Noemi Rodriguez, PUC-Rio
Peter Mosses, Swansea University
Rafael Lins, Federal University of Pernambuco
Renato Cerqueira, PUC-Rio
Roberto Bigonha, Federal University of Minas Gerais
Roberto Ierusalimschy PUC-Rio
Rodrigo Geraldo, Federal University of Ouro Preto
Sandro Rigo, State University of Campinas
Sérgio Medeiros, Federal University of Rio Grande do Norte
Simon Thompson, University of Kent
Varmo Vene, University of Tartu
Zongyan Qiu Peking University

Haskell mailing list
Haskell <at>
Ulrich Schöpp | 13 Apr 18:29 2015

LOLA 2015: Second Call for Talk Proposals


 LOLA 2015: Syntax and Semantics of Low Level Languages

 Sunday, 5 July 2015, Kyoto, Japan
 A satellite workshop of ICALP/LICS

/Important Dates/

Abstract submission: Monday, 20 April 2015
Author notification: Friday, 1 May 2015
LOLA 2015 workshop: Sunday, 5 July 2015

/Invited Speakers/

Katsuhiro Ueno, Tohoku University, Japan
Other invited speakers to be announced.

/Workshop Description/

It has been understood since the late 1960s that tools and structures
arising in mathematical logic and proof theory can usefully be applied
to the design of high level programming languages, and to the
development of reasoning principles for such languages. Yet low level
languages, such as machine code, and the compilation of high level
languages into a low level ones have traditionally been seen as having
little or no essential connection to logic.

However, a fundamental discovery of this past decade has been that low
level languages are also governed by logical principles. From this key
observation has emerged an active and fascinating new research area at
the frontier of logic and computer science. The practically-motivated
design of logics reflecting the structure of low level languages (such
as heaps, registers and code pointers) and low level properties of
programs (such as resource usage) goes hand in hand with some of the
most advanced contemporary research in semantics and proof theory,
including classical realizability and forcing, double orthogonality,
parametricity, linear logic, game semantics, uniformity, categorical
semantics, explicit substitutions, abstract machines, implicit
complexity and resource bounded programming.

The LOLA workshop, affiliated with LICS 2015, will bring together
researchers interested in many aspects of the relationship between
logic and low level languages and programs. Topics of interest
include, but are not limited to:

- Typed assembly languages
- Certified assembly programming
- Certified and certifying compilation
- Relaxed memory models
- Proof-carrying code
- Program optimization
- Modal logic and realizability in machine code
- Realizability and double orthogonality in assembly code
- Parametricity, modules and existential types
- General references, Kripke models and recursive types
- Continuations and concurrency
- Implicit complexity, sublinear programming and Turing machines
- Closures and explicit substitutions
- Linear logic and separation logic
- Game semantics, abstract machines and hardware synthesis
- Monoidal and premonoidal categories, traces and effects

/Submission Information/

LOLA is an informal workshop aiming at a high degree of useful
interaction amongst the participants, welcoming proposals for talks on
work in progress, overviews of larger programmes, position
presentations and short tutorials as well as more traditional research
talks describing new results.

The program committee will select the workshop presentations from
submitted talk proposals, which may take the form either of a
*two page abstract* or of a longer (published or unpublished) paper
describing completed work.

Abstracts can be submitted using EasyChair at

/Program Committee/

Ichiro Hasuo (University of Tokyo)
Chung-Kil Hur (Seoul National University)
Shin-ya Katsumata (RIMS, Kyoto University, co-chair)
Damiano Mazza (CNRS, LIPN--University Paris 13)
Magnus Myreen (University of Cambridge)
Ulrich Schoepp (LMU Munich, co-chair)
Nikhil Swamy (Microsoft Research, Redmond)
Nicolas Tabareau (CNRS, INRIA)
Noam Zeilberger (Microsoft Research--INRIA)

Haskell mailing list
Haskell <at>