ZoomRoom 3
Sessions
- Session 2C (Jul 11 08:00-10:00) PDAR Workshop: Practical Experience
- Session 4C (Jul 11 10:30-12:00) PDAR Workshop: New Directions
- Session 6C (Jul 11 12:30-14:00) PDAR Workshop: Discussion
- Session 17B (Jul 12 16:00-16:30) Topical ZoomRoom: 17 Ways to make an ATP System Fast
- Session 35D (Jul 16 08:00-09:00) LFMTP Workshop: Invited Talk
- Session 36A (Jul 16 09:00-10:00) LFMTP Workshop: Meta-Theory Reasoning
- Session 37D (Jul 16 10:30-12:00) LFMTP Workshop: Foundations
- Session 39C (Jul 16 12:30-13:30) LFMTP Workshop: Invited Talk
- Session 40 (Jul 16 13:30-14:00) Foundations: MetaCoq
- Session 41C (Jul 16 14:30-16:00) LFMTP Workshop: Formalization