This book intends to bring together researchers and developers from industry, the education field, and the academic world to report on the latest scientific research, technical advances, and methodologies. The 10th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning is hosted by the University of L'Aquila and is going to be held in L'Aquila (Italy). Initially planned on the 17th to the 19th of June 2020, it was postponed to the 7th to the 9th of October 2020, due to the COVID-19 outbreak. The 10th edition of this conference and its related workshops expand the topics of the evidence-based TEL workshops series in order to provide an open forum for discussing intelligent systems for TEL, their roots in novel learning theories, empirical methodologies for their design or evaluation, stand-alone solutions, or web-based ones. This bridge has been realized also thanks to the sponsor of this edition of MIS4TEL: the Armundia Group https://www.armundia.com, the support from national associations (AEPIA, APPIA, CINI, and EurAI), and organizers (UNIVAQ, UNIROMA1, UNIBZ, UCV, UFSC, USAL, AIR institute, UNC, and UNIBA)

This book, which gathers the outcomes of the 9th International Conference on Methodologies and Intelligent Systems for Technology Enhanced Learning and its related workshops, expands on the topics of the evidence-based TEL workshop series in order to provide an open forum for discussing intelligent systems for TEL, their roots in novel learning theories, empirical methodologies for their design and evaluation, stand-alone solutions, and web-based ones. The Conference was hosted by the University of Salamanca and was held in Avila (Spain) from the 26th to the 28th of June 2019. Its goal was to bring together researchers and developers from industry, education, and the academic world to report on the latest scientific research, technical advances, and methodologies. We wish to thank the sponsors: IEEE Systems Man and Cybernetics Society, Spain Section Chapter and the IEEE Spain Section (Technical Co-Sponsor), IBM, Indra, Viewnext, Global Exchange, AEPIA, APPIA and AIR institute.

This book presents the outcomes of the 8th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning held in Toledo (Spain) hosted by the University of Castilla-La Mancha from 20 th to 22nd June 2018. Further expanding the topics of the previous editions, the conference provided an open forum for discussing intelligent systems for technology enhanced learning (TEL) and their roots in novel learning theories, empirical methodologies for their design or evaluation, stand-alone and web-based solutions and maker spaces, and also fostering entrepreneurship and increasing business startup ideas. It brought together researchers and developers from industry, the education field and the academic world to report on the latest scientific research, technical advances and methodologies.

New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods a la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.

The 12th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning was hosted by the University of L'Aquila and was held in L'Aquila (Italy) from July 13 to 15, 2022. The conference has established itself as a consolidated fertile forum where scholars and professionals from the international community, with a broad range of expertise in the TEL field, share results and compare experiences Technologies in TEL are capable of delivering smart, personalized, tailored, and motivating learning solutions. Methods are coming from different fields, such as education, psychology, medicine, computer science, and from diverse communities, where collaboration and co-working are used.

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development. Due to the Corona pandemic this event was held virtually.

State-of-the-art and novel methodologies and technologies allow researchers, designers, and domain experts to pursue technology-enhanced learning (TEL) solutions targeting not only cognitive processes but also motivational, personality, or emotional factors. The International Conference in Methodologies and Intelligent Systems for Technology-Enhanced Learning (MIS4TEL'21) is hosted by the University of Salamanca and was held in Salamanca (Spain) from October 6-8, 2021. The annual appointment of MIS4TEL established itself as a consolidated fertile forum where scholars and professionals from the international community, with a broad range of expertise in the TEL field, share results and compare experiences. The calls for papers of the 11th edition of the conference welcomed novel research in TEL and expands on the topics of the previous editions: It solicited work from new research fields (ranging from artificial intelligence and agent-based systems to robotics, virtual reality, Internet of things and wearable solutions, among others) concerning methods and technological opportunities, and how they serve to create novel approaches to TEL, innovative TEL solutions, and valuable TEL experiences.

State-of-the-art and novel methodologies and technologies allow researchers, designers, and domain experts to pursue technology-enhanced learning (TEL) solutions targeting not only cognitive processes but also motivational, personality, or emotional factors. The International Conference in Methodologies and Intelligent Systems for Technology-Enhanced Learning (MIS4TEL'21) is hosted by the University of Salamanca and was held in Salamanca (Spain) from October 6-8, 2021. The annual appointment of MIS4TEL established itself as a consolidated fertile forum where scholars and professionals from the international community, with a broad range of expertise in the TEL field, share results and compare experiences. The calls for papers of the 11th edition of the conference welcomed novel research in TEL and expands on the topics of the previous editions: It solicited work from new research fields (ranging from artificial intelligence and agent-based systems to robotics, virtual reality, Internet of things and wearable solutions, among others) concerning methods and technological opportunities, and how they serve to create novel approaches to TEL, innovative TEL solutions, and valuable TEL experiences.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Symposium, SETE 2019, held in conjunction with ICWL 2019, in Magdeburg, Germany, in September 2019. The 10 full and 6 short papers presented together with 24 papers from 5 workshops were carefully reviewed and selected from 34 submissions. The papers cover the latest findings in various areas, such as: virtual reality and game-based learning; learning analytics; K-12 education; language learning; design, model and implementation of e-learning platforms and tools; digitalization and industry 4.0; pedagogical issues, practice and experience sharing.

This book constitutes the proceedings of the 18th International Conference on Advances in Web-Based Learning, ICWL 2019, held in Magdeburg, Germany, in September 2019. The 15 full, 15 short, and 7 poster papers presented in this volume were carefully reviewed and selected from 68 submissions. The contributions were organized in topical sections named: Semantic Web for E-Learning, Learning Analytics, Computer Supported Collaborative Learning, Assessment and Pedagogical Issues, E-learning Platforms and Tools, Mobile Learning, and Poster Papers.

This book constitutes the refereed proceedings of the 15th International Conference on Web-Based Learning, ICWL 2016, held in Rome, Italy, in October 2016. The 19 revised full papers presented together with 10 short papers and 4 poster papers were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on design for learning; education and teaching; massive open online courses; mobile learning; modeling for learning; serious games; social-collaborative learning; and support for learning.