From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10602 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Daggitt, Matthew via clean-list" Newsgroups: gmane.comp.lang.clean,gmane.science.mathematics.categories,gmane.comp.lang.haskell.general,gmane.comp.lang.haskell.cafe,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.comp.lang.swi-prolog.general,gmane.comp.lang.caml.inria,gmane.comp.lib.boost.interest,gmane.comp.lang.erlang.general,gmane.comp.ai.prolog.ciao.general Subject: First Call for Papers - MPC 2022 Date: Mon, 8 Nov 2021 15:43:37 +0000 Message-ID: References: Reply-To: "Daggitt, Matthew" Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============3285145830330772610==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7112"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" , "events@fmeurope.org" , "haskell@haskell.org" , "haskell-cafe@haskell.org" , "types@lists.chalmers.se" , "types-list@lists.seas.upenn.edu" , "coq-club@inria.fr" , "agda@lists.chalmers.se" , "spls@dcs.gla.ac.uk" , "stp@macs.hw.ac.uk" , "swi-prolog@googlegroups.com" , "caml-list@inria.fr" , "boost-interest@lists.boost.org" , "erlang-questions@erlang.org" , "lfcs-interest@inf.ed.ac.uk" , Original-X-From: clean-list-bounces@science.ru.nl Mon Nov 08 17:27:14 2021 Return-path: Envelope-to: gclc-clean-list@m.gmane-mx.org Original-Received: from zaaivm.science.ru.nl ([131.174.30.45]) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mk7UH-0001bp-7d for gclc-clean-list@m.gmane-mx.org; Mon, 08 Nov 2021 17:27:13 +0100 Original-Received: from zaaivm.science.ru.nl (localhost [127.0.0.1]) by zaaivm.science.ru.nl (8.15.2/5.32) with ESMTP id 1A8GQnwO014263; Mon, 8 Nov 2021 17:26:49 +0100 Original-Received: from mx3.science.ru.nl (mx3.science.ru.nl [131.174.30.208]) by zaaivm.science.ru.nl (8.15.2/5.32) with ESMTP id 1A8Fhhhi006312 for ; Mon, 8 Nov 2021 16:43:43 +0100 Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (mail-eopbgr110132.outbound.protection.outlook.com [40.107.11.132]) by mx3.science.ru.nl (8.15.2/5.32) with ESMTPS id 1A8Fhg03019279 for ; Mon, 8 Nov 2021 16:43:42 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ZV/6QAtEPq16UnU37OOYKJUDKSRt3PAJFeSOC/Y5ITOBiaYPp5ERsIOL1g12OyBKuoUpMh1ACQfoZnn3l1RmHnjm9X8Qa9NY5UGWCiXHyECK+OjJ/088BdX6LuUXWPUMe6bhIvluhJNbq+2dyhZtwZmQm/Ob6xkCybk8kRs6fR5fKXtrRgxIIbbee18Sh1KwqnEohxOJ9Osz2X0Nmtv9SiTCbvDTQ1emW5kfZwqbsx9jSbo7l2u5dOaaEJa24kdVNyPSDPMuuVZuVilVc1NXaWxzfhrzZaTmNXvaQSeu6kRW2mNzfsWfvNBhhWQakz+Akl9ChbRW2ozPg/ThgT6NTg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=M1fc+m/iehthUYHZZOaSVw3SpE4KtJQpnqst5DHQUxI=; b=FkBTvZLAr4icXPCuQoVT92nQ2d++fy8Xk9Eeg3GatG8y9id30r6+jnzsMGKRCxsN2dykKVOpOSSTspjK10MW1VEVSKSNFcQkkRrqQG+etkoM0fwj/zppvVKcN2y/JeT74XW/B/LicDd/Xf0ShU15cGFj4JPJsB217M3qLn1qyNiryWKGWigcCgqfEhq9OJwP4CMXAuGT1qYq5PnaTxLtWAwpe5gzKZ8gAh3ulWAQpSikR+5/VW9ldvzZXLlq+KJ4HAppz4CUID/yw9xOTPjqjMLNEv3WQFObI5432glxS2nt2YXSXPHGSEwSNx878NeasD3+SRCNFvkII2pdYLRt3A== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=hw.ac.uk; dmarc=pass action=none header.from=hw.ac.uk; dkim=pass header.d=hw.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=heriotwatt.onmicrosoft.com; s=selector2-heriotwatt-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=M1fc+m/iehthUYHZZOaSVw3SpE4KtJQpnqst5DHQUxI=; b=MjT5+tA9/O4zRzQnyLTGdEdE1ZQ1P8cEyI/ihbylFmp3ZjnSDt6o7As6zWlXCb6GoyPNjNc2V1LQr3MUgD3AJF/kNOtRv6027teAS5YEZQ1ilcyimkzlW8NAWNBKVfbyb1ZnFjL8w63sQJKTh5hYOgDrZhz68PlPlPmfOHRefcc= Original-Received: from CWLP265MB0689.GBRP265.PROD.OUTLOOK.COM (2603:10a6:401:16::23) by CWLP265MB2146.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:65::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4669.11; Mon, 8 Nov 2021 15:43:37 +0000 Original-Received: from CWLP265MB0689.GBRP265.PROD.OUTLOOK.COM ([fe80::d02e:aafe:2bac:8168]) by CWLP265MB0689.GBRP265.PROD.OUTLOOK.COM ([fe80::d02e:aafe:2bac:8168%6]) with mapi id 15.20.4669.016; Mon, 8 Nov 2021 15:43:37 +0000 Thread-Topic: First Call for Papers - MPC 2022 Thread-Index: AQHX1LdlAz8CXn4kXkarZvEuiH/TgQ== In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-GB suggested_attachment_session_id: c62cbe1c-cbe4-6cf4-0fe8-867c84acbcd4 authentication-results: mta.ca; dkim=none (message not signed) header.d=none;mta.ca; dmarc=none action=none header.from=hw.ac.uk; x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 3fe96410-52c7-428a-8d95-08d9a2ce87b1 x-ms-traffictypediagnostic: CWLP265MB2146: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: =?iso-8859-1?Q?0kSBSUCcCNRaGu4xef9bzON3GI7z5ZqQhqwV29GnR9IofnGIji3bDFmvbk?= =?iso-8859-1?Q?jPQyPKyIkMGmWgo6+LPwYXWPD/bv1D1dcQMaV65ADRd5h5DsfWTjs0PmT+?= =?iso-8859-1?Q?8OENLioEhf8EBQ3dyR7KMslEJBoS01RSJQ+4tdjo0dvTpUjBgHzdw2Gmgd?= =?iso-8859-1?Q?Z4Dddtd3Xjfd5nbIlURhnyFVn9i+7AUZxcEZy9f+TXQB66HPtZVSxMD0M5?= =?iso-8859-1?Q?K1NOpo2sRPy5n6K1x3ZW+dCF7gvduXSh177vzxYENYT3QNqPu0xIfAdcrp?= =?iso-8859-1?Q?7te38RXv5VxlVIVGTFvsulYPkRcKuQzcrSy6ey7HSueakE1HAgUrWSTAia?= =?iso-8859-1?Q?j7cI42XQq8Np+2RdluR55tbMxQz9JW8msf0vWucgD5g0YMNHUXsDFIWgH2?= =?iso-8859-1?Q?NM0JNWqhrk9TZVL8gJTT4MRFIvmyJFYCUel8ebjmCVf1MD4hePQVeHkWnn?= =?iso-8859-1?Q?2K4GNmgn8LIQIDFYgVGOEr0CVkIaxN7Erktolh7k0TL/l5c0cei/ZnLZjY?= =?iso-8859-1?Q?hOKwO2+6GLLIk6pnkFuH6JOKpgM1Mz6cGzGMUcMx9PNpVxKbcWrHsLpAdS?= =?iso-8859-1?Q?x4sNhG0fBu/e7Ki8igeV/Es+9y0skESgktQwCsQEv0e9yTH3975hgHm6qR?= =?iso-8859-1?Q?boc x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:CWLP265MB0689.GBRP265.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(4636009)(366004)(921005)(5660300002)(508600001)(38070700005)(83380400001)(66574015)(9686003)(966005)(6506007)(7416002)(71200400001)(7366002)(7276002)(7696005)(2940100002)(7406005)(7336002)(186003)(33656002)(8676002)(76116006)(296002)(316002)(786003)(38100700002)(122000001)(64756008)(86362001)(66556008)(1191002)(52536014)(66476007)(66446008)(91956017)(2906002)(166002)(66946007)(55016002)(8936002)(19627405001)(110136005)(225293002); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?v2b1PWIaa2/f4p05JfePRQZGPBmJZvdOmHnfKRvAaCXvXpmtN3yClVPMJg?= =?iso-8859-1?Q?C+CxFJt+svF1QabiJsYmseggqkgDDt7a/jMq9xmAijViqdbK9+ARhgZ/uN?= =?iso-8859-1?Q?EcJ4lHkzJKFf9miKsIa4Qmagx5jedSf1Uyg2JEzPSpNQuc7E525Bqf/k3J?= =?iso-8859-1?Q?rLf2LxESuxmkCQeItIsEoY5SaJX+/p+z/p+eK6EGrpHWTOpUfxmlMCfpvo?= =?iso-8859-1?Q?RNA2rnr9bG5rfTxRg6hV6Vg2bhtwtBC70dDqOjqnOjnl9hmX952YozYkMk?= =?iso-8859-1?Q?h6b12IOjVRgk8PXLGlMvjBZ93DR9Zw6LuY40PyhZwGBF0U8BAwK9lCN2ZK?= =?iso-8859-1?Q?a5jUiqEM4ahNLG6LTNhiKRtxkGRGvYyWx7BmIAfJ4TQPT9YSLYeqOy+TNb?= =?iso-8859-1?Q?8pYVUtyVnO8FEuuW6ke/lzXQWYfBuU40ai4DAG0qPkIcC+M7RJhwmpyM2j?= =?iso-8859-1?Q?C2BI73ImuRpE7jWm553gTeSygANGjK+NqrUJfFj9RZNCi9u1AdYTnnLPj5?= =?iso-8859-1?Q?lxsZ45sZ1aGMQZLev2IRLhII1kti1SBoVzwbxoZLP5oCYXj/p2e9uLA+co?= =?iso-8859-1?Q?XkEKhhdoveGydjo/iqbxSb60NnhWdNhGmgl74whG/K7z0fT/jGg66sqy2x?= =?iso-8859-1?Q? X-OriginatorOrg: hw.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: CWLP265MB0689.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 3fe96410-52c7-428a-8d95-08d9a2ce87b1 X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Nov 2021 15:43:37.1769 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 6c425ff2-6865-42df-a4db-8e6af634813d X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: bAdXG9SYUP3/84AOT9lQ8dJd1tA+MUa6Q4C+XQ+yPr/kdJZjUpJ4QV/cwlsihIji X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWLP265MB2146 X-Scanned-By: mimedefang version 2.83 on 131.174.30.208 (mx3) X-Mailman-Approved-At: Mon, 08 Nov 2021 17:26:47 +0100 X-BeenThere: clean-list@science.ru.nl X-Mailman-Version: 2.1.26 Precedence: list List-Id: Clean Discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: clean-list-bounces@science.ru.nl Original-Sender: "clean-list" Xref: news.gmane.io gmane.comp.lang.clean:3993 gmane.science.mathematics.categories:10602 gmane.comp.lang.haskell.general:22588 gmane.comp.lang.haskell.cafe:131768 gmane.science.mathematics.logic.coq.club:23096 gmane.comp.lang.agda:12788 gmane.comp.lang.swi-prolog.general:25849 gmane.comp.lang.caml.inria:69583 gmane.comp.lib.boost.interest:214 gmane.comp.lang.erlang.general:96082 gmane.comp.ai.prolog.ciao.general:855 Archived-At: --===============3285145830330772610== Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_CWLP265MB06897D1AAB24D2D7CAA6E08AD6919CWLP265MB0689GBRP_" --_000_CWLP265MB06897D1AAB24D2D7CAA6E08AD6919CWLP265MB0689GBRP_ 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 *** FIRST CALL FOR PAPERS -- 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 (CLAS'22) http://viam.science.tsu.ge/clas2022/ =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 TIMELINE: Abstract submission 10th April 2022 Paper submission 17th April 2022 Author notification 27th May 2022 Camera ready copy 24th June 2022 Conference 26th-28th September 2022 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 2022 will be held in Tbilisi, Georgia, on the 26th-28th September 2022, and is co-located with the Computational Logic Autumn Summit (CLAS'22). Previous conferences were held in Porto, Portugal (2019); K=F6nigswinter, Germany (2015); Madrid, Spain (2012); Qu=E9bec 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). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 10th April 2022. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 17th April 2022. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2022 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2022 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Ekaterina Komendantskaya or publicity chair Matthew Daggitt KEYNOTE SPEAKERS: TBA PROGRAMME COMMITTEE: Georg Struth University of Sheffield, UK Ana Sokolova University of Salzburg, Austria Annabelle McIver Macquerie University, Australia Jacques Carette McMaster University, Canada Shin-Cheng Mu Academia Sinica, Taiwan Jose Oliveira University of Minho, Portugal Johan Jeuring Utrecht University, Netherlands Ambrus Kaposi E=F6tv=F6s Lor=E1nd University, Hungary Henning Basold Leiden University, Netherlands Peter Hoefner Australian National University, Australia Grant Passmore Imandra, USA Kathrin Stark Princeton University, USA Philip Saville University of Oxford, UK William Byrd University of Arizona, USA Andrea Costea National University of Singapopre, Singapore Radu Mardare University of Strathclyde, UK Patricia Johann Appalachian State University, USA Aurore Alcolei University of Bologna, Italy Others TBA CONFERENCE VENUE: The conference will be held at the Ivane Javakhishvili Tbilisi State University (TSU), which is the oldest and largest educational and research institution not only in Georgia, but also in the South Caucasus. The venue is located in the city center, with many hotels, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) within walking distance. 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 East. From the airport, the city can be reached by bus or taxi. Another option is to fly to Kutaisi in the west of Georgia, where low budget air companies (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. Further details may be found on the Ministry of Foreign Affairs website. LOCAL ORGANISERS: Besik Dundua International Black Sea University For any queries about local issues please contact the local organiser, Besik Dundua . ________________________________ 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_CWLP265MB06897D1AAB24D2D7CAA6E08AD6919CWLP265MB0689GBRP_ Content-Type: text/html; 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

*** FIRST CALL FOR PAPERS -- MPC 2022 ***

14th International Conference on Mathematics of Program Construction

26th-28th of September 2022, Tbilisi, Georgia

Co-located with the Computational Logic Autumn Summit (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


TIMELINE:

Abstract submission     10th April 2022

Paper submission          17th April 2022

Author notification        27th May 2022

Camera ready copy        24th June 2022

Conference                &nbs= p;     26th-28th September 2022


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 2022 will be held in Tbilisi, Georgia, on the 26th-28th September<= /div>
2022, and is co-located with the Computational Logic Autumn Summit (CLAS'22).

Previous conferences were held in Porto, Portugal (2019);
K=F6nigswinter, Germany (2015); Madrid, Spain (2012);
Qu=E9bec City, Canada (2010); Marseille, France (2008);
Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (20= 02);
Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irse= e,
Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989).


SCOPE:

MPC seeks original papers on mathematical methods and tools put to use=
in program construction. Topics of interest range from algorithmics to=
support for program construction in programming languages and systems.=
Typical areas include type systems, program analysis and transformatio= n,
programming language semantics, security, and program logics. The noti= on
of a 'program' is interpreted broadly, ranging from algorithms to hard= ware.

Theoretical contributions are welcome, provided that their relevance
to program construction is clear. Reports on applications are welcome,=
provided that their mathematical basis is evident. We also encourage
the submission of 'programming pearls' that present elegant and
instructive examples of the mathematics of program construction.


SUBMISSION:

Submission is in two stages. Abstracts (plain text, maximum 250 words)=
must be submitted by 10th April 2022. Full papers (pdf, formatted usin= g
the llncs.sty style file for LaTex) must be submitted by 17th April 20= 22.
There is no prescribed page limit, but authors should strive for brevi= ty.
Both abstracts and papers will be submitted using EasyChair.

Papers must present previously unpublished work, and not be submitted<= /div>
concurrently to any other publication venue. Submissions will be
evaluated by the program committee according to their relevance,
correctness, significance, originality, and clarity. Each submission
should explain its contributions in both general and technical terms,<= /div>
clearly identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. Accepted papers must=
be presented in person at the conference by one of the authors.

The proceedings of MPC 2022 will be published in the Lecture Notes
in Computer Science (LNCS) series, as with all previous instances
of the conference.  Authors of accepted papers will be expected t= o
transfer copyright to Springer for this purpose.

After the conference, authors of the best papers from MPC 2022
will be invited to submit revised versions to a special
issue of Science of Computer Programming (SCP).

For any queries about submission please contact the program chair,
Ekaterina Komendantskaya <ek19@hw.ac.uk> or
publicity chair Matthew Daggitt <M.Daggitt@hw.ac.uk>


KEYNOTE SPEAKERS:

TBA


PROGRAMME COMMITTEE:

Georg Struth                &n= bsp; University of Sheffield, UK

Ana Sokolova                &n= bsp;University of Salzburg, Austria

Annabelle McIver         Macquerie University, Aus= tralia

Jacques Carette            McMaster Univ= ersity, Canada

Shin-Cheng Mu             Academia Sinic= a, Taiwan

Jose Oliveira                &= nbsp; University of Minho, Portugal

Johan Jeuring                U= trecht University, Netherlands

Ambrus Kaposi              E=F6tv= =F6s Lor=E1nd University, Hungary

Henning Basold             Leiden Univer= sity, Netherlands

Peter Hoefner               Au= stralian National University, Australia

Grant Passmore            Imandra, USA

Kathrin Stark                &= nbsp;Princeton University, USA

Philip Saville                =   University of Oxford, UK

William Byrd                &n= bsp;University of Arizona, USA

Andrea Costea             National = University of Singapopre, Singapore

Radu Mardare              Universit= y of Strathclyde, UK

Patricia Johann            Appalachian S= tate University, USA

Aurore Alcolei             University of= Bologna, Italy

Others TBA


CONFERENCE VENUE:

The conference will be held at the Ivane Javakhishvili Tbilisi State
University (TSU), which is the oldest and largest educational and
research institution not only in Georgia, but also in the South Caucas= us.
The venue is located in the city center, with many hotels, pubs,
restaurants, parks, other attractions (zoo, theaters, cinemas, opera, =
etc.) within walking distance.

Tbilisi International Airport is 15 km away from the city and offers
direct connections to more than 30 destinations in Europe, Asia, and t= he
Middle East. From the airport, the city can be reached by bus or taxi.=
Another option is to  fly to Kutaisi in the west of Georgia, wher= e low
budget air companies  (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 wor= ld.
Further details may be found on the Ministry of Foreign Affairs website.
<https://www.geoconsul.gov.ge/HtmlPage/Html/View?id=3D956&lang= =3DEng>


LOCAL ORGANISERS:

Besik Dundua               Internat= ional Black Sea University

For any queries about local issues please contact the local organiser,=
Besik Dundua <bdundua@ibsu.edu.ge>.
Untitled Document

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:

  1. Heriot-Watt University, a Scottish charity registered under number SC000278=
  2. 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.

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.

--_000_CWLP265MB06897D1AAB24D2D7CAA6E08AD6919CWLP265MB0689GBRP_-- --===============3285145830330772610== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo= --===============3285145830330772610==--