VSL 2014: VIENNA SUMMER OF LOGIC 2014
ICLP PROGRAM

Days: Saturday, July 19th Sunday, July 20th Monday, July 21st Tuesday, July 22nd

Tuesday, July 15th, 2014

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

08:45-10:15 Session 44: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract)
Thursday, July 17th, 2014

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

08:45-10:15 Session 62A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract)
08:45-10:15 Session 62J: Summer School on Computational Logic: Constraint Logic Programming I
Location: Seminarraum 1/3 OPG
08:45
Summer School Opening (abstract)
08:50
Constraint Logic Programming I (abstract)
Friday, July 18th, 2014

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

09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)
Location: FH, 2nd floor
09:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract)
Saturday, July 19th, 2014

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

08:45-10:15 Session 106A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 109B: Conference Opening / Technical Session - Languages and Logic
Location: FH, Hörsaal 8
10:45
Conference Opening (abstract)
11:00
A Linear Logic Programming Language for Concurrent Programming over Graph Structures (abstract)
11:30
Lifted Variable Elimination for Probabilistic Logic Programming (abstract)
12:00
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (abstract)
12:30
Abstract Diagnosis for tccp using a Linear Temporal Logic (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 113B: Invited Talk / Technical Session: Domain Specific Languages
Location: FH, Hörsaal 8
14:30
A Module System for Domain-Specific Languages (abstract)
15:00
Combinatorial Search With Picat (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 116B: Technical Session: Tabling and the Web
Location: FH, Hörsaal 8
16:30
Pengines: Web Logic Programming Made Easy (abstract)
17:00
Incremental Tabling for Knowledge Representation and Reasoning (abstract)
17:30
Tabling, Rational Terms, and Coinduction Finally Together! (abstract)
19:00-21:30 Session 122: VSL Reception 2
Location: University of Vienna, Arkadenhof
Sunday, July 20th, 2014

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

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)
Saturday, July 19th, 2014

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

22:00-23:59 Session 123: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)
Sunday, July 20th, 2014

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

10:15-10:45Coffee Break
10:45-13:00 Session 127D: Test of Time Award: 10 Years / Technical Session: Constraints and Constraint Handling Rules
Location: FH, Hörsaal 8
10:45
Test of Time Award: 10 Years - The Refined Operational Semantics of Constraint Handling Rules (abstract)
11:30
On Termination, Confluence and Consistent CHR-based Type Inference (abstract)
12:00
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (abstract)
12:30
The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 129D: Technical Session: Semantics
Location: FH, Hörsaal 8
14:30
On Cascade Products of Answer Set Programs (abstract)
15:00
Vicious Circle Principle and Logic Programs with Aggregates (abstract)
15:30
Causal Graph Justifications of Logic Programs (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 130D: ASP Competition Report / Technical Session - Knowledge Representation and Reasoning
Location: FH, Hörsaal 8
16:30
The Design of the Fifth Answer Set Programming Competition (abstract)
17:00
Simulating Dynamic Systems Using Linear Time Calculus Theories (abstract)
17:30
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (abstract)
Monday, July 21st, 2014

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

10:45-13:00 Session 138D: Technical Communications: Track 1 - Knowledge Representation
Location: FH, Hörsaal 8
10:45
Transaction Logic with (Complex) Events (abstract)
11:00
Properties of Stable Model Semantics Extensions (abstract)
11:15
A Well-Founded Semantics for FOL-Programs (abstract)
11:30
On Strong and Default Negation in Answer-Set Program Updates (abstract)
11:45
C-Log: A Knowledge Representation Language of Causality (abstract)
12:00
ESmodels: An Epistemic Specification Solver (abstract)
12:15
Grounding Bound Founded Answer Set Programs (abstract)
12:30
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (abstract)
10:45-13:00 Session 138G: Technical Communications: Track 2 - Systems and Paradigms
Location: FH, Seminarraum 134
10:45
Multi-criteria optimal planning for Energy policies in CLP (abstract)
11:00
Numerical Properties of Min-closed CSPs (abstract)
11:15
Clingo = ASP + Control (abstract)
11:30
Logic and Constraint Logic Programming for Distributed Constraint Optimization (abstract)
11:45
Guarding Corecursion in Logic Programming (abstract)
12:00
Adaptive MCMC-Based Inference in Probabilistic Logic Programs (abstract)
12:15
A Framework for Bottom-Up Simulation of SLD-Resolution (abstract)
10:45-13:00 Session 138H: Technical Communications: Track 3 - Prolog
Location: FH, Seminarraum 134A
10:45
Joint Tabling of Logic Program Abductions and Updates (abstract)
11:00
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling (abstract)
11:15
Towards Assertion-based Debugging of Higher-Order (C)LP Programs (abstract)
11:30
Analysis and Transformation Tools for Constrained Horn Clause Verification (abstract)
11:45
Towards an Efficient Prolog System by Code Introspection (abstract)
12:00
Customisable Handling of Java References in Prolog Programs (abstract)
12:15
Entanglement Patterns and Logic Programming Language Constructs (abstract)
14:30-16:00 Session 140D: Best Doctoral Consortium Talk / Technical Session - Abduction
Location: FH, Hörsaal 8
14:30
Best Doctoral Consortium Talk (abstract)
15:00
A Measure of Arbitrariness in Abductive Explanations (abstract)
15:30
Contextual Abductive Reasoning with Side-Effects (abstract)
Sunday, July 20th, 2014

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

Monday, July 21st, 2014

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

08:45-10:15 Session 144A: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
19:00-20:00 Session 149A: VSL Public Lecture 2
Location: MB, Kuppelsaal
19:00
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)
Tuesday, July 22nd, 2014

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

10:45-13:00 Session 149D: Test of Time Award: 20 Years / Technical Session- Constraint Programming
Location: FH, Hörsaal 8
10:45
Test of Time Awards: 20 Years - CLP(Intervals) Revisited (abstract)
11:30
SUNNY: a Lazy Portfolio Approach for Constraint Solving (abstract)
12:00
Using Tabled Logic Programming to Solve the Petrobras Planning Problem (abstract)
12:30
A Proof Theoretic Study of Soft Concurrent Constraint Programming (abstract)
Monday, July 21st, 2014

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

16:30-19:00 Session 151A: VSL Joint Award Ceremony 2
Location: MB, Kuppelsaal
16:30
FLoC Olympic Games Award Ceremony 2 (abstract)
18:00
Lifetime Achievement Award (abstract)
18:10
Lifetime Achievement Award (abstract)
18:20
EMCL Distinguished Alumni Award (abstract)
18:30
FLoC Closing Week 2 (abstract)
Tuesday, July 22nd, 2014

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

14:30-16:00 Session 151D: Invited Talk / Technical Session - Program Analysis
Location: FH, Hörsaal 8
14:30
(Quantified) Horn Constraint Solving for Program Verification and Synthesis (abstract)
15:30
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (abstract)
16:30-18:00 Session 153A: Technical Session - Answer Set Programming
Location: FH, Hörsaal 8
16:30
Dynamic Consistency Checking in Goal-Directed Answer Set Programming (abstract)
17:00
Anytime Computation of Cautious Consequences in Answer Set Programming (abstract)
17:30
Efficient Computation of the Well-Founded Semantics over Big Data (abstract)
08:45-10:15 Session 156: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break