CICM-13: 13TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS