CICM 2026: 19TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS
PROGRAM
AUTHORS
PROGRAM FOR MONDAY, SEPTEMBER 21ST
Days:
next day
all days
View:
session overview
talk overview
09:00-10:00
Session 1: Workshop: AI4Math
10:30-12:30
Session 2: Workshop: AI4Math
14:00-15:30
Session 3: Tutorial: Algebraic Automated Theorem Proving
16:00-17:30
Session 4: Tutorial: Certificates for combinatorial solving and optimization
18:00-20:00
Welcome Reception
Disclaimer
|
Powered by EasyChair Smart Program