<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">======================================================================</span><br>
</div>
<div>
<div dir="ltr">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<div>*** FIRST CALL FOR PAPERS -- MPC 2022 ***</div>
<div><br>
</div>
<div>14th International Conference on <a href="https://www.macs.hw.ac.uk/mpc22/" title="https://www.macs.hw.ac.uk/mpc22/" style="">
Mathematics of Program Construction</a></div>
<div><a href="https://www.macs.hw.ac.uk/mpc22/" id="LPlnk365935">https://www.macs.hw.ac.uk/mpc22/</a><br>
</div>
<div><br>
</div>
<div>26th-28th of September 2022, Tbilisi, Georgia</div>
<div><br>
</div>
<div>Co-located with the <a href="http://viam.science.tsu.ge/clas2022/" title="http://viam.science.tsu.ge/clas2022/">
Computational Logic Autumn Summit</a> (CLAS'22)</div>
<div><a href="http://viam.science.tsu.ge/clas2022/" id="LPlnk599697">http://viam.science.tsu.ge/clas2022/</a><br>
</div>
<div><br>
</div>
<div>======================================================================</div>
<div><br>
</div>
<div><br>
</div>
<div>TIMELINE:</div>
<div><br>
</div>
<div>Abstract submission 10th April 2022</div>
<div><br>
</div>
<div>Paper submission 17th April 2022</div>
<div><br>
</div>
<div>Author notification 27th May 2022</div>
<div><br>
</div>
<div>Camera ready copy 24th June 2022</div>
<div><br>
</div>
<div>Conference 26th-28th September 2022</div>
<div><br>
</div>
<div><br>
</div>
<div>BACKGROUND:</div>
<div><br>
</div>
<div>The International Conference on Mathematics of Program Construction</div>
<div>(MPC) aims to promote the development of mathematical principles and</div>
<div>techniques that are demonstrably practical and effective in the</div>
<div>process of constructing computer programs.</div>
<div><br>
</div>
<div>MPC 2022 will be held in Tbilisi, Georgia, on the 26th-28th September</div>
<div>2022, and is co-located with the <a href="http://viam.science.tsu.ge/clas2022/" title="http://viam.science.tsu.ge/clas2022/">
Computational Logic Autumn Summit</a> (CLAS'22).</div>
<div><br>
</div>
<div>Previous conferences were held in Porto, Portugal (2019); </div>
<div>Königswinter, Germany (2015); Madrid, Spain (2012); </div>
<div>Québec City, Canada (2010); Marseille, France (2008);</div>
<div>Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002);</div>
<div>Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee,</div>
<div>Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989).</div>
<div><br>
</div>
<div><br>
</div>
<div>SCOPE:</div>
<div><br>
</div>
<div>MPC seeks original papers on mathematical methods and tools put to use</div>
<div>in program construction. Topics of interest range from algorithmics to</div>
<div>support for program construction in programming languages and systems.</div>
<div>Typical areas include type systems, program analysis and transformation,</div>
<div>programming language semantics, security, and program logics. The notion</div>
<div>of a 'program' is interpreted broadly, ranging from algorithms to hardware.</div>
<div><br>
</div>
<div>Theoretical contributions are welcome, provided that their relevance</div>
<div>to program construction is clear. Reports on applications are welcome,</div>
<div>provided that their mathematical basis is evident. We also encourage</div>
<div>the submission of 'programming pearls' that present elegant and</div>
<div>instructive examples of the mathematics of program construction.</div>
<div><br>
</div>
<div><br>
</div>
<div>SUBMISSION:</div>
<div><br>
</div>
<div>Submission is in two stages. Abstracts (plain text, maximum 250 words)</div>
<div>must be submitted by 10th April 2022. Full papers (pdf, formatted using</div>
<div>the llncs.sty style file for LaTex) must be submitted by 17th April 2022.</div>
<div>There is no prescribed page limit, but authors should strive for brevity.</div>
<div>Both abstracts and papers will be submitted using EasyChair.</div>
<div><br>
</div>
<div>Papers must present previously unpublished work, and not be submitted</div>
<div>concurrently to any other publication venue. Submissions will be</div>
<div>evaluated by the program committee according to their relevance,</div>
<div>correctness, significance, originality, and clarity. Each submission</div>
<div>should explain its contributions in both general and technical terms,</div>
<div>clearly identifying what has been accomplished, explaining why it is</div>
<div>significant, and comparing it with previous work. Accepted papers must</div>
<div>be presented in person at the conference by one of the authors.</div>
<div><br>
</div>
<div>The proceedings of MPC 2022 will be published in the Lecture Notes</div>
<div>in Computer Science (LNCS) series, as with all previous instances</div>
<div>of the conference. Authors of accepted papers will be expected to</div>
<div>transfer copyright to Springer for this purpose.</div>
<div><br>
</div>
<div>After the conference, authors of the best papers from MPC 2022 </div>
<div>will be invited to submit revised versions to a special</div>
<div>issue of Science of Computer Programming (SCP).</div>
<div><br>
</div>
<div>For any queries about submission please contact the program chair,</div>
<div>Ekaterina Komendantskaya <ek19@hw.ac.uk> or </div>
<div>publicity chair Matthew Daggitt <M.Daggitt@hw.ac.uk></div>
<div><br>
</div>
<div><br>
</div>
<div>KEYNOTE SPEAKERS:</div>
<div><br>
</div>
<div>TBA</div>
<div><br>
</div>
<div><br>
</div>
<div>PROGRAMME COMMITTEE:</div>
<div><br>
</div>
<div>Georg Struth University of Sheffield, UK</div>
<div><br>
</div>
<div>Ana Sokolova University of Salzburg, Austria</div>
<div><br>
</div>
<div>Annabelle McIver Macquerie University, Australia</div>
<div><br>
</div>
<div>Jacques Carette McMaster University, Canada</div>
<div><br>
</div>
<div>Shin-Cheng Mu Academia Sinica, Taiwan</div>
<div><br>
</div>
<div>Jose Oliveira University of Minho, Portugal</div>
<div><br>
</div>
<div>Johan Jeuring Utrecht University, Netherlands</div>
<div><br>
</div>
<div>Ambrus Kaposi Eötvös Loránd University, Hungary</div>
<div><br>
</div>
<div>Henning Basold Leiden University, Netherlands</div>
<div><br>
</div>
<div>Peter Hoefner Australian National University, Australia</div>
<div><br>
</div>
<div>Grant Passmore Imandra, USA</div>
<div><br>
</div>
<div>Kathrin Stark Princeton University, USA</div>
<div><br>
</div>
<div>Philip Saville University of Oxford, UK</div>
<div><br>
</div>
<div>William Byrd University of Arizona, USA</div>
<div><br>
</div>
<div>Andrea Costea National University of Singapopre, Singapore</div>
<div><br>
</div>
<div>Radu Mardare University of Strathclyde, UK</div>
<div><br>
</div>
<div>Patricia Johann Appalachian State University, USA</div>
<div><br>
</div>
<div>Aurore Alcolei University of Bologna, Italy</div>
<div><br>
</div>
<div>Others TBA</div>
<div><br>
</div>
<div><br>
</div>
<div>CONFERENCE VENUE:</div>
<div><br>
</div>
<div>The conference will be held at the Ivane Javakhishvili Tbilisi State</div>
<div>University (TSU), which is the oldest and largest educational and </div>
<div>research institution not only in Georgia, but also in the South Caucasus. </div>
<div>The venue is located in the city center, with many hotels, pubs, </div>
<div>restaurants, parks, other attractions (zoo, theaters, cinemas, opera, </div>
<div>etc.) within walking distance.</div>
<div><br>
</div>
<div>Tbilisi International Airport is 15 km away from the city and offers</div>
<div>direct connections to more than 30 destinations in Europe, Asia, and the </div>
<div>Middle East. From the airport, the city can be reached by bus or taxi. </div>
<div>Another option is to fly to Kutaisi in the west of Georgia, where low </div>
<div>budget air companies (such as WizzAir) are operating. A shuttle bus from</div>
<div>the Kutaisi airport to Tbilisi takes about 3 hours.</div>
<div><br>
</div>
<div>Georgia allows visa-free entry for nearly 100 countries around the world.</div>
<div>Further details may be found on the Ministry of Foreign Affairs <a href="https://www.geoconsul.gov.ge/HtmlPage/Html/View?id=956&lang=Eng" title="https://www.geoconsul.gov.ge/HtmlPage/Html/View?id=956&lang=Eng">
website</a>.</div>
<div><https://www.geoconsul.gov.ge/HtmlPage/Html/View?id=956&lang=Eng></div>
<div><br>
</div>
<div><br>
</div>
<div>LOCAL ORGANISERS:</div>
<div><br>
</div>
<div>Besik Dundua International Black Sea University</div>
<div><br>
</div>
<div>For any queries about local issues please contact the local organiser,</div>
<span>Besik Dundua <bdundua@ibsu.edu.ge>.</span><br>
</div>
</div>
</div>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<title>Untitled Document</title>
<div align="center">
<hr size="2" width="100%" align="center">
</div>
<p style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;margin:0;">
Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences.
This email is generated from the Heriot-Watt University Group, which includes:</p>
<ol style="margin:0;">
<li style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;">
Heriot-Watt University, a Scottish charity registered under number SC000278</li><li style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;">
Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services
Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.</li></ol>
<p style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;margin:0;">
The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then
delete it (including any attachments) from your system.</p>
</body>
</html>