Keynote Speakers
Keynote Speaker I
![](./images/keynotespeakers/1.jpg)
Prof. Santi Caballé
Open University of Catalonia, Spain
Title: Empowering Education: Leveraging AI and Ethical Advancements in Online Learning
Abstract
This keynote will discuss the transformative potential of Artificial Intelligence (AI) in online education by introducing groundbreaking AI-powered educational methods tailored for online learning, underpinned by a commitment to ethical principles. These methods encompass intelligent conversational agents, adaptive recommendations, and insightful learning analytics, all geared toward enhancing the online educational experience. The objectives revolve around improving teaching quality, promoting effective online engagement, assessing skill acquisition, and critically examining the ethical implications of AI in online education. We will explore current and future approaches of how AI can empower online learners with essential competencies while maintaining ethical integrity, paving the way for a more inclusive and ethically informed digital education landscape.
Biography
Santi Caballé is a Full Professor of Learning Engineering and co-Director of the eLearning Research Programme at the Open University of Catalonia (UOC) based in Barcelona. He received a Ph.D. degree in Computing Engineering in 2008 from UOC. Prof. Caballé's research focuses on Learning Engineering, e-Learning, Distributed Computing, and Software Engineering, with international research engagements in the USA, Japan, Australia, and Brazil. His extensive academic contributions encompass over 250 peer-reviewed publications, numerous awards, and keynote addresses at international conferences. He also serves on editorial boards for prominent journals and books. Member of IEEE and ACM.
Keynote Speaker II
![](./images/keynotespeakers/2.jpg)
Prof. Francesco Moscato
Department of Computer Engineering, University of Salerno, Italy
Title: Validation and Verification of Smart Contracts in IoT applications
Abstract
Industry 4.0 is becoming more and more interested in blockchain and smart contract technology. With the use of smart contracts, new interactions are now possible, allowing for the complete automation of agreed-upon operations by contractors. This technique has a lot of potential in the Internet of Things (IoT) space since it enables complete automation by generating events for the software agents participating in a smart contract execution. Smart contracts must, however, abide by local, national, and international regulations as well as participant accountability. A smart contract's legal compliance must be confirmed in order to determine its soundness. Here, we discuss a mechanism for validating and verifying smart contracts' adherence to the law in IoT environments. This work's primary objective is to offer a formal model for validating law compliance of smart contracts and to determine potential responsibilities of failures. This talk will present a systematic approach to Smart Contracts validation and verification, which is based on model transformation techniques. The talk focuses on the use of a Multi-Agent System (MAS) model and a workflow language that enables to define and analyze agents’ interactions in IoT applications.
Biography
Francesco Moscato , PhD, is Associate Professor at University of Salerno. His research activities are mainly centered on formal modeling and verification of reliable and critical systems. He is author of many articles published on international journals, conf. proceedings and books. He was involved and leaded many national and international (EU funded) research projects. In the last 10 years, he has done substantial work in the area of formal verification and management of Cloud and IoT Systems, and in the composition and orchestration of Value Added Services in cloud environments.