Conference Information
MPC 2022: International Conference on Mathematics of Program Construction
Submission Date:
2022-04-22 Extended
Notification Date:
Conference Date:
Tbilisi, Georgia
Viewed: 5240   Tracked: 0   Attend: 0

Call For Papers

The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs.

MPC 2022 is going to be held as part of the Computational Logic Autumn Summit of 2022 ( CLAS 2022).

Previous conferences were held in:
–  Porto, Portugal (2019);
– Königswinter, Germany (2015);
– Madrid, Spain (2012);
– Québec City, Canada (2010);
– Marseille, France (2008);
– Kuressaare, Estonia (2006);
– Stirling, UK (2004);
– Dagstuhl, Germany (2002);
– Ponte de Lima, Portugal (2000);
– Marstrand, Sweden (1998);
– Kloster Irsee, Germany (1995);
– Oxford, UK (1992);
– Twente, The Netherlands (1989).


MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a ‘program’ is interpreted broadly, ranging from algorithms to hardware.

Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of ‘programming pearls’ that present elegant and instructive examples of the mathematics of program construction.
Last updated by Dou Sun in 2022-04-17
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
IWROVInternational Workshop on Remote Operated Vehicle2020-01-252020-02-252021-04-19
baa1REInternational Requirements Engineering Conference2023-03-102023-05-302023-09-04
bab1CCCIEEE Conference on Computational Complexity2022-02-142022-04-302022-07-21
MODELSWARDInternational Conference on Model-Driven Engineering and Software Development2022-10-102022-12-062023-02-19
bEC-WebInternational Conference on Electronic Commerce and Web Technologies2016-04-222016-05-202016-09-05
bMoMMInternational Conference on Advances in Mobile Computing & Multimedia2022-06-012022-08-152022-11-28
IS3CInternational Symposium on Computer, Consumer and Control2016-01-31 2016-07-04
AMMAInternational Conference on Applied Mechanics and Mechanical Automation2017-07-24 2017-08-06