{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T08:08:05Z","timestamp":1761552485155,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032090072"},{"type":"electronic","value":"9783032090089"}],"license":[{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"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":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>AI is far beyond whatever I would have expected. LLMs will certainly have a major societal impact.<\/jats:p>\n                  <jats:p>My personal AI mission: There are huge opportunities and major risks. As there is no way to stop the development of AI, my mission is helping to make the best of it.<\/jats:p>","DOI":"10.1007\/978-3-032-09008-9_21","type":"book-chapter","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T07:56:19Z","timestamp":1761551779000},"page":"178-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Let\u2019s Talk AI with Computer Science Expert Bernhard Steffen"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","unstructured":"Alur, R., Giacobbe, M., Henzinger, T.A., Larsen, K.G., Miku\u010dionis, M.: Continuous-time models for system design and analysis. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000. Springer (2019).\u00a0https:\/\/doi.org\/10.1007\/978-3-319-91908-9_22","DOI":"10.1007\/978-3-319-91908-9_22"},{"key":"21_CR2","doi-asserted-by":"publisher","unstructured":"Baier, C., Hermanns, H., Katoen, J.-P.: The 10,000 facets of MDP model checking. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_21","DOI":"10.1007\/978-3-319-91908-9_21"},{"key":"21_CR3","doi-asserted-by":"publisher","unstructured":"Busch, D., Nolte, G., Bainczyk, A., Steffen, B.: ChatGPT in the loop: a natural language extension for domain-specific modeling languages. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality (AISoLA 2023). LNCS, vol. 14380, pp. 375\u2013390. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-46002-9_24","DOI":"10.1007\/978-3-031-46002-9_24"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1162\/001152604772746701","volume":"133","author":"S Carey","year":"2004","unstructured":"Carey, S.: Bootstrapping & the origin of concepts. Daedalus 133(1), 59\u201368 (2004)","journal-title":"Daedalus"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, E.M, Henzinger, T.A., Veith, H., Bloem, R.: Handbook of Model Checking. Springer (2018)","DOI":"10.1007\/978-3-319-10575-8"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Mathematical Aspects of Computer Science, Proc. of Symp. on Applied Mathematics, vol. 19, pp. 19\u201332. American Mathematical Society (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Gossen, F., Steffen, B.: Algebraic aggregation of random forests: towards explainability and rapid evaluation. Intl. J.\u00a0 Softw. Tools Technol. Trans. 25, 267\u2013285 (2023)","DOI":"10.1007\/s10009-021-00635-x"},{"key":"21_CR8","doi-asserted-by":"publisher","unstructured":"H\u00e4hnle, R., Huisman, M.: Deductive software verification: from pen-and-paper proofs to industrial tools. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000. Springer (2019).\u00a0https:\/\/doi.org\/10.1007\/978-3-319-91908-9_18","DOI":"10.1007\/978-3-319-91908-9_18"},{"issue":"10","key":"21_CR9","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"21_CR10","doi-asserted-by":"publisher","unstructured":"Lee, E.A.: Deep neural networks, explanations, and rationality. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality (AISoLA 2023). LNCS, vol. 14380. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-46002-9_1","DOI":"10.1007\/978-3-031-46002-9_1"},{"key":"21_CR11","unstructured":"Naur, P., Randell, B. (eds.): Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, October 1968. NATO Scientific Affairs Division (1969)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Raffelt, H., Merten, M., Steffen, B., et al.: Dynamic testing via automata learning. Intl. J. Software Tools Technol. Trans. 11, 307\u2013324 (2009)","DOI":"10.1007\/s10009-009-0120-7"},{"key":"21_CR13","unstructured":"Schiaffonati, V., Werthner, H., Lee, E., Vardi, M., Laurus, J., Metakides, G.: DigHum panel. beyond Chat-GPT: The impact of AI on academic research. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality (AISoLA 2023). LNCS, vol. 14380. Springer (2024)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Schl\u00fcter, M., Nolte, G., Murtovi, A., Steffen, B.: Towards rigorous understanding of neural networks via semantics-preserving transformations. Intl. J.\u00a0 Softw. Tools Technol. Trans. 25(3), 301\u2013327 (2023)","DOI":"10.1007\/s10009-023-00700-7"},{"key":"21_CR15","unstructured":"Senge, P.M.: System thinking. In: The Fifth Discipline: The Art and Practice of the Learning Organization. Broadway Business (2006)"},{"key":"21_CR16","unstructured":"Steffen, B., Alignment-Driven Adaptation Process & Tool (ADAPT): Towards Continuous and Holistic Adaptation of Organizations, Ph.D. Thesis, Universit\u00e4t Potsdam (2024)"},{"key":"21_CR17","doi-asserted-by":"publisher","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 311\u2013344. Springer (2019).\u00a0https:\/\/doi.org\/10.1007\/978-3-319-91908-9_17","DOI":"10.1007\/978-3-319-91908-9_17"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Teece, D.J., Petricevic, O.: Capability-based theories of multinational enterprise growth. In: The Oxford Handbook of International Business Strategy (2021)","DOI":"10.1093\/oxfordhb\/9780198868378.013.3"},{"key":"21_CR19","unstructured":"AISoLA Pi-Interview (https:\/\/aisola.org\/news\/pi-interview\/)"},{"key":"21_CR20","unstructured":"Her (https:\/\/en.wikipedia.org\/wiki\/Her_(2013_film))"},{"key":"21_CR21","unstructured":"Pi (https:\/\/pi.ai\/onboarding)"},{"key":"21_CR22","unstructured":"The Social Dilemma (https:\/\/en.wikipedia.org\/wiki\/The_Social_Dilemma)"}],"container-title":["Lecture Notes in Computer Science","Let\u2019s Talk AI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09008-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T07:56:26Z","timestamp":1761551786000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09008-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"ISBN":["9783032090072","9783032090089"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09008-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,28]]},"assertion":[{"value":"28 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}