[TYPES/announce] Second call for papers, MPC 2019, Portugal

Graham Hutton Graham.Hutton at nottingham.ac.uk
Tue Mar 5 05:09:37 EST 2019


Dear all,

The next Mathematics of Program Construction (MPC) conference will
be held in Portugal in October 2019, co-located with the Symposium
on Formal Methods (FM).  Paper submission is 3rd May 2019.

Please share, and submit your best papers!

Best wishes,

Graham Hutton
Program Chair, MPC 2019


======================================================================

*** SECOND CALL FOR PAPERS -- MPC 2019 ***

13th International Conference on Mathematics of Program Construction 

7-9 October 2019, Porto, Portugal

Co-located with Formal Methods 2019

https://tinyurl.com/MPC-Porto

======================================================================

TIMELINE:

Abstract submission     26th April 2019
Paper submission        3rd May 2019
Author notification     14th June 2019
Camera ready copy       12th July 2019
Conference              7-9 October 2019

KEYNOTE SPEAKERS:

Assia Mahboubi		INRIA, France
Annabelle McIver	Macquarie University, Australia

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 <graham.hutton at nottingham.ac.uk>.

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		   National Institute of Informatics, Japan
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

CONFERENE 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 ORGANISERS:

José Nuno Oliveira	   University of Minho, Portugal

For any queries about local issues please contact the local organiser,
José Nuno Oliveira <jno at di.uminho.pt>.

======================================================================


This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.






More information about the Types-announce mailing list