Software for Mathematical Theory Exploration
August 5 (Tue) - 9 (Sat), 2014, Hanyang University, Seoul, Korea
- A short abstract will appear on the permanent conference web page as soon as accepted.
- An extended abstract will appear on the permanent conference web page
as soon as accepted. It will also appear on the proceedings that will be distributed during the
meeting.
- A journal special issue consisting of full papers will be organized
immediately after the meeting.