[isabelle] HART (Haskell and Rewriting Techniques) 2014 -- Last Call for Papers

Last Call For Papers

Second Workshop on Haskell And Rewriting Techniques (HART 2014)


Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections.

      Aims and Scope

We plan a half day of discussions, in an informal setting, on how Haskell (and friends) and rewriting techniques and theories can cross-fertilize each other.

Topics of interest are, for example,

  * equational reasoning and other rewriting techniques for program
    verification and analysis;
  * lambda calculi and type systems for functional programs and
    higher-order rewrite systems;
  * rewriting of type expressions in the type checker;
  * rewriting of programs by refactoring tools, optimizers, code
  * execution of programs as a form of graph rewriting (terms with
  * Template Haskell, generally introducing a rewriting-like macro
    language into the compilation process.

This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, Idris, ...

When in doubt, please contact a member of the program committee.

      Invited Speaker

*We are proud to feature an invited talk by Oleg Kiselyov
( http://okmij.org/ftp/ )

      Submission and Proceedings

We solicit two types of submissions:

  * Extended abstracts. Presenting original research, and also
    preliminary reports of work in progress. Will be included in the
  * Presentation-only papers. Describing work recently published or
    submitted. Only abstract will be included in the proceedings.

Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at

In line with the informal style of the workshop, the reviewing of submissions will be light.

Proceedings will be made available electronically.

      Important Dates

  * Submission: Wed, July 2, 2014
  * Notification: Mon, July 21, 2014

  * Workshop: Fri, September 5, 2014

      Program Committee

Program Chairs

  * Kristoffer Rose <http://kristofferrose.com/> (Two Sigma Investments,
    LLC, USA)
  * Janis Voigtländer <http://www.iai.uni-bonn.de/%7Ejv/> (University of
    Bonn, Germany)

Program Committee Members

  * Bertram Felgenhauer <http://cl-informatik.uibk.ac.at/users/bf3/>
    (University of Innsbruck, Austria)
  * Carsten Fuhs <http://www0.cs.ucl.ac.uk/staff/C.Fuhs/> (University
    College London, UK)
  * Andy Gill <http://www.ittc.ku.edu/csdl/fpg/users/andygill.html>
    (University of Kansas, USA)
  * Makoto Hamana <http://www.cs.gunma-u.ac.jp/%7Ehamana/> (Gunma
    University, Japan)
  * Bastiaan Heeren <http://www.open.ou.nl/bhr/> (Open Universiteit,
  * Femke van Raamsdonk <http://www.cs.vu.nl/%7Efemke/> (VU University
    Amsterdam, Netherlands)
  * Tiark Rompf <http://tiarkrompf.github.io/> (EPFL and Oracle Labs,
  * Christian Sternagel <http://www.jaist.ac.jp/%7Ec-sterna/> (JAIST,
    Japan; University of Innsbruck, Austria)
  * Johannes Waldmann <http://www.imn.htwk-leipzig.de/%7Ewaldmann/>
    (HTWK Leipzig, Germany)

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.