<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);" class="elementToProof">
<span style="font-size:12pt;margin:0px;color:black;background-color:white"><span style="margin:0px">======================================================================</span></span><span style="margin:0px;background-color:white"></span><span style="background-color:rgb(255, 255, 255);display:inline !important"></span>
<div style="font-size:15px;margin:0px;color:rgb(32, 31, 30);background-color:white">
<div dir="ltr" style="margin:0px">
<div style="font-size:12pt;margin:0px;color:black"><br>
</div>
<div style="font-size:12pt;margin:0px;color:black">
<div style="margin:0px">*** CALL FOR PARTICIPATION --<span style="margin:0px"> </span><span style="margin:0px"><span 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>
</div>
</div>
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="margin:0px;background-color:rgb(255, 255, 255)">BACKGROUND:</span>
<div style="margin:0px;background-color:rgb(255, 255, 255)"><br>
</div>
<div style="margin:0px;background-color:rgb(255, 255, 255)">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.</div>
<div style="margin:0px;background-color:rgb(255, 255, 255)"><br>
</div>
<div style="margin:0px;background-color:rgb(255, 255, 255)"><span style="margin:0px"><span style="margin:0px">MPC</span></span><span style="margin:0px"> </span>2022 will be held in Tbilisi, Georgia, on the 26th-28th September 2022, and is co-located with the <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">Computational
Logic Autumn Summit</a> (CLAS'22). There will be a wide range of other conferences and workshops co-located with MPC, including CICM, PPDP and RV.</div>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="margin:0px;background-color:rgb(255, 255, 255)"><br>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="margin:0px;background-color:rgb(255, 255, 255)"><span style="margin:0px;background-color:rgb(255, 255, 255)">KEYNOTE SPEAKERS:</span></span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="margin:0px;background-color:rgb(255, 255, 255)">
<div style="margin:0px;background-color:rgb(255, 255, 255)"><br>
</div>
<div style="margin:0px;background-color:rgb(255, 255, 255)"><span style="font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appleLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;text-align:left;background-color:white !important">Daniela
Petrisan University Paris Diderot, France</span></div>
<div style="margin:0px;background-color:rgb(255, 255, 255)"><span style="font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appleLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;text-align:left;background-color:white !important"><br>
</span></div>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="margin:0px;background-color:rgb(255, 255, 255)"><span style="margin:0px;background-color:rgb(255, 255, 255)"><span style="font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appleLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;text-align:left;background-color:white !important">Conor
McBride University of Strathclyde, UK</span></span><br>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="background-color:rgb(255, 255, 255);display:inline !important">ACCEPTED PAPERS:</span><br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="background-color:rgb(255, 255, 255);display:inline !important"><br>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="background-color:rgb(255, 255, 255);display:inline !important">The program can be found
<a href="https://www.macs.hw.ac.uk/mpc22/index.php/program/" title="https://www.macs.hw.ac.uk/mpc22/index.php/program/">
here</a>.</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="background-color:rgb(255, 255, 255);display:inline !important"><br>
</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="margin:0px;background-color:rgb(255, 255, 255)"><span style="margin:0px;background-color:rgb(255, 255, 255)"><span style="font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appleLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;text-align:left;background-color:white !important"><span style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">CONFERENCE
VENUE:</span>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
<br>
</div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
The conference will be held at the Ivane Javakhishvili Tbilisi State <span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">University (TSU), which is the oldest and largest educational and </span><span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">research
institution not only in Georgia, but also in the South Caucasus. </span><span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">The venue is located in the city center, with many hotels, pubs,</span></div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
restaurants, parks, other attractions (zoo, theaters, cinemas, opera, <span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">etc.) within walking distance.</span></div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
<br class="Apple-interchange-newline">
<span style="font-variant-ligatures:common-ligatures;background-color:rgb(255, 255, 255);display:inline !important">Social events as part of CLAS include a wine tour in Katheti. Georgia is one of the oldest wine-making countries in the world and Kakheti is
a region where wine making has a long tradition.</span><br>
</div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
<span style="font-variant-ligatures:common-ligatures;background-color:rgb(255, 255, 255);display:inline !important"><br>
</span></div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
Tbilisi International Airport is 15 km away from the city and offers <span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">direct connections to more than 30 destinations in Europe, Asia, and the </span><span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">Middle
East. From the airport, the city can be reached by bus or taxi. </span><span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">Another option is to fly to Kutaisi in the west of Georgia, where low </span><span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">budget
air companies (such as WizzAir) are operating. A shuttle bus from</span></div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
the Kutaisi airport to Tbilisi takes about 3 hours.</div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
<br>
</div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
Georgia allows visa-free entry for nearly 100 countries around the world. <span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">Further details may be found at the
</span><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" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">website of the Georgian government</a><span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">.</span></div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
<br>
</div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
LOCAL ORGANISERS:</div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
<br>
</div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
Besik Dundua International Black Sea University</div>
<div style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">
<br>
</div>
</span></span></span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="margin:0px;background-color:rgb(255, 255, 255)"><span style="margin:0px;background-color:rgb(255, 255, 255)"><span style="font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appleLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;text-align:left;background-color:white !important"><span style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">For
any queries about local issues please contact the local organiser, </span><span style="font-size:16px;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255, 255, 255)">Besik Dundua <bdundua@ibsu.edu.ge>.</span><br>
</span></span></span></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>