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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
