{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T13:56:42Z","timestamp":1752674202502,"version":"3.40.3"},"publisher-location":"Cham","reference-count":62,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031711763"},{"type":"electronic","value":"9783031711770"}],"license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The aim of this tutorial is to explain to the formal methods community the area of risk management and its most prominent concepts: the definition of risk, strategies for managing risk, the risk management cycle, and the role of ISO standards.<\/jats:p><jats:p>For each of these concepts, I explain how formal methods relate and contribute, making risk management more accountable: systematic, transparent, and quantitative. I will also argue that viewing Formal Methods through the lens of risk management, and making the relevance of formal methods in risk analysis explicit, helps our community to better communicate the merits of formal methods to industry.<\/jats:p>","DOI":"10.1007\/978-3-031-71177-0_26","type":"book-chapter","created":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T06:10:51Z","timestamp":1726121451000},"page":"447-468","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["No Risk, No Fun"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0967-0661(99)00138-0","volume":"8","author":"K Lano","year":"2000","unstructured":"Lano, K., Bicarregui, J., Kan, P.: Experiences of using formal methods for chemical process control specification. Control. Eng. Pract. 8(1), 71\u201379 (2000)","journal-title":"Control. Eng. Pract."},{"key":"26_CR2","first-page":"109","volume":"40","author":"A Arnold","year":"2000","unstructured":"Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fundam. Inf. 40, 109\u2013124 (2000)","journal-title":"Fundam. Inf."},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.ress.2011.11.006","volume":"99","author":"T Aven","year":"2012","unstructured":"Aven, T.: The risk concept-historical and recent development trends. Reliab. Eng. Syst. Saf. 99, 33\u201344 (2012)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"107863","DOI":"10.1016\/j.ress.2021.107863","volume":"215","author":"T Aven","year":"2021","unstructured":"Aven, T.: The reliability science: Its foundation and link to risk science and other sciences. Reliab. Eng. Syst. Saf. 215, 107863 (2021)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.ssci.2012.06.005","volume":"51","author":"T Aven","year":"2013","unstructured":"Aven, T., Reniers, G.: How to define and interpret a probability in a risk and safety setting. Saf. Sci. 51, 223\u2013231 (2013)","journal-title":"Saf. Sci."},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avi\u017eienis","year":"2004","unstructured":"Avi\u017eienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1, 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"26_CR7","unstructured":"AXELOS: Prince2 6th edition glossary of terms (2016). https:\/\/www.axelos.com\/resource-hub\/glossary\/prince2-6th-edition-glossaries-of-terms"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-030-91384-7_4","volume-title":"Model Checking, Synthesis, and Learning","author":"G Bacci","year":"2021","unstructured":"Bacci, G., Delahaye, B., Larsen, K.G., Mariegaard, A.: Quantitative analysis of interval markov chains. In: Olderog, E.-R., Steffen, B., Yi, W. (eds.) Model Checking, Synthesis, and Learning. LNCS, vol. 13030, pp. 57\u201377. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91384-7_4"},{"key":"26_CR9","doi-asserted-by":"publisher","unstructured":"Badings, T.S., Jansen, N., Junges, S., Stoelinga, M., Volk, M.: Sampling-based verification of CTMCs with uncertain rates. In: Shoham, S., Vizel, Y. (eds.) Proceedings of the 34th International Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol. 13372, pp. 26\u201347. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-13188-2_2","DOI":"10.1007\/978-3-031-13188-2_2"},{"key":"26_CR10","unstructured":"Bernstein, P.L.: Against the Gods: The Remarkable Story of Risk. Wiley (1998)"},{"key":"26_CR11","unstructured":"Bertsekas, D.P.: Dynamic Programming and Optimal Control, vol. I, 4th Edition. Athena Scientific (2005)"},{"issue":"5","key":"26_CR12","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"26_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.arcontrol.2021.10.004","volume":"52","author":"MC Campi","year":"2021","unstructured":"Campi, M.C., Car\u00e8, A., Garatti, S.: The scenario approach: a tool at the service of data-driven decision making. Annu. Rev. Control. 52, 1\u201317 (2021)","journal-title":"Annu. Rev. Control."},{"key":"26_CR14","unstructured":"Center for Chemical Process Safety: Bow Ties in Risk Management. Wiley (2018)"},{"issue":"4","key":"26_CR15","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. (CSUR) 28(4), 626\u2013643 (1996)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"2","key":"26_CR16","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.strusafe.2008.06.020","volume":"31","author":"A Der Kiureghian","year":"2009","unstructured":"Der Kiureghian, A., Ditlevsen, O.: Aleatory or epistemic? Does it matter? Struct. Saf. 31(2), 105\u2013112 (2009)","journal-title":"Struct. Saf."},{"issue":"4","key":"26_CR17","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1080\/02630258508970407","volume":"2","author":"WM Dong","year":"1985","unstructured":"Dong, W.M., Shah, H., Wongt, F.: Fuzzy computations in risk and decision analysis. Civ. Eng. Syst. 2(4), 201\u2013208 (1985)","journal-title":"Civ. Eng. Syst."},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Annual Reliability and Maintainability Symposium, pp. 286\u2013293 (1990)","DOI":"10.1109\/ARMS.1990.67971"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Ericson, C.A.: Event tree analysis. In: Hazard Analysis Techniques for System Safety, pp. 223\u2013234. WILEY (2005)","DOI":"10.1002\/0471739421.ch12"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.: The architecture analysis & design language (AADL): an introduction (2006)","DOI":"10.21236\/ADA455842"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Fenton, N., Neil, M.: Risk Assessment and Decision Analysis with Bayesian Networks. CRC Press (2011)","DOI":"10.1201\/9780367803018"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-58298-2_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"H Garavel","year":"2020","unstructured":"Garavel, H., Beek, M.H., Pol, J.: The 2020 expert survey on formal methods. In: ter Beek, M.H., Ni\u010dkovi\u0107, D. (eds.) FMICS 2020. LNCS, vol. 12327, pp. 3\u201369. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58298-2_1"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Gibbins, P.: Chapter 13 - what are formal methods? In: Ince, D., Andrews, D. (eds.) The Software Life Cycle, pp. 278\u2013290. Butterworth-Heinemann (1990)","DOI":"10.1016\/B978-0-408-03741-9.50020-9"},{"issue":"6","key":"26_CR24","doi-asserted-by":"publisher","first-page":"1737","DOI":"10.1007\/s10270-023-01124-2","volume":"22","author":"M Gleirscher","year":"2023","unstructured":"Gleirscher, M., van de Pol, J., Woodcock, J.: A manifesto for applicable formal methods. Softw. Syst. Model. 22(6), 1737\u20131749 (2023)","journal-title":"Softw. Syst. Model."},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Ortmeier, F.: A framework for qualitative and quantitative and quantitative model-based safety analysis. In: 2010 IEEE 12th International Symposium on High Assurance Systems Engineering (2010)","DOI":"10.1109\/HASE.2010.24"},{"key":"26_CR26","unstructured":"Hopkin, P.: Fundamentals of Risk Management: Understanding, Evaluating and Implementing Effective Risk Management. Kogan Page, 5th edn. (2018)"},{"key":"26_CR27","unstructured":"Houtermans, M.: SIL and Functional Safety in a Nutshell, 2nd edn. Prime Intelligence (2014)"},{"key":"26_CR28","unstructured":"Institute of Risk Management: IRM\u2019s risk management standard (2002). https:\/\/www.theirm.org\/what-we-do\/what-is-enterprise-risk-management\/irms-risk-management-standard\/"},{"key":"26_CR29","unstructured":"International Organization for Standardization: ISO 26262: Road vehicles - functional safety. ISO Standard (2018). https:\/\/www.iso.org\/standard\/26262.html"},{"key":"26_CR30","unstructured":"International Organization for Standardization: ISO 31000: Risk management \u2013 guidelines. ISO Standard (2018). https:\/\/www.iso.org\/standard\/65694.html"},{"key":"26_CR31","unstructured":"International Organization for Standardization: ISO22163: Railway applications; railway quality management system. ISO Standard (2023). https:\/\/www.iso.org\/standard\/22193.html"},{"issue":"4","key":"26_CR32","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/s00165-016-0412-0","volume":"29","author":"S Junges","year":"2017","unstructured":"Junges, S., Guck, D., Katoen, J., Rensink, A., Stoelinga, M.: Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. 29(4), 651\u2013703 (2017)","journal-title":"Formal Aspects Comput."},{"issue":"9","key":"26_CR33","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1037\/0003-066X.58.9.697","volume":"58","author":"D Kahneman","year":"2003","unstructured":"Kahneman, D.: A perspective on judgment and choice: mapping bounded rationality. Am. Psychol. 58(9), 697\u2013720 (2003)","journal-title":"Am. Psychol."},{"key":"26_CR34","volume-title":"Thinking, Fast and Slow","author":"D Kahneman","year":"2011","unstructured":"Kahneman, D.: Thinking, Fast and Slow. Farrar, Straus and Giroux (2011)"},{"issue":"1","key":"26_CR35","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1111\/j.1539-6924.1981.tb01350.x","volume":"1","author":"S Kaplan","year":"1981","unstructured":"Kaplan, S., Garrick, B.J.: On the quantitative definition of risk. Risk Anal. 1(1), 11\u201327 (1981)","journal-title":"Risk Anal."},{"key":"26_CR36","unstructured":"Kletz, T.: Hazop and Hazan: Identifying and Assessing Process Industry Hazards, 4th edn. Institution of Chemical Engineers (1999)"},{"key":"26_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"26_CR38","doi-asserted-by":"crossref","unstructured":"Lindley, D.V.: Understanding Uncertainty. Wiley (2006)","DOI":"10.1002\/0470055480"},{"key":"26_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-030-43024-5_4","volume-title":"Measurement, Modelling and Evaluation of Computing Systems","author":"A L\u00fcck","year":"2020","unstructured":"L\u00fcck, A., Wolf, V.: A stochastic automata network description for spatial DNA-methylation models. In: Hermanns, H. (ed.) MMB 2020. LNCS, vol. 12040, pp. 54\u201364. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43024-5_4"},{"issue":"3","key":"26_CR40","first-page":"494","volume":"23","author":"D Makartetskiy","year":"2020","unstructured":"Makartetskiy, D., et al.: (User-friendly) formal requirements verification in the context of ISO26262. Eng. Sci. Technol. Int. J. 23(3), 494\u2013506 (2020)","journal-title":"Eng. Sci. Technol. Int. J."},{"issue":"2\u20134","key":"26_CR41","doi-asserted-by":"publisher","first-page":"109","DOI":"10.3233\/FI-242168","volume":"190","author":"LL Mannel","year":"2024","unstructured":"Mannel, L.L., van der Aalst, W.M.P.: Discovering process models with long-term dependencies while providing guarantees and filtering infrequent behavior patterns. Fundam. Informaticae 190(2\u20134), 109\u2013158 (2024)","journal-title":"Fundam. Informaticae"},{"key":"26_CR42","doi-asserted-by":"crossref","unstructured":"Matthies, H.G.: Quantifying uncertainty: modern computational representation of probability and applications. In: Extreme Man-Made and Natural Hazards in Dynamics of Structures, pp. 105\u2013135. NATO Security through Science Series (2007)","DOI":"10.1007\/978-1-4020-5656-7_4"},{"key":"26_CR43","doi-asserted-by":"crossref","unstructured":"Modarres, M., Kaminskiy, M.P., Krivtsov, V.: System reliability analysis. In: Reliability Engineering and Risk Analysis: A Practical Guide. CRC Press (2016)","DOI":"10.1201\/9781315382425"},{"key":"26_CR44","doi-asserted-by":"crossref","unstructured":"Moeller, R.R.: COSO Enterprise Risk Management: Establishing Effective Governance, Risk, and Compliance Processes. Wiley (2011)","DOI":"10.1002\/9781118269145"},{"key":"26_CR45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86152-0","volume-title":"Functional Safety and Proof of Compliance","author":"T Myklebust","year":"2021","unstructured":"Myklebust, T., St\u00e5lhane, T.: Functional Safety and Proof of Compliance. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86152-0"},{"key":"26_CR46","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press (2000)"},{"key":"26_CR47","first-page":"1033","volume":"33","author":"G Point","year":"2006","unstructured":"Point, G., Rauzy, A.: AltaRica: constraint automata as a description language. J. Europ\u00e9endes Syst\u00e9mes Automatis\u00e9s 33, 1033\u20131052 (2006)","journal-title":"J. Europ\u00e9endes Syst\u00e9mes Automatis\u00e9s"},{"key":"26_CR48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-89201-2","volume-title":"Ulrich Beck","author":"K Rasborg","year":"2021","unstructured":"Rasborg, K.: Ulrich Beck. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89201-2"},{"key":"26_CR49","unstructured":"Rasmussen, N.: An assessment of accident risks in U.S. commercial nuclear power plants. Tech. rep., US Nuclear Regulatory Commission (1975)"},{"key":"26_CR50","doi-asserted-by":"crossref","unstructured":"Rausand, M., Barros, A., Hoylan, A.: Qualitative system reliability analysis. In: System Reliability Theory. Models, Statistical Methods, and Applications. Wiley (2020)","DOI":"10.1002\/9781119373940"},{"key":"26_CR51","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"issue":"3","key":"26_CR52","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/JBHI.2013.2292880","volume":"18","author":"S Schivo","year":"2014","unstructured":"Schivo, S., et al.: Modeling biological pathway dynamics with timed automata. IEEE J. Biomed. Health Inf. 18(3), 832\u2013839 (2014)","journal-title":"IEEE J. Biomed. Health Inf."},{"key":"26_CR53","doi-asserted-by":"publisher","unstructured":"Shonkwiler, R.W., Mendivil, F.: Explorations in Monte Carlo Methods. Springer, Cham (2009). https:\/\/doi.org\/10.1007\/978-3-031-55964-8","DOI":"10.1007\/978-3-031-55964-8"},{"key":"26_CR54","doi-asserted-by":"publisher","unstructured":"Spaan, M.T.J.: partially observable markov decision processes. In: Wiering, M., van Otterlo, M. (eds.) Reinforcement Learning, vol. 12, pp. 387\u2013414. Springer Berlin Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27645-3_12","DOI":"10.1007\/978-3-642-27645-3_12"},{"key":"26_CR55","doi-asserted-by":"publisher","unstructured":"Staunstrup, J.: Formal design methods. In: A Formal Approach to Hardware Design, pp. 1\u201312. Springer US (1994). https:\/\/doi.org\/10.1007\/978-1-4615-2764-0","DOI":"10.1007\/978-1-4615-2764-0"},{"key":"26_CR56","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement learning: An introduction. MIT press (1997)"},{"key":"26_CR57","unstructured":"Tague, N.R.: Plan\u2013do\u2013study\u2013act cycle. In: The Quality Toolbox, pp. 390\u2013392. ASQ Quality Press (2005)"},{"key":"26_CR58","unstructured":"Taleb, N.N.: The Black Swan: The Impact of the Highly Improbable. Random House (2007)"},{"key":"26_CR59","unstructured":"Threat Analysis Group: Threat, vulnerability, and risk: commonly mixed-up terms (2010). https:\/\/www.threatanalysis.com\/2010\/05\/03\/threat-vulnerability-risk-commonly-mixed-up-terms\/"},{"key":"26_CR60","unstructured":"Wikiquote contributors: Niels bohr (2024). https:\/\/en.wikiquote.org\/wiki\/Niels_Bohr. Accessed 09 Jun 2024"},{"key":"26_CR61","unstructured":"World Economic Forum: The Global Risks Report, 13th Edition (2022)"},{"issue":"3","key":"26_CR62","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965)","journal-title":"Inf. Control"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71177-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T06:14:55Z","timestamp":1726121695000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71177-0_26"}},"subtitle":["A Tutorial on\u00a0Risk Management"],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"ISBN":["9783031711763","9783031711770"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71177-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"13 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}