Room 107, TSU Academic Building 1

Session 1 (Sep 19 14:00-15:30) CICM Invited talk, SMT solving
Session 2 (Sep 19 16:00-17:30) Theorem proving and formalization
Session 3 (Sep 20 09:00-10:30) CICM Invited talk, expression transformation
Session 4 (Sep 20 11:00-12:30) Digital libraries and mathematical knowledge management
Session 6 (Sep 20 14:00-15:30) Formalization
Session 7 (Sep 20 16:00-17:30) Theorem proving and satisfiability
Session 8 (Sep 21 09:00-10:30) Work-in-progress papers and system entries
Session 9 (Sep 22 09:30-10:30) Datasets and formalization
Session 10 (Sep 22 11:00-12:30) Logic and education
Session 11 (Sep 22 14:00-15:30) Digital libraries and mathematical knowledge management
Session 12 (Sep 22 16:00-17:00) CICM Invited talk
Session 13 (Sep 22 17:00-18:00) Business meeting
Session 14 (Sep 23 09:00-10:00) CLAS invited talk
Session 15 (Sep 23 10:05-10:30) Doctoral program
Session 16 (Sep 23 11:00-12:40) Doctoral program
Session 17 (Sep 23 14:00-15:40) Work-in-progress papers