From: Carsten Fuhs <c.fuhs@bbk.ac.uk>
To: types-announce@lists.seas.upenn.edu,
cl-isabelle-users@lists.cam.ac.uk, rewriting@ens-lyon.fr,
ProofTheory@Lists.Bath.Ac.UK, coq-club@inria.fr,
caml-list@inria.fr, clap@groupes.renater.fr, gt-scalp@gdr-ifm.fr,
SREPLS@JISCMAIL.AC.UK
Subject: [Caml-list] WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
Date: Fri, 29 May 2026 22:10:34 +0100 [thread overview]
Message-ID: <326dd729-e753-432e-9d7f-4d6280eca029@bbk.ac.uk> (raw)
WPTE 2026 (affiliated with FLoC 2026 in Lisbon, Portugal)
12th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (19 July 2026)
Webpage: https://wpte2026.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:
- Nada Amin, Harvard University
- Nikos Tzevelekos, Queen Mary University of London (joint with GaLoP 2026)
as well as six contributed presentations:
- David B. Hulak, Arthur Freitas Ramos and Ruy J.G.B. de Queiroz: Sound
Rewrites for Measurement-Bearing Expressions via Token-Sensitive
Enclosure Semantics
- Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Trace Formula
Implication with Least and Greatest Fixpoints
- David Sabel and Manfred Schmidt-Schauß: Improvement Theory for
Probabilistic Call-by-Need
- Misaki Kojima and Naoki Nishida: On Comparing Python Programs Based on
Differences in Rewrite Sequences to Support Grading Programming Exercises
- Katarzyna Marek and Clément Pit Claudel: Tactic-driven code fusion
- Ștefan Ciobâcă, K. Rustan M. Leino, Ștefan-Alexandru Mercas and
Roxana-Mihaela Timon: An Interactive Proof Mode for Dafny Based on Back
Translation of Verification Obligations
---------------------------------------------------------------------------
Program Committee
---------------------------------------------------------------------------
Martin Avanzini, Inria Sophia Antipolis
Carsten Fuhs (co-chair), Birkbeck, University of London
Jan-Christoph Kassing, RWTH Aachen University
Thomas Kœhler, ICube Lab, CNRS, Université de Strasbourg
Misaki Kojima, Nagoya University
Rubén Rubio, Universidad Complutense de Madrid
Traian Şerbănuţă, University of Bucharest
Germán Vidal, Universitat Politècnica de València
Janis Voigtländer (co-chair), University of Duisburg-Essen
reply other threads:[~2026-05-29 21:12 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=326dd729-e753-432e-9d7f-4d6280eca029@bbk.ac.uk \
--to=c.fuhs@bbk.ac.uk \
--cc=ProofTheory@Lists.Bath.Ac.UK \
--cc=SREPLS@JISCMAIL.AC.UK \
--cc=caml-list@inria.fr \
--cc=cl-isabelle-users@lists.cam.ac.uk \
--cc=clap@groupes.renater.fr \
--cc=coq-club@inria.fr \
--cc=gt-scalp@gdr-ifm.fr \
--cc=rewriting@ens-lyon.fr \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox