[TYPES/announce] WPTE 2015: call for participation

[Janis Voigtlaender]

===========================================================================

                          CALL FOR PARTICIPATION

                        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

===========================================================================