会议信息
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 |
浏览: 8179 关注: 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 | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
---|---|---|---|---|---|---|---|
IWROV | International Workshop on Remote Operated Vehicle | 2020-01-25 | 2020-02-25 | 2021-04-19 | |||
b | a | a1 | RE | International Requirements Engineering Conference | 2025-03-03 | 2025-05-23 | 2025-09-01 |
b | a | b1 | CCC | IEEE Conference on Computational Complexity | 2024-02-16 | 2024-05-05 | 2024-07-22 |
CCSB | International Conference on Computer Science and Blockchain | 2023-07-31 | 2023-11-17 | ||||
MODELSWARD | International Conference on Model-Driven Engineering and Software Development | 2024-10-02 | 2024-12-04 | 2025-02-26 | |||
b | EC-Web | International Conference on Electronic Commerce and Web Technologies | 2016-04-22 | 2016-05-20 | 2016-09-05 | ||
b | MoMM | International Conference on Advances in Mobile Computing & Multimedia | 2024-07-20 | 2024-08-25 | 2024-12-02 | ||
IS3C | International Symposium on Computer, Consumer and Control | 2016-01-31 | 2016-07-04 |
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
IWROV | International Workshop on Remote Operated Vehicle | 2020-01-25 | 2021-04-19 |
RE | International Requirements Engineering Conference | 2025-03-03 | 2025-09-01 |
CCC | IEEE Conference on Computational Complexity | 2024-02-16 | 2024-07-22 |
CCSB | International Conference on Computer Science and Blockchain | 2023-07-31 | 2023-11-17 |
MODELSWARD | International Conference on Model-Driven Engineering and Software Development | 2024-10-02 | 2025-02-26 |
EC-Web | International Conference on Electronic Commerce and Web Technologies | 2016-04-22 | 2016-09-05 |
MoMM | International Conference on Advances in Mobile Computing & Multimedia | 2024-07-20 | 2024-12-02 |
IS3C | International Symposium on Computer, Consumer and Control | 2016-01-31 | 2016-07-04 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
Image Processing On Line | IPOL | 2105-1232 | ||
Journal of Information and Organizational Sciences | University of Zagreb | 1846-3312 | ||
Symmetry | 2.200 | MDPI | 2073-8994 | |
IAENG International Journal of Computer Science | International Association of Engineers | 1819-656X | ||
b | Data & Knowledge Engineering | 2.700 | Elsevier | 0169-023X |
Physics of Life Reviews | 13.70 | Elsevier | 1571-0645 | |
b | ACM Transactions on Speech and Language Processing | ACM | 1550-4875 | |
c | Natural Language Engineering | 2.500 | Cambridge University Press | 1351-3249 |
b | Advanced Engineering Informatics | 8.000 | Elsevier | 1474-0346 |
全称 | 影响因子 | 出版商 |
---|---|---|
Image Processing On Line | IPOL | |
Journal of Information and Organizational Sciences | University of Zagreb | |
Symmetry | 2.200 | MDPI |
IAENG International Journal of Computer Science | International Association of Engineers | |
Data & Knowledge Engineering | 2.700 | Elsevier |
Physics of Life Reviews | 13.70 | Elsevier |
ACM Transactions on Speech and Language Processing | ACM | |
Natural Language Engineering | 2.500 | Cambridge University Press |
Advanced Engineering Informatics | 8.000 | Elsevier |
推荐