{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T14:48:47Z","timestamp":1770994127432,"version":"3.50.1"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030672195","type":"print"},{"value":"9783030672201","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-67220-1_11","type":"book-chapter","created":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:03:07Z","timestamp":1610784187000},"page":"129-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence"],"prefix":"10.1007","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Aerts, D., et al.: Quantum entanglement in physical and cognitive systems: a conceptual analysis and a general representation. Eur. Phys. J. Plus 134 (2019). Article number: 493. https:\/\/doi.org\/10.1140\/epjp\/i2019-12987-0","DOI":"10.1140\/epjp\/i2019-12987-0"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Akametalu, A.K., Kaynama, S., Fisac, J.F., Zeilinger, M.N., Gillula, J.H., Tomlin, C.J.: Reachability-based safe learning with Gaussian processes. In: Proceedings of CDC, pp. 1424\u20131431 (2014)","DOI":"10.1109\/CDC.2014.7039601"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Asai, M.: Classical planning in deep latent space: bridging the subsymbolic-symbolic boundary. In: Proceedings of AAAI, pp. 6094\u20136101 (2018)","DOI":"10.1609\/aaai.v32i1.12077"},{"key":"11_CR4","unstructured":"Bansal, K., Loos, S.M., Rabe, M.N., Szegedy, C., Wilcox, S.: HOList: an environment for machine learning of higher order logic theorem proving. In: Proceedings of ICML, pp. 454\u2013463 (2019)"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.33011\/lilt.v9i.1321","volume":"9","author":"M Baroni","year":"2014","unstructured":"Baroni, M., et al.: Frege in space: a program of compositional distributional semantics. Linguist. Issues Lang. Technol. 9, 5\u2013110 (2014)","journal-title":"Linguist. Issues Lang. Technol."},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511815676","volume-title":"Speakable and Unspeakable in Quantum Mechanics: Collected Papers on Quantum Philosophy","author":"JS Bell","year":"2004","unstructured":"Bell, J.S.: Speakable and Unspeakable in Quantum Mechanics: Collected Papers on Quantum Philosophy. Cambridge University Press, Cambridge (2004)"},{"key":"11_CR7","unstructured":"Besold, T.R., et al.: Neural-symbolic learning and reasoning: a survey and interpretation (2017). arXiv:1711.03902"},{"key":"11_CR8","volume-title":"The Undivided Universe: An Ontological Interpretation of Quantum Theory","author":"D Bohm","year":"1993","unstructured":"Bohm, D., Hiley, B.: The Undivided Universe: An Ontological Interpretation of Quantum Theory. Routledge Chapman & Hall, Abingdon (1993)"},{"key":"11_CR9","volume-title":"The Born Einstein Letters","author":"M Born","year":"1971","unstructured":"Born, M.: The Born Einstein Letters. Walker and Company, New York (1971)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0004-3702(91)90053-M","volume":"47","author":"R Brooks","year":"1991","unstructured":"Brooks, R.: Intelligence without representation. Artif. Intell. 47, 139\u2013159 (1991)","journal-title":"Artif. Intell."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1126\/science.aal4230","volume":"356","author":"A Caliskan","year":"2017","unstructured":"Caliskan, A., et al.: Semantics derived automatically from language corpora contain human-like biases. Science 356, 183\u2013186 (2017)","journal-title":"Science"},{"key":"11_CR12","unstructured":"CDRS: Research and Development on the Fourth Generation of AI, Strategic Proposal, CRDS-FY2019-SP-08 (2019)"},{"key":"11_CR13","unstructured":"Chomsky, N.: Keynote panel: the golden age - a look at the original roots of artificial intelligence. In: Cognitive Science, and Neuroscience. Minds, and Machines, MIT Symposium on Brains (2011)"},{"key":"11_CR14","first-page":"345","volume":"36","author":"B Coecke","year":"2010","unstructured":"Coecke, B., et al.: Mathematical foundations for a compositional distributional model of meaning. Linguist. Anal. 36, 345\u2013384 (2010)","journal-title":"Linguist. Anal."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/BF00485035","volume":"17","author":"D Davidson","year":"1967","unstructured":"Davidson, D.: Truth and meaning. Synthese 17, 304\u2013323 (1967)","journal-title":"Synthese"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-78652-8_4","volume-title":"Probabilistic Inductive Logic Programming","author":"P Domingos","year":"2008","unstructured":"Domingos, P., Kok, S., Lowd, D., Poon, H., Richardson, M., Singla, P.: Markov logic. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol. 4911, pp. 92\u2013117. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78652-8_4"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/3241978","volume":"62","author":"P Domingos","year":"2019","unstructured":"Domingos, P., Lowd, D.: Unifying logical and statistical AI with Markov logic. Commun. ACM 62, 74\u201383 (2019)","journal-title":"Commun. ACM"},{"key":"11_CR18","volume-title":"The Interpretation of Frege\u2019s Philosophy","author":"M Dummett","year":"1981","unstructured":"Dummett, M.: The Interpretation of Frege\u2019s Philosophy. Duckworth, London (1981)"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LXXII.285.1","volume":"72","author":"G Frege","year":"1963","unstructured":"Frege, G.: Compound thoughts. Mind 72, 1\u201317 (1963). Originally 1923","journal-title":"Mind"},{"key":"11_CR20","volume-title":"Image & Logic: A Material Culture of Microphysics","author":"P Galison","year":"1997","unstructured":"Galison, P.: Image & Logic: A Material Culture of Microphysics. The University of Chicago Press, Chicago (1997)"},{"key":"11_CR21","unstructured":"Garcez, A., Gori, M., Lamb, L., Serafini, L., Spranger, M., Tran, S.: Neural-symbolic computing: an effective methodology for principled integration of machine learning and reasoning. arXiv:1905.06088"},{"key":"11_CR22","unstructured":"Gold, K.: Norvig vs. Chomsky and the Fight for the Future of AI. Tor.com, 21 June 2011"},{"key":"11_CR23","unstructured":"Grefenstette, E., et al.: Experimental support for a categorical compositional distributional model of meaning. In: Proceedings of EMNLP 2011, pp. 1394\u20131404 (2011)"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1023\/A:1026542332224","volume":"10","author":"T Janssen","year":"2001","unstructured":"Janssen, T.: Frege, contextuality and compositionality. J. Log. Lang. Inform. 10, 87\u2013114 (2001). https:\/\/doi.org\/10.1023\/A:1026542332224","journal-title":"J. Log. Lang. Inform."},{"key":"11_CR25","unstructured":"Katz, Y.: Noam Chomsky on Where Artificial Intelligence Went Wrong. The Atlantic, 1 November 2012"},{"key":"11_CR26","unstructured":"Lederman, G., Rabe, M.N., Lee, E.A., Seshia, S.A.: Learning heuristics for automated reasoning through deep reinforcement learning. arXiv:1807.08058"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"1486","DOI":"10.1016\/j.apal.2010.05.002","volume":"161","author":"Y Maruyama","year":"2010","unstructured":"Maruyama, Y.: Fundamental results for pointfree convex geometry. Ann. Pure Appl. Log. 161, 1486\u20131501 (2010)","journal-title":"Ann. Pure Appl. Log."},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/j.jpaa.2011.07.002","volume":"216","author":"Y Maruyama","year":"2012","unstructured":"Maruyama, Y.: Natural duality, modality, and coalgebra. J. Pure Appl. Algebra 216, 565\u2013580 (2012)","journal-title":"J. Pure Appl. Algebra"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-40206-7_17","volume-title":"Algebra and Coalgebra in Computer Science","author":"Y Maruyama","year":"2013","unstructured":"Maruyama, Y.: From operational chu duality to coalgebraic quantum symmetry. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol. 8089, pp. 220\u2013235. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40206-7_17"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-39992-3_19","volume-title":"Logic, Language, Information, and Computation","author":"Y Maruyama","year":"2013","unstructured":"Maruyama, Y.: Full lambek hyperdoctrine: categorical semantics for first-order substructural logics. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds.) WoLLIC 2013. LNCS, vol. 8071, pp. 211\u2013225. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39992-3_19"},{"key":"11_CR31","unstructured":"Maruyama, Y.: Categorical duality theory: with applications to domains, convexity, and the distribution monad. In: International Proceedings in Informatics, vol. 23, pp. 500\u2013520. Leibniz (2013)"},{"key":"11_CR32","series-title":"Synthese Library","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-319-26485-1_8","volume-title":"Fundamental Issues of Artificial Intelligence","author":"Y Maruyama","year":"2016","unstructured":"Maruyama, Y.: AI, quantum information, and external semantic realism: searle\u2019s observer-relativity and Chinese room, revisited. In: M\u00fcller, V.C. (ed.) Fundamental Issues of Artificial Intelligence. SL, vol. 376, pp. 115\u2013126. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-26485-1_8"},{"key":"11_CR33","doi-asserted-by":"publisher","first-page":"3483","DOI":"10.1007\/s11229-015-0932-9","volume":"193","author":"Y Maruyama","year":"2016","unstructured":"Maruyama, Y.: Prior\u2019s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism. Synthese 193, 3483\u20133495 (2016). https:\/\/doi.org\/10.1007\/s11229-015-0932-9","journal-title":"Synthese"},{"key":"11_CR34","series-title":"Trends in Logic","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-22686-6_6","volume-title":"Advances in Proof-Theoretic Semantics","author":"Y Maruyama","year":"2016","unstructured":"Maruyama, Y.: Categorical harmony and paradoxes in proof-theoretic semantics. In: Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics. TL, vol. 43, pp. 95\u2013114. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-22686-6_6"},{"key":"11_CR35","unstructured":"Maruyama, Y.: Meaning and duality: from categorical logic to quantum physics. D.Phil. thesis, University of Oxford (2017)"},{"key":"11_CR36","unstructured":"Maruyama, Y.: The dynamics of duality: a fresh look at the philosophy of duality. In: RIMS Kokyuroku (Proceedings of RIMS, Kyoto Univesity), vol. 2050, pp. 77\u201399 (2017)"},{"key":"11_CR37","series-title":"Studies in Applied Philosophy, Epistemology and Rational Ethics","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-96448-5_19","volume-title":"Philosophy and Theory of Artificial Intelligence 2017","author":"Y Maruyama","year":"2018","unstructured":"Maruyama, Y.: The frame problem, G\u00f6delian incompleteness, and the Lucas-Penrose argument: a structural analysis of arguments about limits of AI, and its physical and metaphysical consequences. In: M\u00fcller, V.C. (ed.) PT-AI 2017. SAPERE, vol. 44, pp. 194\u2013206. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96448-5_19"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-030-34974-5_14","volume-title":"Modeling and Using Context","author":"Y Maruyama","year":"2019","unstructured":"Maruyama, Y.: Compositionality and contextuality: the symbolic and statistical theories of meaning. In: Bella, G., Bouquet, P. (eds.) CONTEXT 2019. LNCS (LNAI), vol. 11939, pp. 161\u2013174. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34974-5_14"},{"key":"11_CR39","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-030-34974-5_13","volume-title":"Modeling and Using Context","author":"Y Maruyama","year":"2019","unstructured":"Maruyama, Y.: Contextuality across the sciences: bell-type theorems in physics and cognitive science. In: Bella, G., Bouquet, P. (eds.) CONTEXT 2019. LNCS (LNAI), vol. 11939, pp. 147\u2013160. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34974-5_13"},{"key":"11_CR40","series-title":"The Frontiers Collection","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-030-27569-3_15","volume-title":"WITTGENSTEINIAN (adj.)","author":"Y Maruyama","year":"2020","unstructured":"Maruyama, Y.: Foundations of mathematics: from Hilbert and Wittgenstein to the categorical unity of science. In: Wuppuluri, S., da Costa, N. (eds.) WITTGENSTEINIAN (adj.). TFC, pp. 245\u2013274. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-27569-3_15"},{"key":"11_CR41","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-030-49183-3_14","volume-title":"Engineering Psychology and Cognitive Ergonomics. Cognition and Design","author":"Y Maruyama","year":"2020","unstructured":"Maruyama, Y.: Rationality, cognitive bias, and artificial intelligence: a structural perspective on quantum cognitive science. In: Harris, D., Li, W.-C. (eds.) HCII 2020. LNCS (LNAI), vol. 12187, pp. 172\u2013188. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-49183-3_14"},{"key":"11_CR42","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-030-52152-3_25","volume-title":"Artificial General Intelligence","author":"Y Maruyama","year":"2020","unstructured":"Maruyama, Y.: The conditions of artificial general intelligence: logic, autonomy, resilience, integrity, morality, emotion, embodiment, and embeddedness. In: Goertzel, B., Panov, A.I., Potapov, A., Yampolskiy, R. (eds.) AGI 2020. LNCS (LNAI), vol. 12177, pp. 242\u2013251. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-52152-3_25"},{"key":"11_CR43","doi-asserted-by":"publisher","first-page":"2616","DOI":"10.1080\/00927872.2020.1721520","volume":"48","author":"Y Maruyama","year":"2020","unstructured":"Maruyama, Y.: Topological duality via maximal spectrum functor. Commun. Algebra 48, 2616\u20132623 (2020)","journal-title":"Commun. Algebra"},{"key":"11_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-030-43520-2_12","volume-title":"Relational and Algebraic Methods in Computer Science","author":"Y Maruyama","year":"2020","unstructured":"Maruyama, Y.: Higher-order categorical substructural logic: expanding the horizon of tripos theory. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds.) RAMiCS 2020. LNCS, vol. 12062, pp. 187\u2013203. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43520-2_12"},{"key":"11_CR45","doi-asserted-by":"crossref","unstructured":"Maruyama, Y.: Universal stone duality via the concept of topological dualizability and its applications to many-valued logic. In: Proceedings of FUZZ-IEEE. IEEE Computer Society (2020)","DOI":"10.1109\/FUZZ48607.2020.9177848"},{"key":"11_CR46","volume-title":"The Scientific Letters and Papers of James Clerk Maxwell: 1846\u20131862","author":"JC Maxwell","year":"1990","unstructured":"Maxwell, J.C.: The Scientific Letters and Papers of James Clerk Maxwell: 1846\u20131862. Cambridge University Press, Cambridge (1990)"},{"key":"11_CR47","unstructured":"McLear, C., Kant: philosophy of mind. In: Internet Encyclopedia of Philosophy. Accessed 2 Feb 2020"},{"key":"11_CR48","first-page":"34","volume":"12","author":"ML Minsky","year":"1991","unstructured":"Minsky, M.L.: Logical versus analogical or symbolic versus connectionist or neat versus scruffy. AI Mag. 12, 34\u201351 (1991)","journal-title":"AI Mag."},{"key":"11_CR49","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R Montague","year":"1970","unstructured":"Montague, R.: Universal grammar. Theoria 36, 373\u2013398 (1970)","journal-title":"Theoria"},{"key":"11_CR50","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-658-12153-2_3","volume-title":"Berechenbarkeit der Welt?","author":"P Norvig","year":"2017","unstructured":"Norvig, P.: On Chomsky and the two cultures of statistical learning. Berechenbarkeit der Welt?, pp. 61\u201383. Springer, Wiesbaden (2017). https:\/\/doi.org\/10.1007\/978-3-658-12153-2_3"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Paliwal, A., Loos, S.M., Rabe, M.N., Bansal, K., Szegedy, C.: Graph representations for higher-order logic and theorem proving. In: Proceedings of AAAI, pp. 2967\u20132974 (2020)","DOI":"10.1609\/aaai.v34i03.5689"},{"key":"11_CR52","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1023\/A:1026594023292","volume":"10","author":"FJ Pelletier","year":"2001","unstructured":"Pelletier, F.J.: Did Frege believe Frege\u2019s principle? J. Logic Lang. Inform. 10, 87\u2013114 (2001). https:\/\/doi.org\/10.1023\/A:1026594023292","journal-title":"J. Logic Lang. Inform."},{"key":"11_CR53","unstructured":"Thompson, N.C., et al.: The computational limits of deep learning (2020). arXiv:2007.05558"},{"key":"11_CR54","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1613\/jair.2934","volume":"37","author":"P Turney","year":"2010","unstructured":"Turney, P., Pantel, P.: From frequency to meaning: vector space models of semantics. J. Artif. Intell. Res. 37, 141\u2013188 (2010)","journal-title":"J. Artif. Intell. Res."},{"key":"11_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/978-3-319-96145-3_38","volume-title":"Computer Aided Verification","author":"W Zhou","year":"2018","unstructured":"Zhou, W., Li, W.: Safety-aware apprenticeship learning. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10981, pp. 662\u2013680. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96145-3_38"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67220-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,11]],"date-time":"2022-12-11T22:27:51Z","timestamp":1670797671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67220-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030672195","9783030672201"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67220-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","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":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}