Conferences on Intelligent Computer Mathematics - Birmingham 2008

Empirically Successful
Automated Reasoning for Mathematics
(ESARM) - 27th July 2008

Important Dates

  • Submission deadline - 31st May
  • Papers distributed to PC - 2nd June
  • Reviews due in from PC - 16th June
  • Notification of acceptance - 20th June
  • Final versions due - 7th July
  • Workshop - 27th July