
<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 id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p><span>====</span></p>

<div><span>CfP: MathCompLing for Proofs (MCLP) 2025, Institut Pascal - Call for Talks, Demos, Participation</span></div>

<div><span>====</span></div>

<div><span>Call for Talks, Demos, Participation</span></div>

<div><br>

</div>

<div><span>International Conference on</span></div>

<div><span>Mathematical and Computational Linguistics for Proofs, MCLP</span></div>

<div><span>Date: 15-18 September 2025</span></div>

<div><span>Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay</span></div>

<div><br>

</div>

<div><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://urldefense.com/v3/__https://europroofnet.github.io/MCLP/__;!!IBzWLUs!USx6v0yAYYVVPl6F5Z9UeNsAYjPTZQ8kHMFBgQr-zYPHNU3St_Mm5XGj4i_l2vHmDh4Z2XijQkR6cMu11kKRLUzDC8Kr988eMWZt6ElWHRc$" id="LPlnk131122" previewremoved="true">https://europroofnet.github.io/MCLP/</a></span></div>

<div><br>

</div>

<div><span>Organisers:</span></div>

<div><span>Roussanka Loukanova</span></div>

<div><span>and</span></div>

<div><span>Axel Ljungström</span></div>

<div><br>

</div>

<div><span>Contact: Roussanka Loukanova <<a target="_blank" rel="noreferrer nofollow noopener" href="mailto:rloukanova@gmail.com">rloukanova@gmail.com</a>></span></div>

<div><span>Axel Ljungström <<a target="_blank" rel="noreferrer nofollow noopener" href="mailto:axel.ljungstrom@math.su.se">axel.ljungstrom@math.su.se</a>></span></div>

<div><br>

</div>

<div><br>

</div>

<div><span>MCLP is part of the EuroProofNet Symposium:</span></div>

<div><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://urldefense.com/v3/__https://europroofnet.github.io/Symposium/__;!!IBzWLUs!USx6v0yAYYVVPl6F5Z9UeNsAYjPTZQ8kHMFBgQr-zYPHNU3St_Mm5XGj4i_l2vHmDh4Z2XijQkR6cMu11kKRLUzDC8Kr988eMWZtb06AVak$">https://europroofnet.github.io/Symposium/</a></span></div>

<div><span>Date: 8-19 September 2025</span></div>

<div><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://urldefense.com/v3/__https://www.institut-pascal.universite-paris-saclay.fr/en__;!!IBzWLUs!USx6v0yAYYVVPl6F5Z9UeNsAYjPTZQ8kHMFBgQr-zYPHNU3St_Mm5XGj4i_l2vHmDh4Z2XijQkR6cMu11kKRLUzDC8Kr988eMWZtpSklla0$">https://www.institut-pascal.universite-paris-saclay.fr/en</a></span></div>

<div><br>

</div>

<div><span>COST Action EuroProofNet</span></div>

<div><br>

</div>

<div><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://urldefense.com/v3/__https://www.cost.eu/actions/CA20111/__;!!IBzWLUs!USx6v0yAYYVVPl6F5Z9UeNsAYjPTZQ8kHMFBgQr-zYPHNU3St_Mm5XGj4i_l2vHmDh4Z2XijQkR6cMu11kKRLUzDC8Kr988eMWZtzU1sH1Y$">https://www.cost.eu/actions/CA20111/</a></span></div>

<div><br>

</div>

<div><span>* NOTE: To participate in MCLP, including by giving a talk or demo, you do not need to work currently and directly on proofs and verification. These fields are in active developments. Your strong interest in contributing to such work is important.</span></div>

<div><br>

</div>

<div><span>Registration for MCLP is free and required for participation.</span></div>

<div><span>Registration form is accessible on the website of the EuroProofNet Symposium:</span></div>

<div><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://urldefense.com/v3/__https://forms.gle/QLFzh3Ugv5WgkhZr7__;!!IBzWLUs!USx6v0yAYYVVPl6F5Z9UeNsAYjPTZQ8kHMFBgQr-zYPHNU3St_Mm5XGj4i_l2vHmDh4Z2XijQkR6cMu11kKRLUzDC8Kr988eMWZtU2mZ14c$">https://forms.gle/QLFzh3Ugv5WgkhZr7</a></span></div>

<div><br>

</div>

<div><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://urldefense.com/v3/__https://europroofnet.github.io/eligibility/__;!!IBzWLUs!USx6v0yAYYVVPl6F5Z9UeNsAYjPTZQ8kHMFBgQr-zYPHNU3St_Mm5XGj4i_l2vHmDh4Z2XijQkR6cMu11kKRLUzDC8Kr988eMWZtrN2_0jk$">https://europroofnet.github.io/eligibility/</a></span></div>

<div><br>

</div>

<div><span>You are very welcome to register and participate in MCLP, by funding from your side. There might be some (small) possibility for funding from COST Action EuroProofNet.</span></div>

<div><br>

</div>

<div><span>Applications for reimbursement of travel costs through EuroProofNet is part of the registration form.</span></div>

<div><br>

</div>

<div><span>To give a talk or demo, the submission Web page for proposed titles and abstracts is EasyChair of MCLP 2025:</span></div>

<div><br>

</div>

<div><span>Submission:</span></div>

<div><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://urldefense.com/v3/__https://easychair.org/conferences?conf=mclp2025__;!!IBzWLUs!USx6v0yAYYVVPl6F5Z9UeNsAYjPTZQ8kHMFBgQr-zYPHNU3St_Mm5XGj4i_l2vHmDh4Z2XijQkR6cMu11kKRLUzDC8Kr988eMWZt9pe-CRQ$">https://easychair.org/conferences?conf=mclp2025</a></span></div>

<div><br>

</div>

<div><span>Deadline: still open for contributed talks, by funding from your side.</span></div>

<div><br>

</div>

<div><span>Please use LaTeX with Springer LNCS package or Microsoft Proceedings Word Templates:</span></div>

<div><br>

</div>

<div><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs__;!!IBzWLUs!USx6v0yAYYVVPl6F5Z9UeNsAYjPTZQ8kHMFBgQr-zYPHNU3St_Mm5XGj4i_l2vHmDh4Z2XijQkR6cMu11kKRLUzDC8Kr988eMWZtoJu_wmM$">https://www.springer.com/gp/computer-science/lncs</a></span></div>

<div><br>

</div>

<div><span>The abstract should be short, about 1/2 page, and in addition, as many references as you reasonably need. You will have the possibility to update it around the time of the MCLP.</span></div>

<div><br>

</div>

<div><span>We shall arrange publications in two stages:</span></div>

<div><span>(1) by Institut Pascal, proceedings of talks and presentations</span></div>

<div><span>(2) post conference special volume of extended papers</span></div>

<div><br>

</div>

<div><span>====</span></div>

<div><br>

</div>

<div><span>**DESCRIPTION:**</span></div>

<div><span>Mathematical and computational linguistics for proofs. Mathematical linguistics (MathLing) is an interdisciplinary area providing theoretical foundations of computer science, as well as syntax and semantics of natural and formal languages, including

 for mathematical logic in theorem provers, proof assistants, model checkers, verification of programs, software and hardware.</span></div>

<div><br>

</div>

<div><span>Computational linguistics (CompLing) is a subfield of MathLing, which provides computational processing of formal and natural (human) languages by computational theories and algorithms for:</span></div>

<div><br>

</div>

<div><span>- Parsing formal and natural languages in mathematics</span></div>

<div><span>- Computational syntax-semantics interfaces</span></div>

<div><span>- Computational processing of language, by mathematical logic and other approaches, e.g., graphical, diagrammatic, numerical, algebraic, statistical, and other related methods</span></div>

<div><span>- New hybrid integrations of approaches of mathematical logic and other methods.</span></div>

<div><br>

</div>

<div><span>**OBJECTIVES:**</span></div>

<div><span>MCLP aims at initiating new directions of research on the use of natural language in proof assistants, provers, and other related systems.</span></div>

<div><br>

</div>

<div><span>MCLP covers the following areas of theories and applications, from the perspectives of current and future use of natural language in proof systems:</span></div>

<div><br>

</div>

<div><span>- Mathematical theories, with a focus on computational approaches to formal and natural languages</span></div>

<div><span>- Type Theories, including Dependent Type Theories</span></div>

<div><span>- Applications in domain specific areas, for using provers, in areas of mathematics</span></div>

<div><span>- Applications to other domain specific areas, e.g., health systems, medical sciences, forensics, judiciary proceedings, legal laws, transport, etc.</span></div>

<div><span>- Specialised formal, specification, and natural languages, e.g., specific fragments and instances depending on domains of specific areas, or generalized over groups of domains.</span></div>

<div><br>

</div>

<div><span>The program of MCLP shall include talks, presentations, and sessions of discussions.</span></div>

<div><span>The focus is on computational approaches to natural language used in mathematical texts.</span></div>

<div><br>

</div>

<div><span>**TOPICS:**</span></div>

<div><span>We invite contributed talks, in the above areas, relevant to the following topics, with a focus on formal and natural language in proof and verification systems, without being limited to them:</span></div>

<div><br>

</div>

<div><span>- Theories of Computation</span></div>

<div><span>- Theories of Information</span></div>

<div><span>- Type Theories</span></div>

<div><span>- Computational Methods of Inferences in Natural Language</span></div>

<div><span>- Computational Theories and Systems of Reasoning in Natural Language</span></div>

<div><span>- Transfer of reasoning in natural language to theorem provers, or vice versa</span></div>

<div><span>- Transfer of reasoning between natural language, theorem provers, model checkers, and various computational assistants</span></div>

<div><span>- Translations between natural language of mathematics and formal languages of proof and verification systems</span></div>

<div><span>- Computational Grammar, Syntax, Semantics, Syntax-Semantics Interfaces</span></div>

<div><span>- Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics, with a focus on mathematical texts</span></div>

<div><span>- Parsing of formal and natural language</span></div>

<div><span>- Multilingual Processing</span></div>

<div><span>- Large-Scale Grammars of Natural Languages</span></div>

<div><span>- Controlled Languages of Mathematics</span></div>

<div><span>- Interdisciplinary, Integrated, and Hybrid Methods</span></div>

<div><br>

</div>

<span>====</span><br>

<p></p>

</div>

</body>

</html>