Ullmann 311
Sessions
- Session 8 (Jul 31 10:35-10:45) Opening
- Session 9 (Jul 31 10:45-12:30) Extensions of ASP
- Session 14B (Jul 31 14:00-15:30) Counting/Probabilistic ASP & Synthesis
- Session 19A (Jul 31 16:00-17:30) Modelling and Applications
- Session 24A (Jul 31 17:30-18:30) CAUSAL and EELP
- Session 25 (Aug 01 08:50-09:00) Opening
- Session 26G (Aug 01 09:00-10:30) Applications
- Session 31K (Aug 01 11:00-12:30) SAT and Parallel Solving
- Session 34L (Aug 01 14:00-15:30) Proofs I
- Session 37K (Aug 01 16:00-17:00) Proofs II
- Session 39C (Aug 01 17:00-17:30) Discussion on topical aspects
- Session 41 (Aug 01 17:30-17:40) Closing
- Session 120H (Aug 11 09:00-10:30) Invited talk #1
- Session 125M (Aug 11 11:00-12:30) Arithmetics and higher-order reasoning
- Session 127M (Aug 11 14:00-15:30) Tools
- Session 131K (Aug 11 16:00-17:30) SMT-COMP Report and Tool Presentation