MPC 2019 - Call for Participation

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

MPC 2019 - Call for Participation

Graham Hutton-2
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!

Best wishes,

Graham Hutton



13th International Conference on Mathematics of Program Construction

7-9 October 2019, Porto, Portugal

Co-located with Formal Methods 2019






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


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


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 <[hidden email]>.


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.


José Nuno Oliveira     University of Minho, Portugal

For any queries about local issues please contact the local organiser,
José Nuno Oliveira <[hidden email]>.


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

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.

Haskell mailing list
[hidden email]