MPC 2019 - International Conference on Mathematics of Program Construction (MPC)
Topics/Call fo Papers
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.
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.
Other CFPs
- 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)
- 23RD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
- 1st International Workshop on Empirical Formal Methods
- All new Guide to Sexual Harassment Avoidance Training: How to Develop and Train your Employees
- 19th IEEE International Conference on Advanced Learning Technologies
Last modified: 2019-01-06 20:39:33