[Haskell] CfP: Conf. Rewriting Techniques and Applications RTA 2013 -- deadline February 1

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Fri Dec 7 18:21:46 CET 2012

RTA http://rta2013.few.vu.nl/cfp.html
Deadline: February 1, Conference: June 24-26, Eindhoven NL

Dear all,

instead of copying the complete CfP,
I'd like to specifically address the Haskell community:

There are strong connections between (functional) programming
and rewriting. For example, the execution of a program is a form
of graph rewriting; the type checker rewrites type expressions;
the code generator rewrites the program (for optimization).

The conference on Rewriting Techniques and Applications is the major
forum for the exchange of new ideas on all matters related to rewriting,
covering the whole range from foundations to applications.
And you should take the opportunity to contribute your ideas.

Note: If  you = Simon Peyton Jones,  then you are the invited speaker.
Else, follow the usual process of submitting a paper by February 1.

Best regards, on behalf of the RTA programme committee,

Johannes Waldmann.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 261 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell/attachments/20121207/d64557d5/attachment.pgp>

More information about the Haskell mailing list