Ullmann 306
Sessions
- Session 1E (Jul 31 09:00-10:30)
- Session 10G (Jul 31 11:00-12:30)
- Session 19F (Jul 31 16:00-17:30)
- Session 26C (Aug 01 09:00-10:30) Confluence criteria and completeness
- Session 31D (Aug 01 11:00-12:30) Invited talk and equivalence
- Session 34E (Aug 01 14:00-15:30) Conditional rewriting
- Session 37E (Aug 01 16:00-18:00) Higher-order rewriting and CoCo
- Session 119 (Aug 11 08:55-09:00) Welcome
- Session 120J (Aug 11 09:00-10:30) SMT & Automated Deduction (University Level)
- Session 125P (Aug 11 11:00-12:30) Proof Tree Builder & Rule Based ATP
- Session 127P (Aug 11 14:00-15:30) Proofs in Education (High-School Level)
- Session 131M (Aug 11 16:00-17:00) Business Meeting & Closing