Conferences on Intelligent Computer Mathematics - Birmingham 2008
Programming Languages for
Mechanized Mathematics Systems
PLMMS
Birmingham, UK, 29 July 2008
Skip past menu to page content
CICM
AISC
MKM
Calculemus
Doctoral Programme
Workshops
Skip past menu to page content
General
Important Dates
Call for Papers
Submission
Programme Committee
Workshop Programme
Registration
Accommodation
Travel Information
Proceedings
Important Dates
Submission deadline - 5 May 2008
Notification of acceptance - 6 June 2008
Final version - 7 July 2008
Workshop - 29 July 2008
