PROGRAM
Days: Thursday, October 15th Friday, October 16th Saturday, October 17th Sunday, October 18th
Thursday, October 15th, 2015
View this program: with abstractssession overviewtalk overview
19:00-22:30 Session : Welcoming dinner
Information about the welcoming dinner can be found at the social events page.
Friday, October 16th, 2015
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: Invited Talk by Robert Nieuwenhuis
Chair:
| 09:00 | SAT-based techniques for integer linear constraints ( abstract )  |
10:00-10:30Coffee Break
10:30-12:10 Session 2
Chair:
| 10:30 | Trust, Belief and Honesty ( abstract ) |
| 10:55 | Metis-based Paramodulation Tactic for HOL Light ( abstract ) |
| 11:20 | A Resolution Method for Modal Logic S5 ( abstract ) |
| 11:45 | Application of adaptive neural networks for the filtration of the spam ( abstract ) |
12:10-13:40Lunch Break
13:40-15:20 Session 3
Chair:
| 13:40 | Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks ( abstract ) |
| 14:05 | Modeling Organic Chemistry and Planning Organic Synthesis ( abstract ) |
| 14:30 | A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs ( abstract ) |
| 14:55 | Breeding Theorem Proving Heuristics with Genetic Algorithms ( abstract ) |
15:20-15:50Coffee Break
15:50-17:15 Session 4
Chair:
| 15:50 | (The Final) Countdown ( abstract ) |
| 16:15 | EPR-based k-induction with counterexample guided abstraction refinement ( abstract ) |
| 16:40 | A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures ( abstract ) |
Saturday, October 17th, 2015
View this program: with abstractssession overviewtalk overview
10:00-18:00 Session : Excursion
The description of the excursion can be found at the social events page.
19:00-23:00 Session : Conference Dinner
The dinner will be a continuation of the excursion, see the social events page.
Sunday, October 18th, 2015
View this program: with abstractssession overviewtalk overview
09:10-10:00 Session 5
Chair:
| 09:10 | On Conditionals ( abstract ) |
| 09:35 | BliStr: The Blind Strategymaker ( abstract ) |
10:00-10:30Coffee Break
10:30-12:10 Session 6
Chair:
| 10:30 | Foundations for the Logical Difference of EL-TBoxes ( abstract ) |
| 10:55 | An Algebra of Combined Constraint Solving (Position Paper) ( abstract ) |
| 11:20 | Temporal Query Answering in DL-Lite with Negation ( abstract ) |
| 11:45 | Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand ( abstract ) |
12:10-13:40Lunch Break
13:40-15:20 Session 7
Chair:
| 13:40 | A Modelling Pearl with Sortedness Constraints ( abstract ) |
| 14:05 | Implied Constraints for Automaton Constraints ( abstract ) |
| 14:30 | Linear Models of Computation and Program Learning ( abstract ) |
| 14:55 | Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects ( abstract ) |