CICLOPS-WLPE PROGRAM
Days: Thursday, July 17th Friday, July 18th
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 62C: Invited Talk I
Chair:
Location: FH, Hörsaal 7
| 08:45 | Proofs for Optimality of Sorting Networks by Logic Programming (abstract) |
| 09:45 | Discussion (abstract) |
10:15-10:45Coffee Break
10:45-13:00 Session 66AK: Program Transformation
Chair:
Location: FH, Hörsaal 7
| 10:45 | Refining definitions with unknown opens using XSB for IDP3 (abstract) |
| 11:15 | A Lambda Prolog Based Animation of Twelf Specifications (abstract) |
| 11:45 | A System for Embedding Global Constraints into SAT (abstract) |
| 12:15 | Towards Pre-Indexed Terms (abstract) |
| 12:45 | Discussion (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 75AK: Prolog Extensions
Chair:
Location: FH, Hörsaal 7
| 14:30 | Extending the Finite Domain Solver of GNU Prolog (abstract) |
| 15:00 | SWI-Prolog version 7 extensions (abstract) |
| 15:30 | A Portable Prolog Predicate for Printing Rational Terms (abstract) |
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
16:30-19:00 Session 80P: Perspectives - Invited Perspectives (joint with PLP)
Chair:
Location: FH, Hörsaal 7
| 16:30 | A unified approach to generative and discriminative modeling (abstract) |
| 17:00 | Inference and learning for PLP (abstract) |
| 17:30 | TBA (abstract) |
| 18:00 | TBA (abstract) |
| 18:30 | Discussion on the implementation of PLP systems. (abstract) |
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 CHR)
Chair:
Location: FH, Hörsaal 7
| 09:00 | Coherent Logic and Applications (abstract) |
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-12:45 Session 90BE: Contributed Talks (joint with CHR)
Chair:
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 CHR)
Chair:
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 CHR)
Chair:
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) |