[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
Registration is now open for the Mathematics of Program Construction
(MPC) conference in Portugal. MPC 2019 will feature 15 research papers
and 4 keynotes, and is co-located
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
NEW Submission Deadline: **Tuesday 30 July 2019**
CALL FOR PAPERS
22nd Brazilian Symposium On Formal Methods - SBMF 2019 (
www.ime.usp.br/~sbmf2019)
Sponsored by by the Brazilian Computer