Conferences on Intelligent Computer Mathematics - Birmingham 2008
Programming Languages for
Mechanized Mathematics Systems

PLMMS

Birmingham, UK, 29 July 2008

Important Dates

  • Submission deadline - 5 May 2008
  • Notification of acceptance - 6 June 2008
  • Final version - 7 July 2008
  • Workshop - 29 July 2008