[Haskell-cafe] MPC 2019 - Call for Participation
Graham Hutton
Graham.Hutton at nottingham.ac.uk
Mon Aug 19 09:52:56 UTC 2019
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
Program Chair, MPC 2019
======================================================================
*** 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.
More information about the Haskell-Cafe
mailing list