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

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




_______________________________________________
Haskell mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell