Conference Information
MPC 2019: International Conference on Mathematics of Program Construction
http://www.cs.nott.ac.uk/~pszgmh/mpc19.htmlSubmission Date: |
2019-05-07 Extended |
Notification Date: |
2019-06-14 |
Conference Date: |
2019-10-07 |
Location: |
Porto, Portugal |
Years: |
13 |
Viewed: 2119 Tracked: 0 Attend: 0
Call For Papers
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 2019 will be held in Porto, Portugal from 7-9 October 2019, and is co-located with the International Symposium on Formal Methods, FM 2019. Previous conferences were held in 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. Submission Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 26th April 2019. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 3rd May 2019. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2019 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2019 and MPC 2015 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Graham Hutton.
Last updated by Dou Sun in 2019-05-05
Related Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
IWROV | International Workshop on Remote Operated Vehicle | 2020-01-25 | 2020-02-25 | 2021-04-19 | |||
b | a | a1 | RE | International Requirements Engineering Conference | 2021-03-12 | 2021-06-14 | 2021-09-20 |
b | a | b1 | CCC | IEEE Conference on Computational Complexity | 2020-02-17 | 2020-04-30 | 2020-07-28 |
MODELSWARD | International Conference on Model-Driven Engineering and Software Development | 2020-10-06 | 2020-11-12 | 2021-02-08 | |||
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 | 2020-08-15 | 2020-09-25 | 2020-11-30 | ||
IS3C | International Symposium on Computer, Consumer and Control | 2016-01-31 | 2016-07-04 | ||||
AMMA | International Conference on Applied Mechanics and Mechanical Automation | 2017-07-24 | 2017-08-06 |
Short | Full Name | Submission | Conference |
---|---|---|---|
IWROV | International Workshop on Remote Operated Vehicle | 2020-01-25 | 2021-04-19 |
RE | International Requirements Engineering Conference | 2021-03-12 | 2021-09-20 |
CCC | IEEE Conference on Computational Complexity | 2020-02-17 | 2020-07-28 |
MODELSWARD | International Conference on Model-Driven Engineering and Software Development | 2020-10-06 | 2021-02-08 |
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 | 2020-08-15 | 2020-11-30 |
IS3C | International Symposium on Computer, Consumer and Control | 2016-01-31 | 2016-07-04 |
AMMA | International Conference on Applied Mechanics and Mechanical Automation | 2017-07-24 | 2017-08-06 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
Mathematical Programming | 2.090 | Springer | 0025-5610 | |
International Journal of Technology Enhanced Learning | Inderscience | 1753-5255 | ||
Journal of Information Technology in Construction | Herman | 1400-6529 | ||
Mechatronics | 2.978 | Elsevier | 0957-4158 | |
Applied Mathematics and Computation | 3.092 | Elsevier | 0096-3003 | |
Mathematics of Operations Research | 1.593 | INFORMS | 0364-765X | |
International Journal on Advanced Science, Engineering and Information Technology | INSIGHT | 2088-5334 | ||
Computers & Mathematics with Applications | 2.811 | Elsevier | 0898-1221 | |
Applied Categorical Structures | 2.076 | Springer | 0927-2852 | |
International Journal of Information Technology, Control and Automation | AIRCC | 1839-6682 |
Full Name | Impact Factor | Publisher |
---|---|---|
Mathematical Programming | 2.090 | Springer |
International Journal of Technology Enhanced Learning | Inderscience | |
Journal of Information Technology in Construction | Herman | |
Mechatronics | 2.978 | Elsevier |
Applied Mathematics and Computation | 3.092 | Elsevier |
Mathematics of Operations Research | 1.593 | INFORMS |
International Journal on Advanced Science, Engineering and Information Technology | INSIGHT | |
Computers & Mathematics with Applications | 2.811 | Elsevier |
Applied Categorical Structures | 2.076 | Springer |
International Journal of Information Technology, Control and Automation | AIRCC |
Recommendation