The Coq mailing list

["Daggitt, Matthew" <M.Daggitt AT hw.ac.uk>]

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/

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).

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 <ek19 AT hw.ac.uk> or

publicity chair Matthew Daggitt <M.Daggitt AT hw.ac.uk>

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ötvös Loránd 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

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>.

Untitled Document

---

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.