| Day 1 | |
| Time | Track A (Room 1) |
| 7:00-9:00 | Breakfast (80 - 100 people) |
| 8:00-9:00 | Registration |
| 9:00-10:00 | Keynote Speaker (All Participants) |
| 10:00-11:00 | Session A-1.A SAT/CSP Track: Invited Keynote 1 |
| 10:00-11:00 | Stefan Szeider. Capturing Structure in Hard Combinatorial Problems. |
| 11:00-12:00 | Session A-1.B SAT/CSP Track Constraint Reasoning I |
| 11:00-11:30 | Bertrand Neveu and Gilles Trombettoni. Adaptive Constructive Interval Disjunction |
| 11:30-12:00 | Paolo Codenotti, Hadi Katebi, Karem A. Sakallah and Igor L. Markov. Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. |
| 12:00-13:30 | Lunch |
| 13:30-14:30 | Keynote speaker All participants |
| 14:30-16:00 | Session A-2 SAT/CSP Track: Complexity, Games, Constraint Games |
| 14:30-15:00 | Achref El Mouelhi, Philippe Jegou and Cyril Terrioux. Hybrid Tractable Class for Non-Binary CSPs. |
| 15:00-15:30 | Eric Gregoire, Atef Hasni, Bertrand Mazure and Cˇdric Piette. Solving E-SquarO through SAT-coding. |
| 15:30-16:00 | Thi-Van-Anh Nguyen, Arnaud Lallouet and Lucas Bordeaux. Constraint Games: Framework and Local Search Solver. |
| 16:10-16:40 | Coffee Break |
| 16:40-18:00 | Session A-3 Main Track: AI Foundations |
| 16:40-17:00 | Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura and Hiroshi Fujita. Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. |
| 17:00-17:20 | Jason Jingshi Li and Sanjiang Li. On Finding Approximate Solutions of Qualitative Constraint Networks. |
| 17:20-17:40 | Viktoriya Degeler and Alexander Lazovik. Dynamic Constraint Reasoning in Smart Environments. |
| 17:40-18:00 | Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa. Using MaxSAT to Correct Errors in AES Key Schedule Images. |
| 18:00-20:00 | Poster Session |
| Day 2 | |
| Time | Track A (Room 1) |
| 7:00-9:00 | Breakfast |
| 9:00-10:00 | Keynote Speaker (All Participants) |
| 10:00-11:00 | Session A-4.A SAT/CSP Track: Invited Keynote 2 |
| 10:00-11:00 | Peter Van Beek. Constraint Programming in Compiler Optimization: Lessons Learned. |
| 11:00-12:00 | Session A-4.B SAT/CSP Track: Constraint Reasoning II |
| 11:00-11:30 | Pierre Schaus. Variable Objective Large Neighborhood Search: A practical approach to solve over-constrained problems. |
| 11:30-12:00 | Jimmy H.M. Lee, Terrence W.K. Mak and Yuxiang Shi. A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning. |
| 12:00-13:30 | Lunch |
| 13:30-15:30 | Session A-5 SAT/CSP Track. MUS, Cores and Max-SAT. |
| 13:30-14:00 | Christophe Lecoutre, Nicolas Paris, Olivier Roussel and Sebastien Tabary. Solving WCSP by Extraction of Minimal Unsatisfiable Cores. |
| 14:00-14:30 | Eric Grˇgoire, Jean Marie Lagniez and Bertrand Mazure. Questioning the Importance of WCORE-like Minimization Steps in MUC-finding Algorithms. |
| 14:30-15:00 | Antonio Morgado, Federico Heras and Joao Marques-Silva. Model-Guided Approaches for MaxSAT Solving. |
| 15:00-15:30 | Chu-Min Li, Zhiwen Fang and Ke Xu. Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem. |
| 15:30-16:00 | Coffee Break |
| 16:00-18:00 | Session A-6 SAT/CSP Track. Heuristics. |
| 16:00-16:30 | Hidetomo Nabeshima, Koji Iwanuma and Katsumi Inoue. On-The-Fly Lazy Clause Simplification based on Binary Resolvents. |
| 16:30-17:00 | Erich Teppan and Gerhard Friedrich. Declarative Heuristics in Constraint Satisfaction. |
| 17:00-17:30 | Ignacio Araya, Victor Reyes and Cristian Orellana. More Smear-based Variable Selection Heuristics for NCSPs. |
| 17:30-18:00 | Deepak Mehta, Barry O'Sullivan, Lars Kotthoff and Yuri Malitsky. Lazy Branching for Constraint Satisfaction. |
| 18:00-20:00 | ICTAI Committees + Banquet |
| Day 3 | |
| Time | Track A (Room 1) |
| 7:00-9:00 | Breakfast |
| 9:00-10:00 | Keynote Speaker (All Participants) |
| 10:00-12:00 | Session A-7 SAT/CSP Track. Encoding and Translation issues. Meta-Models. |
| 10:00-10:30 | Naoyuki Tamura, Mutsunori Banbara and Takehide Soh. Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. |
| 10:30-11:00 | Van-Hau Nguyen, Miroslav N. Velev and Pedro Barahona. Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. |
| 11:00-11:30 | Joseph D. Scott, Pierre Flener and Justin Pearson. Bounded Strings for Constraint Programming. |
| 11:30-12:00 | Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Chateau, Remi Coletta and Clementine Nebut. A CSP Approach for Metamodel Instantiation. |
| 12:00-13:30 | Lunch |
| 13:30-15:30 | Session A-8 SAT/CSP Track. Constraint Reasoning III |
| 13:30-14:00 | Luis Quesada, Ken Brown, Barry O'Sullivan, Lanny Sitanayah and Cormac Sreenan. A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks. |
| 14:00-14:30 | Thi-Bich-Hanh Dao, Khanh-Chuong Duong and Christel Vrain. A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion. |
| 14:30-15:00 | Broes De Cat, Bart Bogaerts, Jo Devriendt and Marc Denecker. Model Expansion in the Presence of Function Symbols Using Constraint Programming. |
| 15:00-15:30 | Maria Andreina Francisco Rodriguez, Pierre Flener and Justin Pearson. Generation of Implied Constraints for Automaton-Induced Decompositions. |
| 15:30-15:40 | Coffee Break |
| 15:40-17:00 | Session A-9 Main Track (Poster Short Paper) Machine Learning and Data Mining |
| Wang Changlong and Feng Zhiyong. A Novel Combination of Reasoners for Ontology Classification. | |
| Gianni Costa and Riccardo Ortale. Developments in Partitioning XML Documents by Content and Structure based on Combining Multiple Clusterings | |
| Yue Zhao, Jungang Xu and Yunjun Gao. A Parallel Algorithm for Bayesian Network Parameter Learning based on Factor Graph. | |
| Liangxiao Jiang, Zhihua Cai, Chaoqun Li and Harry Zhang. Sampled Bayesian Network Classifiers for Class-Imbalance and Cost-Sensitive Learning. | |
| Laurie Serrano, Maroua Bouzid, Thierry Charnois, Stephan Brunessaux and Bruno Grilheres. Events extraction and aggregation for open source intelligence: from text to knowledge. | |
| Tongchun Du, Michael Cox, Donald Perlis, Jared Shamwell and Tim Oates. From Robots to Reinforcement Learning. | |
| Jean-Charles Lamirel. Enhancing classification accuracy with the help of feature maximization metric. | |
| Sultan Alhusain, Simon Coupland, Robert John and Maria Kavanagh. Design Pattern Recognition By Using Adaptive Neuro Fuzzy Inference System. | |
| 17:00-17:30 | Closing Remarks |