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.