Northern Ireland's 50-year journey in relevant inclusive digital education: A professional view of the sustained vision

Northern Ireland (NI) offers a somewhat unique, and certainly compelling case study in the sustained strategic integration of digital technologies into schools. Spanning five decades, from what would now be regarded as primitive computer-assisted management of learning, to developed digital literacy and AI integration, NI's approach, particularly its centrally managed information and communications technology (ICT) service in every school, offers insights for global educational policy and practice.This brief professional commentary is based on the reviewed experience of the 50-year journey, informed by a substantial 35-year evidence base, the actions of the NI Government’s innovative EdIS Programme, comparative analyses of exemplary schools and is stimulated by a recently published set of IFIP Digital Education Task Force case studies. It expresses exclusive views of the author about the evolution of digital education in NI, highlighting its alignment with five key global sustaining factors: aspiration; diversity and inclusion; computational thinking; teacher practices; and strategic planning. Northern Ireland illustrates how a close connection between policy and practice, enabled by pedagogically skilful teachers, provides learners with digitally empowered learning experiences

Computer, Communication, and Signal Processing. Smart Solutions Towards SDG: 8th IFIP TC 12 International Conference, ICCCSP 2024, Chennai, India, March 20-22, 2024, Revised Selected Papers

International audienceBook Front Matter of AICT 72

World Conference of AI-Powered Innovation and Inventive Design: 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6–8, 2024, Proceedings, Part I

International audienceBook Front Matter of AICT 73

Intelligence Science V: 6th IFIP TC 12 International Conference, ICIS 2024, Nanjing, China, October 25–28, 2024, Proceedings

International audienceBook Front Matter of AICT 72

World Conference of AI-Powered Innovation and Inventive Design: 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6–8, 2024, Proceedings, Part II

International audienceBook Front Matter of AICT 73

Human Aspects of Information Security and Assurance: 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9–11, 2024Proceedings, Part I

International audienceBook Front Matter of AICT 72

Human Aspects of Information Security and Assurance: 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9–11, 2024Proceedings, Part II

International audienceBook Front Matter of AICT 72

AuDaLa is Turing Complete

Part 3: Short PapersInternational audienceAuDaLa is a recently introduced programming language that follows the new data autonomous paradigm. In this paradigm, small pieces of data execute functions autonomously. Considering the paradigm and the design choices of AuDaLa, it is interesting to determine the expressiveness of the language and to create verification methods for it. In this paper, we take our first steps to such a verification method by implementing Turing machines in AuDaLa and proving that implementation correct. This also proves that AuDaLa is Turing complete

Correspondence Between Composite Theories and Distributive Laws

International audienceComposite theories are the algebraic equivalent of distributive laws. In this paper, we delve into the details of this correspondence and concretely show how to construct a composite theory from a distributive law and vice versa. Using term rewriting methods, we also describe when a minimal set of equations axiomatises the composite theory