Write SQL query to solve given problem: How many papers are published under the conference "Mathematics of Program Construction
"?. Keep the solution inside sql tag ```sql [SQL-Query] ```
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'