WPTE Program

WPTE PROGRAM

Sunday, July 31st

08:30-09:00Coffee & Refreshments

Chair:

09:30

Transforming Text to (and from) XML (abstract)

10:30-11:00Coffee Break

Chair:

11:00	David Sabel and Manfred Schmidt-Schauss Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language (abstract) PRESENTER: David Sabel
11:30	György Sághi, Péter Bereczky and Dániel Horpácsi A Machine-Checked Formalisation of Erlang Modules (abstract) PRESENTER: Péter Bereczky
12:00	Kasper Hagens, Cynthia Kop and Wouter Brozius Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems (abstract) PRESENTER: Kasper Hagens

12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

Chair:

14:00	Misaki Kojima and Naoki Nishida On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting (abstract) PRESENTER: Naoki Nishida
14:30	Shujun Zhang and Naoki Nishida On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs (abstract) PRESENTER: Shujun Zhang
15:00	Naoki Nishida, Misaki Kojima and Takumi Kato On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms (abstract) PRESENTER: Naoki Nishida

15:30-16:00Coffee Break

Chair:

16:00	Vlad Rusu and David Nowak Towards Corecursion Without Corecursion in Coq (abstract) PRESENTER: Vlad Rusu
16:30	Christopher Brown, Adam Barwell, Simon Thompson, Susmit Sarkar and Edwin Brady Towards a Refactoring Tool for Dependently-Typed Programs (work in progress) (abstract) PRESENTER: Christopher Brown
16:45	Péter Hegyi, Dániel Lukács and Máté Tejfel Refactoring Steps for P4 (work in progress) (abstract) PRESENTER: Máté Tejfel