会議情報
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 | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
IS3C | International Symposium on Computer, Consumer and Control | 2016-01-31 | 2016-07-04 | ||||
b | MoMM | International Conference on Advances in Mobile Computing & Multimedia | 2025-06-20 | 2025-08-30 | 2025-12-08 | ||
b | EC-Web | International Conference on Electronic Commerce and Web Technologies | 2016-04-22 | 2016-05-20 | 2016-09-05 | ||
WSCE | World Symposium on Communication Engineering | 2025-09-30 | 2025-10-10 | 2025-11-07 | |||
IVAPP | International Conference on Information Visualization Theory and Applications | 2024-10-02 | 2024-12-04 | 2025-02-26 | |||
ICCGIV | International Conference on Computer Graphics, Image and Virtualization | 2024-06-02 | 2024-06-03 | 2024-06-07 | |||
b | a | b1 | CCC | IEEE Conference on Computational Complexity | 2024-02-16 | 2024-05-05 | 2024-07-22 |
b | a | a1 | RE | International Requirements Engineering Conference | 2025-03-03 | 2025-05-23 | 2025-09-01 |
ICWREE' | International Conference on Water Resources and Environmental Engineering | 2020-06-19 | 2020-09-20 |
省略名 | 完全な名前 | 会議日 |
---|---|---|
IS3C | International Symposium on Computer, Consumer and Control | 2016-07-04 |
MoMM | International Conference on Advances in Mobile Computing & Multimedia | 2025-12-08 |
EC-Web | International Conference on Electronic Commerce and Web Technologies | 2016-09-05 |
WSCE | World Symposium on Communication Engineering | 2025-11-07 |
IVAPP | International Conference on Information Visualization Theory and Applications | 2025-02-26 |
ICCGIV | International Conference on Computer Graphics, Image and Virtualization | 2024-06-07 |
CCC | IEEE Conference on Computational Complexity | 2024-07-22 |
RE | International Requirements Engineering Conference | 2025-09-01 |
ICWREE' | International Conference on Water Resources and Environmental Engineering | 2020-09-20 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
Cogent Engineering | Cogent OA | 2331-1916 | ||
Kinetics and Catalysis | 1.300 | Pleiades Publishing | 0023-1584 | |
Indonesian Journal of Science and Technology | Universitas Pendidikan Indonesia | 2528-1410 | ||
Nonlinear Engineering | Walter de Gruyter | 2192-8010 | ||
b | Advanced Engineering Informatics | 9.9 | Elsevier | 1474-0346 |
Computation | MDPI | 2079-3197 | ||
International Journal of Multimedia Information Retrieval | 3.600 | Springer | 2192-6611 | |
AI Communications | 1.400 | IOS Press | 0921-7126 | |
c | Natural Language Engineering | 2.500 | Cambridge University Press | 1351-3249 |
b | Data Mining and Knowledge Discovery | 2.800 | Springer | 1384-5810 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Cogent Engineering | Cogent OA | |
Kinetics and Catalysis | 1.300 | Pleiades Publishing |
Indonesian Journal of Science and Technology | Universitas Pendidikan Indonesia | |
Nonlinear Engineering | Walter de Gruyter | |
Advanced Engineering Informatics | 9.9 | Elsevier |
Computation | MDPI | |
International Journal of Multimedia Information Retrieval | 3.600 | Springer |
AI Communications | 1.400 | IOS Press |
Natural Language Engineering | 2.500 | Cambridge University Press |
Data Mining and Knowledge Discovery | 2.800 | Springer |