<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="margin:0px;font-size:12pt;color:black;background-color:white"><span style="margin:0px">======================================================================</span></span><span style="background-color:rgb(255, 255, 255);display:inline !important"></span>
<div style="margin:0px;font-size:15px;color:rgb(32, 31, 30);background-color:white">
<div dir="ltr" style="margin:0px">
<div style="margin:0px;font-size:12pt;color:black"><br>
</div>
<div style="margin:0px;font-size:12pt;color:black">
<div style="margin:0px">*** FINAL CALL FOR PAPERS --<span style="margin:0px"> </span><span style="margin:0px"><span data-markjs="true" class="markqcp2wctz7" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="" style="margin:0px">MPC</span></span><span style="margin:0px"> </span>2022
 ***</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">14th International Conference on<span style="margin:0px"> </span><a href="https://www.macs.hw.ac.uk/mpc22/" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" title="https://www.macs.hw.ac.uk/mpc22/" data-linkindex="0" style="margin:0px">Mathematics
 of Program Construction</a></div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">26th-28th of September 2022, Tbilisi, Georgia</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Co-located with the<span style="margin:0px"> </span><a href="http://viam.science.tsu.ge/clas2022/" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" title="http://viam.science.tsu.ge/clas2022/" data-linkindex="1" style="margin:0px">Computational
 Logic Autumn Summit</a><span style="margin:0px"> </span>(CLAS'22)</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">======================================================================</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">TIMELINE:</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Abstract submission     10th April 2022</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Paper submission          17th April 2022</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Author notification        27th May 2022</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Camera ready copy        24th June 2022</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Conference                      26th-28th September 2022</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">BACKGROUND:</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">The International Conference on Mathematics of Program Construction</div>
<div style="margin:0px">(<span style="margin:0px"><span data-markjs="true" class="markqcp2wctz7" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="" style="margin:0px">MPC</span></span>) aims to promote the development of mathematical principles and</div>
<div style="margin:0px">techniques that are demonstrably practical and effective in the</div>
<div style="margin:0px">process of constructing computer programs.</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><span style="margin:0px"><span data-markjs="true" class="markqcp2wctz7" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="" style="margin:0px">MPC</span></span><span style="margin:0px"> </span>2022 will be held in Tbilisi, Georgia, on
 the 26th-28th September</div>
<div style="margin:0px">2022, and is co-located with the<span style="margin:0px"> </span><a href="http://viam.science.tsu.ge/clas2022/" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" title="http://viam.science.tsu.ge/clas2022/" data-linkindex="2" style="margin:0px">Computational
 Logic Autumn Summit</a><span style="margin:0px"> </span>(CLAS'22).</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Previous conferences were held in Porto, Portugal (2019);</div>
<div style="margin:0px">Königswinter, Germany (2015); Madrid, Spain (2012);</div>
<div style="margin:0px">Québec City, Canada (2010); Marseille, France (2008);</div>
<div style="margin:0px">Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002);</div>
<div style="margin:0px">Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee,</div>
<div style="margin:0px">Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989).</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">SCOPE:</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><span style="margin:0px"><span data-markjs="true" class="markqcp2wctz7" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="" style="margin:0px">MPC</span></span><span style="margin:0px"> </span>seeks original papers on mathematical methods
 and tools put to use</div>
<div style="margin:0px">in program construction. Topics of interest range from algorithmics to</div>
<div style="margin:0px">support for program construction in programming languages and systems.</div>
<div style="margin:0px">Typical areas include type systems, program analysis and transformation,</div>
<div style="margin:0px">programming language semantics, security, and program logics. The notion</div>
<div style="margin:0px">of a 'program' is interpreted broadly, ranging from algorithms to hardware.</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Theoretical contributions are welcome, provided that their relevance</div>
<div style="margin:0px">to program construction is clear. Reports on applications are welcome,</div>
<div style="margin:0px">provided that their mathematical basis is evident. We also encourage</div>
<div style="margin:0px">the submission of 'programming pearls' that present elegant and</div>
<div style="margin:0px">instructive examples of the mathematics of program construction.</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">SUBMISSION:</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Submission is in two stages. Abstracts (plain text, maximum 250 words)</div>
<div style="margin:0px">must be submitted by 10th April 2022. Full papers (pdf, formatted using</div>
<div style="margin:0px">the llncs.sty style file for LaTex) must be submitted by 17th April 2022.</div>
<div style="margin:0px">There is no prescribed page limit, but authors should strive for brevity.</div>
<div style="margin:0px">Both abstracts and papers will be submitted using EasyChair.</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Papers must present previously unpublished work, and not be submitted</div>
<div style="margin:0px">concurrently to any other publication venue. Submissions will be</div>
<div style="margin:0px">evaluated by the program committee according to their relevance,</div>
<div style="margin:0px">correctness, significance, originality, and clarity. Each submission</div>
<div style="margin:0px">should explain its contributions in both general and technical terms,</div>
<div style="margin:0px">clearly identifying what has been accomplished, explaining why it is</div>
<div style="margin:0px">significant, and comparing it with previous work. Accepted papers must</div>
<div style="margin:0px">be presented in person at the conference by one of the authors.</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">The proceedings of<span style="margin:0px"> </span><span style="margin:0px"><span data-markjs="true" class="markqcp2wctz7" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="" style="margin:0px">MPC</span></span><span style="margin:0px"> </span>2022
 will be published in the Lecture Notes</div>
<div style="margin:0px">in Computer Science (LNCS) series, as with all previous instances</div>
<div style="margin:0px">of the conference.  Authors of accepted papers will be expected to</div>
<div style="margin:0px">transfer copyright to Springer for this purpose.</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">After the conference, authors of the best papers from<span style="margin:0px"> </span><span style="margin:0px"><span data-markjs="true" class="markqcp2wctz7" data-ogac="" data-ogab="" data-ogsc="" data-ogsb="" style="margin:0px">MPC</span></span><span style="margin:0px"> </span>2022</div>
<div style="margin:0px">will be invited to submit revised versions to a special</div>
<div style="margin:0px">issue of Science of Computer Programming (SCP).</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">For any queries about submission please contact the program chair,</div>
<div style="margin:0px">Ekaterina Komendantskaya <ek19@hw.ac.uk> or</div>
<div style="margin:0px">publicity chair Matthew Daggitt <M.Daggitt@hw.ac.uk></div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">KEYNOTE SPEAKERS:</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><span style="margin:0px;font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appleLogo, sans-serif;color:rgb(29, 28, 29);text-align:left;background-color:white">Daniela Petrisan         University Paris Diderot,
 France</span></div>
<div style="margin:0px"><span style="margin:0px;font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appleLogo, sans-serif;color:rgb(29, 28, 29);text-align:left;background-color:white"><br>
</span></div>
<div style="margin:0px"><span style="margin:0px;font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appleLogo, sans-serif;color:rgb(29, 28, 29);text-align:left;background-color:white">Conor McBride           University of Strathclyde,
 UK</span></div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">PROGRAMME COMMITTEE:</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Georg Struth                  University of Sheffield, UK</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Ana Sokolova                 University of Salzburg, Austria</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Annabelle McIver         Macquerie University, Australia</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Jacques Carette            McMaster University, Canada</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Shin-Cheng Mu             Academia Sinica, Taiwan</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Jose Oliveira                  University of Minho, Portugal</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Johan Jeuring                Utrecht University, Netherlands</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Ambrus Kaposi              Eötvös Loránd University, Hungary</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Henning Basold             Leiden University, Netherlands</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Peter Hoefner               Australian National University, Australia</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Grant Passmore            Imandra, USA</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Kathrin Stark                 Princeton University, USA</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Philip Saville                  University of Oxford, UK</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">William Byrd                 University of Arizona, USA</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Andrea Costea             National University of Singapore, Singapore</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Radu Mardare              University of Strathclyde, UK</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Patricia Johann            Appalachian State University, USA</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Aurore Alcolei             University of Bologna, Italy</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><span style="margin:0px;background-color:white">Abdulaziz </span>Mohammad      TU Munich, Germany<br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">CONFERENCE VENUE:</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">The conference will be held at the Ivane Javakhishvili Tbilisi State</div>
<div style="margin:0px">University (TSU), which is the oldest and largest educational and</div>
<div style="margin:0px">research institution not only in Georgia, but also in the South Caucasus.</div>
<div style="margin:0px">The venue is located in the city center, with many hotels, pubs,</div>
<div style="margin:0px">restaurants, parks, other attractions (zoo, theaters, cinemas, opera,</div>
<div style="margin:0px">etc.) within walking distance.</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Tbilisi International Airport is 15 km away from the city and offers</div>
<div style="margin:0px">direct connections to more than 30 destinations in Europe, Asia, and the</div>
<div style="margin:0px">Middle East. From the airport, the city can be reached by bus or taxi.</div>
<div style="margin:0px">Another option is to  fly to Kutaisi in the west of Georgia, where low</div>
<div style="margin:0px">budget air companies  (such as WizzAir) are operating. A shuttle bus from</div>
<div style="margin:0px">the Kutaisi airport to Tbilisi takes about 3 hours.</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Georgia allows visa-free entry for nearly 100 countries around the world.</div>
<div style="margin:0px">Further details may be found at</div>
<div style="margin:0px"><https://www.geoconsul.gov.ge/HtmlPage/Html/View?id=956&lang=Eng></div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">LOCAL ORGANISERS:</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">Besik Dundua               International Black Sea University</div>
<div style="margin:0px"><br>
</div>
<div style="margin:0px">For any queries about local issues please contact the local organiser,</div>
<span style="margin:0px">Besik Dundua <bdundua@ibsu.edu.ge>.</span></div>
</div>
</div>
<br>
</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>