FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
WPTE PROGRAM
Sunday, July 8th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:30-10:30 Session 36B
Chair:
Joachim Niehren
Location: Blavatnik Seminar Room 4
09:30
Jean-Pierre Jouannaud
A framework for graph rewriting. (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38Q
Chair:
Joachim Niehren
Location: Blavatnik Seminar Room 4
11:00
David Sabel
Automating the Diagram Method to Prove Correctness of Program Transformations (abstract)
11:30
Manfred Schmidt-Schauss and Nils Dallmeyer
Optimizing Space of Parallel Processes (abstract)
12:00
Yoshiaki Kanazawa and Naoki Nishida
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40R
Chair:
David Sabel
Location: Blavatnik Seminar Room 4
14:00
Stefan Ciobaca and Sebastian Buruiana
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics (abstract)
14:30
Naoki Nishida and Yuya Maeda
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions (abstract)
15:00
Christian Herrera, Tewodros A. Beyene and Vivek Nigam
Verification of Ada Programs with AdaHorn (abstract)
15:30-16:00Coffee Break