RTA 2012 - 23rd International Conference on Rewriting Techniques and Applications

Program: WFLP 2012

Tuesday May 29, Room on the 1st floor

09:00-10:00 Session 1

Arthur Peters. The Random Traversal Technique for Parallel Evaluation of Functional Programs.
Sebastian Fischer, Michael Hanus, Yukiyoshi Kameyama, Chung-chieh Shan, and Naoki Takashima. Lazy Delimited Nondeterminism.
10:00-10:30 Coffee break

10:30-12:00 Session 2

Ignacio Castiñeira and Fernando Sáenz-Pérez. Improving Search in a CFLP(FD) System.
Naoki Nishida and Germán Vidal. More Specific Term Rewriting Systems.
Andrés Felipe Barco Santa, Frank Valencia, and Sophia Knight. K-stores A Spatial and Epistemic Concurrent Constraint Interpreter.
12:00-13:30 Lunch

13:30-14:30 Session 3 (Invited Talk)

Masahiko Sato. Bootstrapping Mathematics.
14:30-15:00 Coffee break

15:00-16:30 Session 4

Yasuhiko Minamide and Yuya Takei. Abstract Formalization of Abstract DPLL with Three-Valued Logic.
Rafael del Vado Vírseda and Ignacio Castiñeiras. A Concurrent Extension of Higher-Order Constraint Functional Logic Programming.
Marko Ernsting, Tim A. Majchrzak, and Herbert Kuchen. Test Case Generation and Dynamic Mixed-Integer Linear Arithmetic Constraint Solving.
16:30-16:45 Short break

16:45-17:45 Session 5

Fadoua Ghourabi. Formalization of Computational Origami Construction in Isabelle/HOL Proof Assistant.
Sonia Estévez-Martín, Jesús Correas Fernández, and Fernando Sáenz-Pérez. CFLP vs. CLP: Comparing TOY and ECLIPSE.

17:45-18:15 Business meeting