[Haskell] Call for Participation: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation

[David Sabel]

                          CALL FOR PARTICIPATION

                     Second International Workshop on

                       Second International Workshop on
     Rewriting Techniques for Program Transformations and Evaluation
                                (WPTE 2015)

                         affiliated with RDP 2015

                       2 July, 2015, Warsaw, Poland

            http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/

           !! The early registration deadline ends on May 22 !!


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.

Registration
============

http://rdp15.mimuw.edu.pl/index.php?site=registration

Note that early registration ends on May 22.

Talks
=====

* Brigitte Pientka
   Invited talk, TBA

* Giulio Guerrieri
    Head reduction and normalization in a call-by-value lambda-calculus

* Guillaume Madelaine, Cedric Lhoussaine, and Joachim Niehren
    Structural simplification of chemical reaction networks preserving
    deterministic semantics

* Naosuke Matsuda
    A simple extension of the Curry-Howard correspondence with
    intuitionistic lambda rho calculus

* Adrian Palacios and German Vidal
    Towards Modelling Actor-Based Concurrency in Term Rewriting

* David Sabel and Manfred Schmidt-Schauss
   Observing Success in the Pi-Calculus

* Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
    Context-Moving Transformation for Term Rewriting Systems

* Sjaak Smetsers, Ken Madlener, and Marko Van Eekelen
    Formalizing Bialgebraic Semantics in PVS 6.0