VSL 2014: VIENNA SUMMER OF LOGIC 2014
RCRA PROGRAM

Days: Thursday, July 17th Friday, July 18th

Thursday, July 17th, 2014

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

10:15-10:45Coffee Break
10:50-12:10 Session 67: Propositional Satisfiability
Location: MB, Hörsaal 12
10:50
Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (abstract)
11:20
Maximal Falsifiability: Definitions, Algorithms, and Applications (abstract)
11:50
Latin Squares with Graph Properties (abstract)
12:10-13:00 Session 72: Answer Set Programming
Location: MB, Hörsaal 12
12:10
Efficient Computation of the Well-Founded Semantics over Big Data (abstract)
12:40
Declarative Specification of Benchmark Sessions via ASP (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 75BA: Planning & Scheduling
Location: MB, Hörsaal 12
14:30
A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks (abstract)
15:00
A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem (abstract)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
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)
Friday, July 18th, 2014

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

09:15-10:15 Session 88I: Constraints
Location: MB, Hörsaal 12
09:15
A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP (abstract)
09:45
Dispensable Instantiations in Constraint Satisfaction Problems (abstract)
Thursday, July 17th, 2014

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

Friday, July 18th, 2014

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

10:15-10:45Coffee Break
10:45-11:15 Session 90BC: Constraints (continued)
Location: MB, Hörsaal 12
10:45
Neighbourhood SAC for Preprocessing and Search (abstract)
11:20-13:00 Session 92: Heuristic, randomised and probabilistic approaches
Location: MB, Hörsaal 12
11:20
Concept Learning by a Monte-Carlo Tree Search of Argumentations (abstract)
11:50
Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies (abstract)
12:20
Self Regulating Mechanisms for Network Immunization (abstract)
12:40
An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break