WPTE PROGRAM
Sunday, July 13th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:15 Session 23A: WPTE Opening and Invited Talk by Andy Gill on HERMIT
Location: FH, Hörsaal 4
| 09:00 | Opening (abstract) |
| 09:15 | HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (abstract) |
10:15-10:45Coffee Break
10:45-13:00 Session 26C: Concurrency, Unfolding, Pi-Calculus, Reaction Networks
Location: FH, Hörsaal 4
| 10:45 | Verifying Optimizations for Concurrent Programs (abstract) |
| 11:15 | Inverse Unfold Problem and Its Heuristic Solving (abstract) |
| 11:45 | Short break (abstract) |
| 12:00 | Structural Rewriting in the Pi-Calculus (abstract) |
| 12:30 | Attractor Equivalence: An Observational Semantics for Reaction Networks (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 31B: Conditional Rewriting, Polymorphic Calculi
Location: FH, Hörsaal 4
| 14:30 | On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings (abstract) |
| 15:00 | Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (abstract) |
| 15:30 | Verifying the Correctness of Tupling Transformations based on Conditional Rewriting (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 34C: Conditional Term Rewriting, Complexity and WPTE Closing
Location: FH, Hörsaal 4
| 16:30 | Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems (abstract) |
| 17:00 | A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems (abstract) |
| 17:30 | Closing (abstract) |