Software for Mathematical Theory Exploration
August 5 (Tue) - 9 (Sat), 2014, Hanyang University, Seoul, Korea
- If you would like to give a talk at ICMS, you need to submit first a short
abstract and then later an extended abstract. See the
guideline for the details.
- After the meeting, the submission guidelines for a journal special issue will
be communicated to you by the session organizers.