IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools


MPC 2019: International Conference onMathematics of Program Construction - Call for paper, ranking, acceptance rate, submission deadline, notification date, conference location, submission guidelines, and other important details


This article provides the call for paper, ranking, acceptance rate, submission deadline, notification date, conference location, submission guidelines, and other important details of MPC 2019: International Conference onMathematics of Program Construction all at one place.

Conference Location Porto, Portugal
Conference Date 2019-10-07
Notification Date 2019-06-14
Submission Deadline 2019-05-10
Conference Website and Submission Link http://www.cs.nott.ac.uk/~pszgmh/mpc19.html


Conference Ranking


International Conference onMathematics of Program Construction ranking based on CCF, Core, and Qualis is shown below:

CCF Ranking
Core Ranking
Qualis Ranking

Click here to check the ranking of any conference.
  • About CCF Ranking: The Chinese Computing Federation (CCF) Ranking provides a ranking of peer-reviewed journals and conferences in the field of computer science.

  • About Core Ranking: The CORE Conference Ranking is a measure to assess the major conference in the computing field. This ranking is governed by the CORE Executive Committee. To know more about Core ranking, visit Core ranking portal.

  • About Qualis Ranking: This conference ranking is published by the Brazilian ministry of education. It uses the h-index as a performance metric to rank conferences. Conferences are classified into performance groups that range from A1 (to the best), A2, B1, B2,..., B5 (to the wost). To know more about qualis ranking, visit here

Conference Acceptance Rate


Below is the acceptance rate of International Conference onMathematics of Program Construction conference for the last few years:

Year Submitted Papers Accepted Papers Accepted Percentage/Acceptance Rate

We are working hard to collect and update the acceptance rate details of the conferences for recent years. However, you can consider the above (if available) acceptance rates to predict the average chances of acceptance of your research paper at this conference.



Conference Call for paper


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 7th May 2019. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 10th May 2019. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair (submission is now open).

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

Program Committee

Patrick Bahr IT University of Copenhagen, Denmark
Richard Bird University of Oxford, UK
Corina Cîrstea University of Southampton, UK
Brijesh Dongol University of Surrey, UK
João F. Ferreira University of Lisbon, Portugal
Jennifer Hackett University of Nottingham, UK
William Harrison University of Missouri, USA
Ralf Hinze University of Kaiserslautern, Germany
Zhenjiang Hu Peking University, China
Graham Hutton (chair) University of Nottingham, UK
Cezar Ionescu University of Oxford, UK
Mauro Jaskelioff National University of Rosario, Argentina
Ranjit Jhala University of California, USA
Gabriele Keller Utrecht University, The Netherlands
Ekaterina Komendantskaya Heriot-Watt University, UK
Chris Martens North Carolina State University, USA
Bernhard Möller University of Augsburg, Germany
Shin-Cheng Mu Academia Sinica, Taiwan
Mary Sheeran Chalmers University of Technology, Sweden
Alexandra Silva University College London, UK
Georg Struth University of Sheffield, UK

Conference Venue

 The conference will be held at the Alfândega Porto Congress Centre, a 150 year old former custom's house located in the historic centre of Porto on the bank of the river Douro. The venue was renovated by a Pritzer prize winning architect and has received many awards. 

Local Organiser

José Nuno Oliveira University of Minho, Portugal

For any queries about local issues please contact the local organiser, José Nuno Oliveira


Submission Deadline


MPC 2019: International Conference onMathematics of Program Construction submission deadline is 2019-05-10.

Note: It is generally recommended to submit your conference paper on or before the submission deadline. Generally, conferences do not encourage to submit the research paper after the deadline is over. In rare scenarios, conferences extend their deadline. Decision about the extension of the deadline is generally updated on the official conference webpage.


Notification date


Notification date of MPC 2019: International Conference onMathematics of Program Construction is 2019-06-14.

Note: This is the date on which conference announces the result about acceptance or rejection of submitted papers. If your research paper is accepted, the conference will request you to submit the camera ready version of your research paper by the due date. Due date to submit the camera ready version of the paper is generally posted on the official web page of the conferences or notified to you via. email.


Conference Date


MPC 2019: International Conference onMathematics of Program Construction will start on 2019-10-07.

Note: This is the date on which the conference starts.


Conference Location


MPC 2019: International Conference onMathematics of Program Construction will be organized at Porto, Portugal. This is the place where the conference is organized and the research paper is to be presented.