Workshop on Haskell And Rewriting Techniques (HART) 2013

Haskell is an advanced purely-functional programming language. 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 programming and rewriting.

Therefore, we announce a new workshop,

International Workshop on Haskell And Rewriting Techniques
HART 2013

to be held on June 27, in conjunction with RDP 2013, in Eindhoven. (RDP contains RTA, the main rewriting conference.)

Aims and Scope

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

Topics of interest are, for example,

This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. When in doubt, contact a member of the program committee.

Accepted Papers and Preliminary Schedule


is handled via RDP 2013 Registration and Accomodation. Note: early registration deadline: June 1.

Program committee


Submission and Proceedings

Two categories of submissions are invited:

Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is handled through the EasyChair HART2013 page.

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

When accepting and scheduling presentations, preference will be given to original research.

Proceedings will be made available electronically at the workshop.

Johannes Waldmann | Fakultät IMN | HTWK Leipzig