ZoomRoom 2
Sessions
- Session 2D (Jul 11 08:00-09:00) PxTP Workshop: Invited Talk
- Session 3 (Jul 11 09:00-10:00) PxTP Workshop: Certifying Transformations
- Session 4D (Jul 11 10:30-11:30) PxTP Workshop: Invited Talk
- Session 5 (Jul 11 11:30-12:30) PxTP Workshop: Use Cases
- Session 6D (Jul 11 12:30-13:10) PxTP Workshop: Generating and Using Proofs
- Session 7 (Jul 11 13:15-14:00) PxTP Workshop: Business Meeting
- Session 17A (Jul 12 16:00-16:30) Topical ZoomRoom: Newbie's Meeting Place
- Session 20 (Jul 13 10:00-16:30) The CADE-28 ATP System Competition (CASC-28)
- Session 35E (Jul 16 08:00-09:00) WST Workshop: Invited Talk
- Session 39D (Jul 16 12:30-14:00) WST Workshop: Runtime Complexity
- Session 41D (Jul 16 14:30-16:30) WST Workshop: Term Rewriting and Termination Arguments