Email Gateway (Aug 19 2022 at 14:48): Email Gateway (Aug 19 2022 at 14:48):From: Christian Sternagel <c.sternagel@gmail.com>
Last Call For Papers
Second Workshop on Haskell And Rewriting Techniques (HART 2014)
http://program-transformation.org/HART14/CallForPapers
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
generators;
* execution of programs as a form of graph rewriting (terms with
sharing);
* 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
proceedings.
* 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
https://www.easychair.org/conferences/?conf=hart2014.
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,
Netherlands)
* Femke van Raamsdonk <http://www.cs.vu.nl/%7Efemke/> (VU University
Amsterdam, Netherlands)
* Tiark Rompf <http://tiarkrompf.github.io/> (EPFL and Oracle Labs,
Switzerland)
* 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)
Last updated: Nov 21 2024 at 12:39 UTC