[Om-announce] Call for Participation -- Mathematics of Program Construction 2022

Daggitt, Matthew M.Daggitt at hw.ac.uk
Tue Jul 26 17:38:14 CEST 2022


======================================================================

*** 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.tsu.ge/clas2022/> (CLAS'22)

======================================================================

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<http://viam.science.tsu.ge/clas2022/> (CLAS'22). There will be a wide  range of other conferences 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/program/>.

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.

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.

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 at the website of the Georgian government<https://www.geoconsul.gov.ge/HtmlPage/Html/View?id=956&lang=Eng>.

LOCAL ORGANISERS:

Besik Dundua               International Black Sea University

For any queries about local issues please contact the local organiser, Besik Dundua <bdundua at ibsu.edu.ge>.
________________________________

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:

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

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20220726/a3b8add5/attachment-0001.htm>


More information about the Om-announce mailing list