{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T01:04:09Z","timestamp":1779152649530,"version":"3.51.4"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032070203","type":"print"},{"value":"9783032070210","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-07021-0_25","type":"book-chapter","created":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T13:43:11Z","timestamp":1759844591000},"page":"447-467","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Lean-based Language for Teaching Proof in High School"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9221-5585","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Tran Minh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8013-1611","authenticated-orcid":false,"given":"Laure","family":"Gonnord","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3527-7184","authenticated-orcid":false,"given":"Julien","family":"Narboux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Abel, A., Chang, B.Y.E., Pfenning, F.: Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic. In: Workshop Proof Transformation and Presentation and Proof Complexities (PTP\u201901) (2001), https:\/\/www.cs.cmu.edu\/~fp\/papers\/ptp01.pdf"},{"key":"25_CR2","doi-asserted-by":"publisher","unstructured":"Autexier, S.: The CoRe Calculus. In: Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J.M., Mattern, F., Mitchell, J.C., Naor, M., Nierstrasz, O., Pandu\u00a0Rangan, C., Steffen, B., Sudan, M., Terzopoulos, D., Tygar, D., Vardi, M.Y., Weikum, G., Nieuwenhuis, R. (eds.) Automated Deduction \u2013 CADE-20, vol.\u00a03632, pp. 84\u201398. Springer Berlin Heidelberg, Berlin, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11532231_7","DOI":"10.1007\/11532231_7"},{"key":"25_CR3","unstructured":"Bartzia, E., Meyer, A., Narboux, J.: Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis. In: Trigueros, M. (ed.) INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics. pp. 253\u2013262. Reinhard Hochmuth, Hanovre, Germany (Oct 2022), https:\/\/hal.science\/hal-03648357"},{"key":"25_CR4","unstructured":"Bertot, Y., Portet, T.: Chassez le naturel dans la formalisation des math\u00e9matiques. In: 36es Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2025). Roiff\u00e9, France (Jan 2025), https:\/\/inria.hal.science\/hal-04757635"},{"key":"25_CR5","doi-asserted-by":"publisher","unstructured":"Boldo, S., Cl\u00e9ment, F., Hamelin, D., Mayero, M., Rousselin, P.: Teaching divisibility and binomials with coq. In: Proceedings of 13th International Workshop on Theorem proving components for Educational software (ThEdu\u201924). vol.\u00a0419, p. 124\u2013139. Open Publishing Association (May 2025). https:\/\/doi.org\/10.4204\/eptcs.419.8, http:\/\/dx.doi.org\/10.4204\/EPTCS.419.8","DOI":"10.4204\/eptcs.419.8"},{"key":"25_CR6","doi-asserted-by":"publisher","unstructured":"Carl, M.: Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics. CoRR abs\/2002.05083(arXiv:2002.05083) (feb 2020).https:\/\/doi.org\/10.48550\/arxiv.2002.05083, https:\/\/arxiv.org\/abs\/2002.05083","DOI":"10.48550\/arxiv.2002.05083"},{"key":"25_CR7","doi-asserted-by":"publisher","unstructured":"Carl, M., Lorenzen, H., Schmitz, M.: Natural Language Proof Checking in Introduction to Proof Classes \u2013 First Experiences with Diproche. In: Proceedings of the International Workshop on Theorem Proving Components for Educational Software (Th\u2019Edu) 2021. vol.\u00a0354, pp. 59\u201370 (Feb 2022). https:\/\/doi.org\/10.4204\/EPTCS.354.5","DOI":"10.4204\/EPTCS.354.5"},{"key":"25_CR8","unstructured":"Carter, N.C., Monks, K.G.: Lurch: A Word Processor that Can Grade Students\u2019 Proofs. In: Lange, C., Aspinall, D., Carette, J., Davenport, J., Kohlhase, A., Kohlhase, M., Libbrecht, P., Quaresma, P., Rabe, F., Sojka, P., Whiteside, I., Windsteiger, W. (eds.) Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics 2013. No.\u00a01010 in CEUR Workshop Proceedings, Aachen (2013), http:\/\/ceur-ws.org\/Vol-1010\/paper-04.pdf"},{"key":"25_CR9","unstructured":"Coen, C.S., Zoli, E.: A Note on Formalising Undefined Terms in Real Analysis. In: Proceedings of International Workshop on Proof Assistants and Types in Education (PATE07) (2007), https:\/\/www.cs.unibo.it\/~sacerdot\/PAPERS\/pate07.pdf"},{"key":"25_CR10","unstructured":"Durand-Guerrier, V., Njomgang-Ngansop, J.: Questions de logique et de langage \u00e0 la transition secondaire - sup\u00e9rieur. L\u2019exemple de la n\u00e9gation. In: Kuzniak Alain &\u00a0Sokhna Mohamed (ed.) Actes du Colloque Espace Math\u00e9matique Francophone. pp. 1033\u20131047. No. num\u00e9ro sp\u00e9cial, Dakar, Senegal (Apr 2009), https:\/\/hal.science\/hal-00804096"},{"key":"25_CR11","doi-asserted-by":"publisher","unstructured":"Edmonds-Wathen, C., Trinick, T., Durand-Guerrier, V.: Impact of Differing Grammatical Structures in Mathematics Teaching and Learning, pp. 23\u201346. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-14511-2_2, https:\/\/doi.org\/10.1007\/978-3-319-14511-2_2","DOI":"10.1007\/978-3-319-14511-2_2"},{"key":"25_CR12","doi-asserted-by":"publisher","unstructured":"Ehle, A., Hundeshagen, N., Lange, M.: The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. In: Proceedings of 6th International Workshop on Theorem proving components for Educational software (ThEdu\u201917). vol.\u00a0267, pp. 19\u201337 (Mar 2018). https:\/\/doi.org\/10.4204\/EPTCS.267.2, http:\/\/arxiv.org\/abs\/1803.01467v1","DOI":"10.4204\/EPTCS.267.2"},{"key":"25_CR13","doi-asserted-by":"publisher","unstructured":"Gallego\u00a0Arias, E.J., Pin, B., Jouvelot, P.: jsCoq: Towards Hybrid Theorem Proving Interfaces. In: Proceedings of 5th International Workshop on Theorem proving components for Educational software (ThEdu\u201916). vol.\u00a0239, pp. 15\u201327 (Jan 2017). https:\/\/doi.org\/10.4204\/EPTCS.239.2","DOI":"10.4204\/EPTCS.239.2"},{"key":"25_CR14","doi-asserted-by":"publisher","unstructured":"Gasquet, O., Schwarzentruber, F., Strecker, M.: Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds.) Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Lecture Notes in Computer Science, vol.\u00a06680, pp. 85\u201392. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-21350-2_11","DOI":"10.1007\/978-3-642-21350-2_11"},{"key":"25_CR15","unstructured":"Hache, C., Mesnil, Z.: Outils logiques pour analyser les formulations des preuves dans des manuels de lyc\u00e9e. In: S\u00e9minaire national de didactique des math\u00e9matiques de l\u2019ARDM. Paris, France (Nov 2019), https:\/\/hal.science\/hal-03257750"},{"key":"25_CR16","doi-asserted-by":"publisher","unstructured":"Herbst, P.G.: Establishing a custom of proving in american school geometry: Evolution of the two-column proof in the early twentieth century. Educational Studies in Mathematics 49(3), 283\u2013312 (2002). https:\/\/doi.org\/10.1023\/A:1020264906740","DOI":"10.1023\/A:1020264906740"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Huang, X.: Reconstruction Proofs at the Assertion Level. In: Proceedings of the 12th International Conference on Automated Deduction. p. 738\u2013752. CADE-12, Springer-Verlag, Berlin, Heidelberg (1994)","DOI":"10.1007\/3-540-58156-1_53"},{"key":"25_CR18","doi-asserted-by":"publisher","unstructured":"Karsten, N., Jacobsen, F.K., Eiken, K.J., Nestmann, U., Villadsen, J.: ProofBuddy: A Proof Assistant for Learning and Monitoring. In: Proceedings Twelfth International Workshop on Trends in Functional Programming in Education. vol.\u00a0382, pp. 1\u201321 (Aug 2023). https:\/\/doi.org\/10.4204\/EPTCS.382.1","DOI":"10.4204\/EPTCS.382.1"},{"key":"25_CR19","unstructured":"Kerjean, M., Leroux, F., Massot, P., Mayero, M., Mesnil, Z., Modeste, S., Narboux, J., Rousselin, P.: Utilisation des assistants de preuves pour l\u2019enseignement en L1 - Retours d\u2019exp\u00e9riences. Gazette Soci\u00e9t\u00e9 Math\u00e9matique de France (Aug 2022), https:\/\/hal.science\/hal-03979238"},{"key":"25_CR20","doi-asserted-by":"publisher","unstructured":"Korkut, J.: A Proof Tree Builder for Sequent Calculus and Hoare Logic. In: Proceedings ThEdu\u201922. vol.\u00a0375, pp. 54\u201362 (2023). https:\/\/doi.org\/10.4204\/EPTCS.375.5, http:\/\/arxiv.org\/abs\/2303.05865v1","DOI":"10.4204\/EPTCS.375.5"},{"key":"25_CR21","unstructured":"K\u00fchlwein, D., Cramer, M., Koepke, P., Schr\u00f6der, B.: The Naproche System. In: Calculemus Emerging Trends 2009 (joint with CICM\u201909) (july 2009)"},{"key":"25_CR22","doi-asserted-by":"publisher","unstructured":"Leach-Krouse, G.: Carnap: An Open Framework for Formal Reasoning in the Browser. In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017. vol.\u00a0267, pp. 70\u201388 (Mar 2018). https:\/\/doi.org\/10.4204\/EPTCS.267.5","DOI":"10.4204\/EPTCS.267.5"},{"key":"25_CR23","unstructured":"Mach\u0131n, B., Sierra, L.: Yoda: A Simple Tool for Natural Deduction (2011), http:\/\/logicae.usal.es\/TICTTL\/actas\/MachinSierra.pdf"},{"key":"25_CR24","doi-asserted-by":"publisher","unstructured":"Massot, P.: Teaching Mathematics Using Lean and Controlled Natural Language. In: Bertot, Y., Kutsia, T., Norrish, M. (eds.) 15th International Conference on Interactive Theorem Proving (ITP 2024). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0309, pp. 27:1\u201327:19. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2024). https:\/\/doi.org\/10.4230\/LIPIcs.ITP.2024.27","DOI":"10.4230\/LIPIcs.ITP.2024.27"},{"key":"25_CR25","unstructured":"Materzok, M.: Easyprove: A Tool for Teaching Precise Reasoning. In: Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015). M. Antonia Huertas, Jo\u00e3o Marcos, Mar\u00eda Manzano, Sophie Pinchinat, Fran\u00e7ois Schwarzentruber, Rennes, France (June 2015), https:\/\/arxiv.org\/abs\/1507.03675"},{"key":"25_CR26","doi-asserted-by":"publisher","unstructured":"Nawrocki, W., Ayers, E.W., Ebner, G.: An Extensible User Interface for Lean 4. In: Naumowicz, A., Thiemann, R. (eds.) 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0268, pp. 24:1\u201324:20. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2023). https:\/\/doi.org\/10.4230\/LIPIcs.ITP.2023.24, https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/LIPIcs.ITP.2023.24","DOI":"10.4230\/LIPIcs.ITP.2023.24"},{"key":"25_CR27","doi-asserted-by":"publisher","unstructured":"Perh\u00e1\u010d, J., Novotn\u00fd, S., Chodarev, S., Kristensen, J.T., Tveito, L., Shturmov, O., Thomsen, M.K.: OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs. In: Proceedings of 13th International Workshop on Theorem proving components for Educational software (ThEdu\u201924) (2024). https:\/\/doi.org\/10.5324\/nikt.6205","DOI":"10.5324\/nikt.6205"},{"key":"25_CR28","unstructured":"Rognier, B., Duhamel, G.: Pr\u00e9sentation de la plateforme Edukera. In: Signoles, J. (ed.) Vingt-septi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2016). Saint-Malo, France (Jan 2016), https:\/\/hal.science\/hal-01333606"},{"key":"25_CR29","doi-asserted-by":"publisher","unstructured":"Schiller, M.R.G.: Granularity Analysis for Mathematical Proofs. Topics in Cognitive Science 5(2), 251\u2013269 (Apr 2013). https:\/\/doi.org\/10.1111\/tops.12012","DOI":"10.1111\/tops.12012"},{"key":"25_CR30","doi-asserted-by":"publisher","unstructured":"Selsam, D., Moura, L.: Congruence Closure in Intensional Type Theory. In: Proceedings of the 8th International Joint Conference on Automated Reasoning - Volume 9706. p. 99\u2013115. Springer-Verlag, Berlin, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-40229-1_8, https:\/\/doi.org\/10.1007\/978-3-319-40229-1_8","DOI":"10.1007\/978-3-319-40229-1_8"},{"key":"25_CR31","doi-asserted-by":"crossref","unstructured":"Siekmann, J., Benzm\u00fcller, C., Fiedler, A., Meier, A., Normann, I., Pollet, M.: Proof Development in OMEGA: The Irrationality of Square Root of 2. pp. 271\u2013314 (Jan 2003)","DOI":"10.1007\/978-94-017-0253-9_11"},{"key":"25_CR32","doi-asserted-by":"publisher","unstructured":"Sommer, R., Nuckols, G.: A Proof Environment for Teaching Mathematics. Journal of Automated Reasoning 32, 227\u2013258 (2004). https:\/\/doi.org\/10.1023\/B:JARS.0000044825.55318.95","DOI":"10.1023\/B:JARS.0000044825.55318.95"},{"key":"25_CR33","doi-asserted-by":"publisher","unstructured":"Stojanovic, S., Narboux, J., Bezem, M., Janicic, P.: A Vernacular for Coherent Logic. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science, vol.\u00a08543, p.\u00a016. Springer, Coimbra, Portugal (Jul 2014). https:\/\/doi.org\/10.1007\/978-3-319-08434-3_28, https:\/\/inria.hal.science\/hal-00983975","DOI":"10.1007\/978-3-319-08434-3_28"},{"key":"25_CR34","doi-asserted-by":"publisher","unstructured":"Stylianides, G.J., Stylianides, A.J., Moutsios-Rentzos, A.: Proof and proving in school and university mathematics education research: a systematic review. ZDM \u2013 Mathematics Education 56(1), 47\u201359 (Feb 2024). https:\/\/doi.org\/10.1007\/s11858-023-01518-y, https:\/\/link.springer.com\/10.1007\/s11858-023-01518-y","DOI":"10.1007\/s11858-023-01518-y"},{"key":"25_CR35","unstructured":"Tao, T.: QED - an interactive textbook. https:\/\/teorth.github.io\/QED\/ (2018)"},{"key":"25_CR36","unstructured":"Thompson, D., Seligman, J.: Teaching natural deduction in the right order with natural deduction planner. IfCoLog Journal of Logics and their Applications 4(1), 193\u2013219 (January 2017)"},{"key":"25_CR37","doi-asserted-by":"publisher","unstructured":"Tran\u00a0Minh, F., Gonnord, L., Narboux, J.: Proof Assistants for Teaching: a Survey. In: Proceedings of 13th International Workshop on Theorem proving components for Educational software (ThEdu\u201924). vol.\u00a0419, p. 1\u201327. Open Publishing Association (May 2025). https:\/\/doi.org\/10.4204\/eptcs.419.1, http:\/\/dx.doi.org\/10.4204\/EPTCS.419.1","DOI":"10.4204\/eptcs.419.1"},{"key":"25_CR38","doi-asserted-by":"publisher","unstructured":"Vasconcelos, D.R.: ANITA: Analytic Tableau Proof Assistant. Electronic Proceedings in Theoretical Computer Science 375, 38\u201353 (2023). https:\/\/doi.org\/10.4204\/EPTCS.375.4, http:\/\/arxiv.org\/abs\/2303.05864v1, in Post-Proceedings ThEdu\u201922","DOI":"10.4204\/EPTCS.375.4"},{"key":"25_CR39","doi-asserted-by":"publisher","unstructured":"Villadsen, J., Jacobsen, F.K.: Using Isabelle in Two Courses on Logic and Automated Reasoning. In: Ferreira, J.F., Mendes, A., Menghi, C. (eds.) Formal Methods Teaching. pp. 117\u2013132. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91550-6-9","DOI":"10.1007\/978-3-030-91550-6-9"},{"key":"25_CR40","doi-asserted-by":"publisher","unstructured":"Villadsen, J., Jensen, A.B., Schlichtkrull, A.: NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. In: Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015) (Jul 2015). https:\/\/doi.org\/10.48550\/arXiv.1507.04002","DOI":"10.48550\/arXiv.1507.04002"},{"key":"25_CR41","doi-asserted-by":"publisher","unstructured":"Villadsen, J.: Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned. In: Proceedings of 13th International Workshop on Theorem proving components for Educational software (ThEdu\u201924). vol.\u00a0419, p. 75\u201389. Open Publishing Association (May 2025). https:\/\/doi.org\/10.4204\/eptcs.419.5, http:\/\/dx.doi.org\/10.4204\/EPTCS.419.5","DOI":"10.4204\/eptcs.419.5"},{"key":"25_CR42","unstructured":"Wemmenhove, A.: Waterproof: Transforming a proof assistant into an educational tool. Ph.D. thesis, Mathematics and Computer Science (Mar 2025)"},{"key":"25_CR43","doi-asserted-by":"publisher","unstructured":"Wemmenhove, J., Arends, D., Beurskens, T., Bhaid, M., McCarren, S., Moraal, J., Rivera\u00a0Garrido, D., Tuin, D., Vassallo, M., Wils, P., Portegies, J.: Waterproof: Educational Software for Learning How to Write Mathematical Proofs. In: Proceedings ThEdu\u201923. vol.\u00a0400, p. 96\u2013119. Open Publishing Association (Apr 2024). https:\/\/doi.org\/10.4204\/eptcs.400.7","DOI":"10.4204\/eptcs.400.7"},{"key":"25_CR44","doi-asserted-by":"crossref","unstructured":"Wiedijk, F.: The Seventeen Provers of the World. Springer, Berlin, Heidelberg (2006)","DOI":"10.1007\/11542384"},{"key":"25_CR45","doi-asserted-by":"publisher","unstructured":"Wiedijk, F., Zwanenburg, J.: First Order Logic with Domain Conditions. In: Goos, G., Hartmanis, J., Van\u00a0Leeuwen, J., Basin, D., Wolff, B. (eds.) Theorem Proving in Higher Order Logics, vol.\u00a02758, pp. 221\u2013237. Springer Berlin Heidelberg, Berlin, Heidelberg (2003). https:\/\/doi.org\/10.1007\/10930755_15","DOI":"10.1007\/10930755_15"},{"key":"25_CR46","doi-asserted-by":"publisher","unstructured":"Xie, L., Hui, Z., Cao, Q.: A Natural Formalized Proof Language. In: Chin, W.N., Xu, Z. (eds.) Theoretical Aspects of Software Engineering. pp. 446\u2013464. Springer Nature Switzerland (2024). https:\/\/doi.org\/10.1007\/978-3-031-64626-3_26","DOI":"10.1007\/978-3-031-64626-3_26"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-07021-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T10:21:30Z","timestamp":1776507690000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-07021-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032070203","9783032070210"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-07021-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"8 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CICM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computer Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brasilia","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mkm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cicm-conference.org\/2025\/cicm.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}