Database: authors
Question: How many papers are published under the conference "Mathematics of Program Construction
"?
SQL: SELECT COUNT(T1.Id) FROM Paper AS T1 INNER JOIN Conference AS T2 ON T1.ConferenceId = T2.Id WHERE T2.FullName = 'Mathematics of Program Construction'