[TYPES/announce] WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation

[Voigtländer, Prof. Dr. Janis]

WPTE 2025 (affiliated to FSCD 2025 in Birmingham, UK)

11th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (July 20th, 2025)

Webpage:     https://wpte2025.github.io/

---------------------------------------------------------------------------

The aim of WPTE is to bring together 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 workshop will have two invited talks, by:

- Alex Gerdes, University of Gothenburg and Chalmers

- Sebastian Maneth, University of Bremen

as well as eight contributed presentations:

- Misaki Kojima and Naoki Nishida: On Transforming Prioritized 
  Multithreaded Programs into Logically Constrained Term Rewrite Systems 

- Kasper Hagens and Cynthia Kop: Bounded Rewriting Induction for LCTRSs 

- Leonid Nosovitskiy and Adam D. Barwell: Refactoring Protocols For 
  Crash Safety 

- Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Partial 
  Correctness of Separation Logic with Recursive Calls 

- David Sabel and Manfred Schmidt-Schauss: Probabilistic Lazy PCF with 
  Real-Valued Choice 

- Ghilain Bergeron, Horatiu Cirstea and Stephan Merz: Towards a verified 
  compiler for Distributed PlusCal 

- Naoki Nishida and Nozomi Taira: On Merging Constrained Rewrite Rules 
  of Induction Hypotheses in Constrained Rewriting Induction 

- Dragana Milovancevic, Carsten Fuhs and Viktor Kuncak: Proving 
  Termination of Scala Programs by Constrained Term Rewriting 

---------------------------------------------------------------------------

Program Committee
---------------------------------------------------------------------------
Martin Avanzini, Inria Sophia Antipolis
Patrick Bahr, IT University of Copenhagen
Demis Ballis, University of Udine
Mirai Ikebuchi, Kyoto University
Cynthia Kop, Radboud University Nijmegen (co-chair)
Ivan Lanese, University of Bologna
Pierre Lermusiaux, Inria Rennes
Steven Libby, University of Portland
Luca Roversi, University of Turin
Janis Voigtlaender, University of Duisburg-Essen (co-chair)
Johannes Waldmann, Leipzig University of Applied Sciences
Sarah Winkler, Free University of Bozen-Bolzano

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 7343 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250615/f6c5172f/attachment.p7s>