Call for Participation -- Mathematics of Program Construction 2022
"Daggitt, Matthew" via Users list for the GNU implementation of Prolog <[email protected]> Tue, 26 Jul 2022 15:38:14 +0000
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <LO2P265MB083254FADD37254453E1F8BBD6949@LO2P265MB0832.GBRP265.PROD.OUTLOOK.COM> |
--_000_LO2P265MB083254FADD37254453E1F8BBD6949LO2P265MB0832GBRP_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *** CALL FOR PARTICIPATION -- MPC 2022 *** 14th International Conference on Mathematics of Program Construction<https:= //www.macs.hw.ac.uk/mpc22/> 26th-28th of September 2022, Tbilisi, Georgia Co-located with the Computational Logic Autumn Summit<http://viam.science.t= su.ge/clas2022/> (CLAS'22) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) a= ims to promote the development of mathematical principles and techniques th= at are demonstrably practical and effective in the process of constructing = computer programs. MPC 2022 will be held in Tbilisi, Georgia, on the 26th-28th September 2022,= and is co-located with the Computational Logic Autumn Summit<http://viam.s= cience.tsu.ge/clas2022/> (CLAS'22). There will be a wide range of other co= nferences and workshops co-located with MPC, including CICM, PPDP and RV. KEYNOTE SPEAKERS: Daniela Petrisan University Paris Diderot, France Conor McBride University of Strathclyde, UK ACCEPTED PAPERS: The program can be found here<https://www.macs.hw.ac.uk/mpc22/index.php/pro= gram/>. CONFERENCE VENUE: The conference will be held at the Ivane Javakhishvili Tbilisi State Univer= sity (TSU), which is the oldest and largest educational and research instit= ution not only in Georgia, but also in the South Caucasus. The venue is loc= ated in the city center, with many hotels, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.)= within walking distance. Social events as part of CLAS include a wine tour in Katheti. Georgia is on= e of the oldest wine-making countries in the world and Kakheti is a region = where wine making has a long tradition. Tbilisi International Airport is 15 km away from the city and offers direct= connections to more than 30 destinations in Europe, Asia, and the Middle E= ast. From the airport, the city can be reached by bus or taxi. Another opti= on is to fly to Kutaisi in the west of Georgia, where low budget air compa= nies (such as WizzAir) are operating. A shuttle bus from the Kutaisi airport to Tbilisi takes about 3 hours. Georgia allows visa-free entry for nearly 100 countries around the world. F= urther details may be found at the website of the Georgian government<https= ://www.geoconsul.gov.ge/HtmlPage/Html/View?id=3D956&lang=3DEng>. LOCAL ORGANISERS: Besik Dundua International Black Sea University For any queries about local issues please contact the local organiser, Besi= k Dundua <[email protected]>. ________________________________ Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campu= ses and students across the entire globe we span the world, delivering inno= vation 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: 1. Heriot-Watt University, a Scottish charity registered under number SC= 000278 2. Heriot- Watt Services Limited (Oriam), Scotland's national performanc= e centre for sport. Heriot-Watt Services Limited is a private limited compa= ny registered is Scotland with registered number SC271030 and registered of= fice at Research & Enterprise Services Heriot-Watt University, Riccarton, E= dinburgh, EH14 4AS. The contents (including any attachments) are confidential. If you are not t= he intended recipient of this e-mail, any disclosure, copying, distribution= or use of its contents is strictly prohibited, and you should please notif= y the sender immediately and then delete it (including any attachments) fro= m your system. --_000_LO2P265MB083254FADD37254453E1F8BBD6949LO2P265MB0832GBRP_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-= 1"> <style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo= ttom:0;} </style> </head> <body dir=3D"ltr"> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"font-size:12pt;margin:0px;color:black;background-color:white= "><span style=3D"margin:0px">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D</span></span><span style=3D"margin:0px;background-color:whi= te"></span><span style=3D"background-color:rgb(255, 255, 255);display:inlin= e !important"></span> <div style=3D"font-size:15px;margin:0px;color:rgb(32, 31, 30);background-co= lor:white"> <div dir=3D"ltr" style=3D"margin:0px"> <div style=3D"font-size:12pt;margin:0px;color:black"><br> </div> <div style=3D"font-size:12pt;margin:0px;color:black"> <div style=3D"margin:0px">*** CALL FOR PARTICIPATION --<span style=3D"margi= n:0px"> </span><span style=3D"margin:0px"><span style=3D"margin:0px">M= PC</span></span><span style=3D"margin:0px"> </span>2022 ***</div> <div style=3D"margin:0px"><br> </div> <div style=3D"margin:0px">14th International Conference on<span style=3D"ma= rgin:0px"> </span><a href=3D"https://www.macs.hw.ac.uk/mpc22/" target= =3D"_blank" rel=3D"noopener noreferrer" data-auth=3D"NotApplicable" title= =3D"https://www.macs.hw.ac.uk/mpc22/" data-linkindex=3D"0" style=3D"margin:= 0px">Mathematics of Program Construction</a></div> <div style=3D"margin:0px"><br> </div> <div style=3D"margin:0px">26th-28th of September 2022, Tbilisi, Georgia</di= v> <div style=3D"margin:0px"><br> </div> <div style=3D"margin:0px">Co-located with the<span style=3D"margin:0px">&nb= sp;</span><a href=3D"http://viam.science.tsu.ge/clas2022/" target=3D"_blank= " rel=3D"noopener noreferrer" data-auth=3D"NotApplicable" title=3D"http://v= iam.science.tsu.ge/clas2022/" data-linkindex=3D"1" style=3D"margin:0px">Com= putational Logic Autumn Summit</a><span style=3D"margin:0px"> </span>(CLAS'22)</= div> <div style=3D"margin:0px"><br> </div> <div style=3D"margin:0px">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D</div> </div> </div> </div> <br> </div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"margin:0px;background-color:rgb(255, 255, 255)">BACKGROUND:<= /span> <div style=3D"margin:0px;background-color:rgb(255, 255, 255)"><br> </div> <div style=3D"margin:0px;background-color:rgb(255, 255, 255)">The Internati= onal Conference on Mathematics of Program Construction (MPC) aims to promot= e the development of mathematical principles and techniques that are demons= trably practical and effective in the process of constructing computer programs.</div> <div style=3D"margin:0px;background-color:rgb(255, 255, 255)"><br> </div> <div style=3D"margin:0px;background-color:rgb(255, 255, 255)"><span style= =3D"margin:0px"><span style=3D"margin:0px">MPC</span></span><span style=3D"= margin:0px"> </span>2022 will be held in Tbilisi, Georgia, on the 26th= -28th September 2022, and is co-located with the <a href=3D"http://via= m.science.tsu.ge/clas2022/" target=3D"_blank" rel=3D"noopener noreferrer" d= ata-auth=3D"NotApplicable" title=3D"http://viam.science.tsu.ge/clas2022/" d= ata-linkindex=3D"2">Computational Logic Autumn Summit</a> (CLAS'22). There will be a wide range o= f other conferences and workshops co-located with MPC, including CICM, PPDP= and RV.</div> </div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"margin:0px;background-color:rgb(255, 255, 255)"><br> </span></div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"margin:0px;background-color:rgb(255, 255, 255)"><span style= =3D"margin:0px;background-color:rgb(255, 255, 255)">KEYNOTE SPEAKERS:</span= ></span></div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"margin:0px;background-color:rgb(255, 255, 255)"> <div style=3D"margin:0px;background-color:rgb(255, 255, 255)"><br> </div> <div style=3D"margin:0px;background-color:rgb(255, 255, 255)"><span style= =3D"font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slac= k-Lato, appleLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;t= ext-align:left;background-color:white !important">Daniela Petrisan University Paris Diderot, France= </span></div> <div style=3D"margin:0px;background-color:rgb(255, 255, 255)"><span style= =3D"font-variant-ligatures:common-ligatures;font-size:15px;font-family:Slac= k-Lato, appleLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;t= ext-align:left;background-color:white !important"><br> </span></div> </span></div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"margin:0px;background-color:rgb(255, 255, 255)"><span style= =3D"margin:0px;background-color:rgb(255, 255, 255)"><span style=3D"font-var= iant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appl= eLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;text-align:le= ft;background-color:white !important">Conor McBride University of Strathclyde,= UK</span></span><br> </span></div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <br> </div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"background-color:rgb(255, 255, 255);display:inline !importan= t">ACCEPTED PAPERS:</span><br> </div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"background-color:rgb(255, 255, 255);display:inline !importan= t"><br> </span></div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"background-color:rgb(255, 255, 255);display:inline !importan= t">The program can be found <a href=3D"https://www.macs.hw.ac.uk/mpc22/index.php/program/" title=3D"htt= ps://www.macs.hw.ac.uk/mpc22/index.php/program/"> here</a>.</span></div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"background-color:rgb(255, 255, 255);display:inline !importan= t"><br> </span></div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"margin:0px;background-color:rgb(255, 255, 255)"><span style= =3D"margin:0px;background-color:rgb(255, 255, 255)"><span style=3D"font-var= iant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appl= eLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;text-align:le= ft;background-color:white !important"><span style=3D"font-size:16px;font-fa= mily:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);te= xt-align:start;background-color:rgb(255, 255, 255)">CONFERENCE VENUE:</span> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255= , 255, 255)"> <br> </div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;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=3D"color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, = sans-serif; font-size: 16px;">University (TSU), which is the oldest and lar= gest educational and </span><span style=3D"color: rgb(0, 0, 0); font-f= amily: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">research institution not only in Georgia, but also in the South Caucasus. </sp= an><span style=3D"color: rgb(0, 0, 0); font-family: Calibri, Arial, Helveti= ca, sans-serif; font-size: 16px;">The venue is located in the city center, = with many hotels, pubs,</span></div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;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=3D"color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica,= sans-serif; font-size: 16px;">etc.) within walking distance.</span></div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255= , 255, 255)"> <br class=3D"Apple-interchange-newline"> <span style=3D"font-variant-ligatures:common-ligatures;background-color:rgb= (255, 255, 255);display:inline !important">Social events as part of CLAS in= clude 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=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255= , 255, 255)"> <span style=3D"font-variant-ligatures:common-ligatures;background-color:rgb= (255, 255, 255);display:inline !important"><br> </span></div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;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=3D"color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, = sans-serif; font-size: 16px;">direct connections to more than 30 destinatio= ns in Europe, Asia, and the </span><span style=3D"color: rgb(0, 0, 0);= font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px;">Midd= le East. From the airport, the city can be reached by bus or taxi. </spa= n><span style=3D"color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetic= a, sans-serif; font-size: 16px;">Another option is to fly to Kutaisi = in the west of Georgia, where low </span><span style=3D"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</s= pan></div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;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=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255= , 255, 255)"> <br> </div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;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.&n= bsp;<span style=3D"color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvet= ica, sans-serif; font-size: 16px;">Further details may be found at the </span><a href=3D"https://www.geoconsul.gov.ge/HtmlPage/Html/View?id=3D956&= amp;lang=3DEng" title=3D"https://www.geoconsul.gov.ge/HtmlPage/Html/View?id= =3D956&lang=3DEng" style=3D"font-family: Calibri, Arial, Helvetica, san= s-serif; font-size: 16px;">website of the Georgian government</a><span styl= e=3D"color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-seri= f; font-size: 16px;">.</span></div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255= , 255, 255)"> <br> </div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255= , 255, 255)"> LOCAL ORGANISERS:</div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255= , 255, 255)"> <br> </div> <div style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;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=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, sans-se= rif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:rgb(255= , 255, 255)"> <br> </div> </span></span></span></div> <div style=3D"font-family: Calibri, Arial, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof"> <span style=3D"margin:0px;background-color:rgb(255, 255, 255)"><span style= =3D"margin:0px;background-color:rgb(255, 255, 255)"><span style=3D"font-var= iant-ligatures:common-ligatures;font-size:15px;font-family:Slack-Lato, appl= eLogo, sans-serif;margin:0px;color:rgb(29, 28, 29) !important;text-align:le= ft;background-color:white !important"><span style=3D"font-size:16px;font-fa= mily:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:rgb(0, 0, 0);te= xt-align:start;background-color:rgb(255, 255, 255)">For any queries about local issues please contact the local organiser, </= span><span style=3D"font-size:16px;font-family:Calibri, Arial, Helvetica, s= ans-serif;margin:0px;color:rgb(0, 0, 0);text-align:start;background-color:r= gb(255, 255, 255)">Besik Dundua <[email protected]>.</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=3D"center"> <hr size=3D"2" width=3D"100%" align=3D"center"> </div> <p style=3D"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 campu= ses and students across the entire globe we span the world, delivering inno= vation 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 inclu= des:</p> <ol style=3D"margin:0;"> <li style=3D"font-family: Arial, Helvetica Neue, Helvetica, sans-serif; fon= t-size: 8pt;"> Heriot-Watt University, a Scottish charity registered under number SC000278= </li><li style=3D"font-family: Arial, Helvetica Neue, Helvetica, sans-serif= ; font-size: 8pt;"> Heriot- Watt Services Limited (Oriam), Scotland's national performance cent= re for sport. Heriot-Watt Services Limited is a private limited company reg= istered is Scotland with registered number SC271030 and registered office a= t Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.</li></ol> <p style=3D"font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font= -size: 8pt;margin:0;"> The contents (including any attachments) are confidential. If you are not t= he intended recipient of this e-mail, any disclosure, copying, distribution= or use of its contents is strictly prohibited, and you should please notif= y the sender immediately and then delete it (including any attachments) from your system.</p> </body> </html> --_000_LO2P265MB083254FADD37254453E1F8BBD6949LO2P265MB0832GBRP_--