English
Related papers

Related papers: Introduction to Working Group 7

200 papers

The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) expertise in improving accessibility of studies for impaired individuals, (2) expertise in developing educational mathematics…

Logic in Computer Science · Computer Science 2023-03-13 Klaus Miesenberger , Walther Neuper , Bernhard Stöger , Makarius Wenzel

Research has shown that Educational Robotics (ER) enhances student performance, interest, engagement and collaboration. However, until now, the adoption of robotics in formal education has remained relatively scarce. Among other causes,…

The recent proliferation of artificial intelligence and machine learning (AI/ML) systems highlights the need for all people to develop effective competencies to interact with and examine AI/ML systems. We study shifts in five experienced…

Human-Computer Interaction · Computer Science 2026-03-30 Daniel J. Noh , Deborah A. Fields , Yasmin B. Kafai , Danaé Metaxa

With the rapid advancement of technology, Augmented Reality (AR) technology, known for its ability to deeply integrate virtual information with the real world, is gradually transforming traditional work modes and teaching methods.…

Artificial Intelligence · Computer Science 2024-04-30 Keqin Li , Peng Xirui , Jintong Song , Bo Hong , Jin Wang

The growing disconnection of the majority of population from mathematics is becoming a phenomenon that is increasingly difficult to ignore. This paper attempts to point to deeper roots of this cultural and social phenomenon. It concentrates…

History and Overview · Mathematics 2014-12-15 Alexandre V. Borovik

As soon as a new technology emerges, the education community explores its affordances and the possibilities to apply it in education. In this paper, we analyze sessions with ChatGPT around topics in basic Linear Algebra. We reflect the…

Computers and Society · Computer Science 2024-03-26 Eli Bagno , Thierry Dana-Picard , Shulamit Reches

Generative AI tools - most notably large language models (LLMs) like ChatGPT and Codex - are rapidly revolutionizing computer science education. These tools can generate, debug, and explain code, thereby transforming the landscape of…

Computers and Society · Computer Science 2025-07-04 Russell Beale

Generative artificial intelligence (GenAI) is increasingly used in education, posing significant challenges for teachers adapting to these changes. GenAI offers unprecedented opportunities for accessibility, scalability and productivity in…

Computers and Society · Computer Science 2025-11-26 Mutlu Cukurova , Wannapon Suraworachet , Qi Zhou , Sahan Bulathwela

The development of new technologies and their expanding use in a wide range of educational environments are driving the transformation of higher education. Assistive technologies are a subset of cutting-edge technology that can help…

Recent advancements in artificial intelligence (AI) are fundamentally reshaping computing, with large language models (LLMs) now effectively being able to generate and interpret source code and natural language instructions. These emergent…

Cybernetics and Systems Research (CSR) were developed in the mid-twentieth century, offering the possibility of describing and comparing different phenomena using the same language. The concepts which originated in CSR have spread to…

Adaptation and Self-Organizing Systems · Physics 2014-02-17 Carlos Gershenson , Peter Csermely , Peter Erdi , Helena Knyazeva , Alexander Laszlo

Computer science (CS) education needs to evolve to support software and artificial intelligence (AI) systems engineering, and it needs to happen now -- precisely because the core intellectual contributions of CS have never been more…

Software Engineering · Computer Science 2026-05-01 Chandra N. Sekharan , George K. Thiruvathukal

Internet technology has proven to be a vital contributor to many cutting-edge innovations that have given humans access to interact virtually with objects. Until now, numerous virtual systems had been developed for digital transformation to…

Cryptography and Security · Computer Science 2023-05-29 Muhammad Adil , Houbing Song , Muhammad Khurram Khan , Ahmed Farouk , Zhanpeng Jin

This chapter takes a historical view of the development of mathematics education, from its initial status as a business mostly managed by mathematicians to the birth of mathematics education as a scientific field of research. Starting from…

History and Overview · Mathematics 2016-03-03 Fulvia Furinghetti , José Manuel Matos , Marta Menghini

This paper surveys the use of Generative AI tools, such as ChatGPT and Claude, in computer science education, focusing on key aspects of accuracy, authenticity, and assessment. Through a literature review, we highlight both the challenges…

Computers and Society · Computer Science 2025-07-17 Iman Reihanian , Yunfei Hou , Yu Chen , Yifei Zheng

In this report, we share findings from a nationally representative survey of US public school math and science teachers, examining current generative AI (GenAI) use, perceptions, constraints, and institutional support. We show trends in…

This note presents reflections drawn from my recent experiences in teaching a course on mathematics and sustainability, with a particular emphasis on raising awareness of the topic and its broader implications. The lectures were structured…

History and Overview · Mathematics 2025-10-16 Henrik Shahgholian

Within the rapidly diversifying field of computational science and engineering (CSE), research software engineers (RSEs) represent a shift towards the adoption of mainstream software engineering tools and practices into scientific software…

Software Engineering · Computer Science 2022-01-12 Miranda Mundt , Reed Milewicz

The 7th International Workshop on Theorem proving components for Educational software (ThEdu'18) was held in Oxford, United Kingdom, on 18 July 2018. It was associated to the conference, Federated Logic Conference 2018 (FLoC2018). The major…

Logic in Computer Science · Computer Science 2019-04-01 Pedro Quaresma , Walther Neuper

As technology advances, conceptualizations of effective strategies for teaching and learning shift. Due in part to their facilitation of unique affordances for learning, mobile devices, augmented reality, and games are all becoming more…

Human-Computer Interaction · Computer Science 2024-11-19 Cassidy R. Nelson , Joseph L. Gabbard