[TYPES/announce] MPC 2019 - Call for Participation

[Graham Hutton]

Dear all,

Registration is now open for the Mathematics of Program Construction
(MPC) conference in Portugal.  MPC 2019 will feature 15 research papers
and 4 keynotes, and is co-located with Formal Methods 2019 and many
other events.  See you in Porto!  https://tinyurl.com/MPC-Porto

Best wishes,

Graham Hutton


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

*** CALL FOR PARTICIPATION -- 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

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

PROGRAM:                     https://tinyurl.com/yxvvc5vb

ACCEPTED PAPERS:             https://tinyurl.com/yyuhy8ze

REGISTRATION AND TRAVEL:     https://tinyurl.com/y4uetlsr

KEYNOTE SPEAKERS:

Assia Mahboubi (MPC)         INRIA, France
Annabelle McIver (MPC)	     Macquarie University, Australia
Tony Hoare (UTP)             Oxford University, UK
Shriram Krishnamurthi (FM)   Brown University, USA

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). 

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

For any queries about the program please contact the program chair,
Graham Hutton <graham.hutton at nottingham.ac.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 <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.