会議情報
MPC 2022: International Conference on Mathematics of Program Construction
https://www.macs.hw.ac.uk/mpc22/
提出日:
2022-04-22 Extended
通知日:
2022-05-27
会議日:
2022-09-26
場所:
Tbilisi, Georgia
年:
14
閲覧: 10580   追跡: 0   出席: 0

論文募集
Background

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).

Scope

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.
最終更新 Dou Sun 2022-04-17
関連会議
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
Cogent EngineeringCogent OA2331-1916
Kinetics and Catalysis1.300Pleiades Publishing0023-1584
Indonesian Journal of Science and TechnologyUniversitas Pendidikan Indonesia2528-1410
Nonlinear EngineeringWalter de Gruyter2192-8010
bAdvanced Engineering Informatics9.9Elsevier1474-0346
ComputationMDPI2079-3197
International Journal of Multimedia Information Retrieval3.600Springer2192-6611
AI Communications1.400IOS Press0921-7126
cNatural Language Engineering2.500Cambridge University Press1351-3249
bData Mining and Knowledge Discovery2.800Springer1384-5810
完全な名前インパクト ・ ファクター出版社
Cogent EngineeringCogent OA
Kinetics and Catalysis1.300Pleiades Publishing
Indonesian Journal of Science and TechnologyUniversitas Pendidikan Indonesia
Nonlinear EngineeringWalter de Gruyter
Advanced Engineering Informatics9.9Elsevier
ComputationMDPI
International Journal of Multimedia Information Retrieval3.600Springer
AI Communications1.400IOS Press
Natural Language Engineering2.500Cambridge University Press
Data Mining and Knowledge Discovery2.800Springer