Sessions

• Session 44G (Aug 02 09:00-10:30) QBF-1
• Session 49C (Aug 02 12:10-12:40) Application of SAT to Quantum circuits
• Session 50H (Aug 02 14:00-15:30) SAT
• Session 54H (Aug 02 16:00-17:30) MaxSAT
• Session 56F (Aug 03 09:00-10:30) QBF-2 + Stochastic Boolean Satisfiability
• Session 58H (Aug 03 11:00-12:30) Applications + pragmatics
• Session 59G (Aug 03 14:00-15:30) Theory
• Session 61H (Aug 03 16:00-17:30) Model Counting
• Session 63H (Aug 04 09:00-10:30) 25 years of SAT
• Session 65G (Aug 04 11:00-12:30) Machine-Learning for SAT/SMT
• Session 67H (Aug 04 14:00-15:30) SAT / PBS
• Session 71 (Aug 04 17:00-18:00) Business meeting
• Session 73F (Aug 05 09:00-10:30) Bryant Discoveries Day (BDD) event
• Session 76I (Aug 05 11:00-12:30) Bryant Discoveries Day (BDD) event + Tool papers
• Session 78F (Aug 05 14:00-15:30) QBF + Awards / competitions
• Session 81E (Aug 05 16:00-17:00) Awards / Competitions
• Session 94D (Aug 08 09:00-10:30) Invited Talk and Cooperating Reasoners
• Session 96D (Aug 08 11:00-12:30) Effective Superposition and Orderings
• Session 97D (Aug 08 14:00-15:30) Knowledge Representation and Justification
• Session 98D (Aug 08 16:00-17:30) Preprocessing and Simplification
• Session 99 (Aug 08 17:30-18:30) Herbrand Award Ceremony
• Session 100D (Aug 09 09:00-10:30) Choices, Substitutions and Formalizations
• Session 102D (Aug 09 11:00-12:30) Proof Systems and Recursion
• Session 104D (Aug 09 14:00-15:30) Proof Search and Generalizations
• Session 110D (Aug 10 09:00-10:30) System Evolution and Termination
• Session 112D (Aug 10 11:00-12:30) Decidable Logics and Models
• Session 115C (Aug 10 14:00-15:30) Invited Talk and Optimized Reasoning
• Session 116C (Aug 10 16:00-17:00) Modalities and Decidability
• Session 117B (Aug 10 17:00-17:30) Award Ceremony and Closing
• Session 118 (Aug 10 17:30-19:00) IJCAR Business Meeting