VSL 2014: VIENNA SUMMER OF LOGIC 2014
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)