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

PLMMS

Birmingham, UK, 29 July 2008

General Information

This workshop is focused on the intersection of programming languages (PL) and mechanized mathematics systems (MMS). The latter category subsumes present-day computer algebra systems (CAS), interactive proof assistants (PA), and automated theorem provers (ATP), all heading towards fully integrated mechanized mathematical assistants that are expected to emerge eventually (cf. the objective of Calculemus).

This is the second PLMMS workshop, with the first workshop held with Calculemus 2007 in Hagenberg, Austria.

See the call for papers for more details.