VSL 2014: VIENNA SUMMER OF LOGIC 2014
CHR PROGRAM
Friday, July 18th, 2014

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

09:00-10:15 Session 87B: Invited Talk (joint with CICLOPS-WLPE)
Location: FH, Hörsaal 7
09:00
Coherent Logic and Applications (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 90BE: Contributed Talks (joint with CICLOPS-WLPE)
Location: FH, Hörsaal 7
10:45
Automated Test Case Generation and Model Checking with CHR (abstract)
11:15
From XML Schema to JSON Schema: Translation with CHR (abstract)
11:45
Constraint Handling Rules with Multiset Comprehension Patterns (abstract)
12:15
Discussion (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AL: Invited Talk (joint with CICLOPS-WLPE)
Location: FH, Hörsaal 7
14:30
Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs (abstract)
15:30
Discussion (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AK: Implementation Issues (joint with CICLOPS-WLPE)
Location: FH, Hörsaal 7
16:30
Intelligent Visual Surveillance Logic Programming: Implementation Issues (abstract)
17:00
A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs (abstract)
17:30
Discussion (abstract)