A palestra “Immersive Media and the Colombian Armed Conflict: Rethinking Journalism Through 360º Storytelling” será apresentada dia 10 de julho, às 16:30, na sala I-105, moderada por António Baía Reis (Professor Auxiliar e bolseiro de pós-doutoramento Marie Skłodowska-Curie – Departamento de Sociologia e Comunicação, Universidade de Salamanca, Espanha).

Resumo:

“This talk presents research on the use of immersive media, specifically 360º video technology, as a journalistic tool for covering the Colombian armed conflict and promoting narratives of peacebuilding. Drawing on a qualitative multiple-case study, the speaker explores four immersive projects that document post-conflict experiences from the perspectives of victims and former combatants.The presentation will examine the motivations behind the adoption of immersive technologies in these contexts and critically reflect on their potential, limitations, and ethical implications. Particular attention will be given to the emotional and narrative impact of immersive storytelling, as well as concerns regarding image manipulation and journalistic independence. By highlighting good practices and identifying key challenges, this talk contributes to a broader understanding of the role immersive media can play in conflict reporting and peace communication, offering valuable insights for journalists, media professionals, and scholars interested in emerging storytelling formats. In an increasingly polarized and crisis-driven world, this research invites reflection on how immersive journalism can foster deeper engagement with complex realities.”

Sobre o Palestrante:

Andrés David Castro Lotero é professor de língua espanhola com especialização em Cultura e Economia e doutorando em Ciências da Comunicação na Universidade de Passau desde 2019. Anteriormente, estudou Comunicação e Jornalismo na Colômbia e fez um mestrado em Estudos de Desenvolvimento na Universidade de Passau. O seu tópico de investigação é principalmente a utilização de novos meios de comunicação no desenvolvimento de comunidades vulneráveis e na construção da paz, especialmente em contextos latino-americanos.

A palestra “How to hack the Turing trap with Trustworthy AI?” será apresentada dia 12 de junho, às 18:00, na sala B008, com a moderação de João Pedro Moreira (DEI).

Resumo:

“In this talk, in addition to technical aspects (i.e., fundamentals and tools for developing and validating human-centric self-explaining technologies that are aimed at assisting in all phases of the design, analysis and evaluation of trustworthy intelligent systems), we will discuss Ethical, Legal, Socio-Economic and Cultural (ELSEC) implications of Artificial Intelligence. Special emphasis will be placed on how to certify if intelligent systems comply with European values.”

Sobre o Palestrante:

José María Alonso Moral holds a M.S. and Ph.D. degrees in Telecommunication Engineering, both from the Technical University of Madrid (UPM), Spain, in 2003 and 2007, respectively. He is currently Associate Professor at the Department of Electronics and Computation of the CiTIUS-USC, Vice-Chair of the Task Force on “Explainable Fuzzy Systems” in the Fuzzy Systems Technical Committee of the IEEE Computational Intelligence Society (IEEE-CIS), Associate Editor of the IEEE Computational Intelligence Magazine (ISSN: 1556-603X) and the International Journal of Approximate Reasoning (ISSN:0888-613X), member of the IEEE-CIS Task Force on Fuzzy Systems Software, member of the IEEECIS SHIELD Technical Committee which is aimed at researching on Ethical, Legal, Social, Environmental and Human Dimensions of AI. He has published more than 190 papers in international journals, book chapters and conferences. His research interests include explainable and trustworthy artificial intelligence, computational intelligence, interpretable fuzzy systems, natural language generation, and the development of free software tools, etc.

A entrada é livre, sem necessidade de inscrição.

A palestra “Designing New Interfaces for Musical Expression: Opportunities and Challenges” será apresentada no dia 4 de junho, às 16:00, na sala B018, e será moderada pelo docente do DEI, Gilberto Bernardes de Almeida.

Resumo:

“Computer music has a compelling history, with initial attempts to perform computer-generated music live dating back several decades. Performing sounds generated by computers presents numerous opportunities and challenges for musical expression. Though virtually any sound can be synthesized and performed arbitrarily without the inherent physical constraints of strings, membranes, and columns of air, this freedom poses unprecedented challenges to instrument designers, composers, musicians, and concertgoers.
In this talk, I will discuss the design and use of several new interfaces developed at the Input Devices and Music Interaction Laboratory at McGill University, ranging from self-contained digital musical instruments and prosthetic interfaces for dance performances to fMRI-compatible electronic instruments used in neuroscience studies. I will highlight the unique context and challenges of each development, showcasing the critical importance of interdisciplinary research in this field. Finally, I will present an overview of the Centre for Interdisciplinary Research in Music Media and Technology (www.cirmmt.org), a leading research centre established 25 years ago, focusing on sound and music, based in Montreal, QC, Canada. CIRMMT’s mandate is to eliminate the barriers between disciplines and research domains by supporting researchers and artists from various backgrounds to interact in ways not possible in traditional academic environments.”

Sobre o Palestrante:

Marcelo M. Wanderley is Professor of Music Technology at McGill University, Canada, where he directs the Centre for Interdisciplinary Research in Music Media and Technology (CIRMMT). His research interests include the design and evaluation of digital musical instruments and the analysis of performer movements. He co-edited the electronic book “Trends in Gestural Control of Music” in 2000, co-authored the textbook “New Digital Musical Instruments: Control and Interaction Beyond the Keyboard” in 2006, and chaired the 2003 International Conference on New Interfaces for Musical Expression (NIME03). He held invited research chairs in several European and American institutions, including Inria Lille, France, the University of Mons, Belgium, and the Federal University of Minas Gerais, Brazil. He is a member of the Computer Music Journal’s Editorial Advisory Board and a senior member of the ACM and the IEEE.

A palestra intitulada “Governança de Inteligência Artificial: Erros, Desinformação e Desafios Contemporâneos” será apresentada no dia 16 de maio, às 10:30, na sala I-105.

Resumo:

Nesta sessão dupla, os investigadores André Lemos e Haline Maia exploram, a partir de perspectivas críticas e interdisciplinares, alguns dos principais dilemas que emergem da crescente presença da inteligência artificial na vida social, educacional e informacional.

André Lemos foca a sua apresentação nas falhas e perturbações que atravessam os sistemas algorítmicos, discutindo como a IA pode ser não apenas eficiente, mas também precária, incerta e opaca. Através de uma abordagem sociotécnica, analisa os erros da IA como elementos estruturantes da cultura digital contemporânea.

Haline Maia traz à discussão as implicações da IA nos ecossistemas informativos, com ênfase no jornalismo e na desinformação. Partindo de um estudo que combina metodologias participativas e avaliação ética de impacto tecnológico, apresenta reflexões sobre como alinhar tecnologias como deepfakes e fact-checking automatizado com valores humanos fundamentais.

Cada uma das intervenções terá uma duração de 30 minutos, terminando com um espaço de debate com o público. A palestra integra a pesquisa Governança de Inteligência Artificial no Brasil e em Portugal: Cruzamento e Tendências. Apoio CNPQ/MCTI/FNDCT 22/2024.

Sobre os Palestrantes:

André Lemos é Professor Titular da Faculdade de Comunicação da Universidade Federal da Bahia (UFBA) e coordenador do Lab404. Doutor pela Sorbonne, com pós-doutoramentos no Canadá, Irlanda e Brasil, é referência internacional em cibercultura, mediações tecnológicas e estudos sociotécnicos. Autor de mais de 15 livros e vencedor de diversos prémios, atualmente investiga os efeitos dos erros, falhas e instabilidades nos sistemas digitais. É pesquisador nível 1A do CNPq e membro titular da Academia de Ciências da Bahia.

Haline Maia é investigadora afiliada ao INESC TEC e ao CIRCLE (Lund University), além de Professora Associada no IPAM. Doutorada pela FEUP em Media Digitais, atua nas áreas de governança da IA, ética algorítmica e educação. Com 15 anos de experiência em comunicação, tem produção académica indexada e participação ativa em projetos internacionais sobre jornalismo automatizado e estratégias digitais.

A palestra intitulada “Safe Evolution of Smart Contracts Supported by LLMs and SMT Solvers” será apresentada dia 24 de abril, às 14:00, na sala B006, com a moderação de Nuno Macedo (DEI).

Resumo:

“The focus of this talk is a framework that supports the safe deployment and upgrade of smart contracts based on the design-by-contract (dbc) paradigm. The input is (i) an interface specification with invariants and pre- and postconditions for each function, and (ii) an implementation to be verified. The deployed version of a smart contract must conform to this specification. Specification evolution might involve both changing the data representation as well as extending the interface with new functions, provided the evolved specification is a refinement of the original one. A distinguishing feature of the overall approach is the automation of the verification process in a hidden formal methods style. Since developers tend to be reluctant to provide formal specifications for software components, we are investigating state-of-the-art NL processing technologies, using Large Language Models (LLMs), particularly, ChatGPT, to automatically infer formal (dbc) interface specifications from textual requirements. Also, when an upgrade involves change of data representation, we use the Alloy Analyser to automatically infer the relation between the two data representations. The applicability of the framework is evaluated in the context of Solidity smart contracts that implement some Ethereum standards. This project is a collaboration between Universidade Federal de Pernambuco (Brazil), The University College Oxford Blockchain Research Centre (UK), and The Blockhouse Technology Limited (UK).”

Sobre o Palestrante:

Augusto Sampaio is a DPhil from Oxford University, Doctor Honoris Causa from the University of York, Commander of the Brazilian Order of Scientific Merit, a member of the Brazilian Academy of Science, and a Professor at Universidade Federal de Pernambuco. His main research interests are software engineering formal methods; formal approaches to testing; design, simulation and verification of robotic systems; and safe evolution of smart contracts. He is an Editorial Board member of Formal Aspects of Computing (ACM) and Science of Computer Programming (Elsevier), and has been a PC member of leading conferences in the field (FM, ETAPS, SEFM, ICFEM, ICTAC …). He published more than 150 papers and supervised 60 PhD and master’s students.

A palestra intitulada “Cyber Security Threat Landscape in the Context of Industry 4.0” será apresentada dia 14 de abril, às 14:30 (1h), na sala I-105, com a moderação de Pedro Diniz (DEI).

Resumo:

Industry 4.0 is revolutionizing the ways in which industries function. Big data, industrial control systems, supervisory control, and data acquisition systems, smart machines, robotics, internet of things (IoT) etc., all fall under the umbrella of Industry 4.0. With the fourth industrial revolution comes new operational risks for smart manufacturers, connected devices, and digital supply networks. With increasing digital transformation and interconnected nature of industry 4.0, cyberattacks can have significantly greater effects than ever before while the manufacturers may not be prepared for the potential risks. Without the strong cybersecurity practices in place, industries can be subject to industrial property theft, production sabotage, industrial espionage etc. To address the cyber risks adequately in the era of industry 4.0, it is crucial to make the cyber security strategies secure and resilient and integrate them fully in the organizational strategies from the beginning. This talk will discuss different types of attacks smart industries can be targeted for. The talk will also recommend some techniques and cyber security practices that the manufacturing industries must adopt to protect themselves against such attacks.

Sobre o Palestrante:

Haider Abbas is the head of the R&D Department at the College of Signals, NUST, and founder of the National Cyber Security Auditing and Evaluation Lab (NCSAEL). He is a Cyber Security expert with advanced training from MIT, Stockholm University, IBM, and EC-Council, and holds a PhD in Information Security. Dr. Abbas is an editor for several renowned journals and has chaired numerous international conferences. He has authored over 130 research papers and has received multiple prestigious awards, including the NUST Best Researcher Award. He is a Fellow of the IET, BCS, and IST, and a Senior Member of IEEE. Additionally, he serves on the Board of Governors for Pakistan’s National Information Technology Board (NITB).

A palestra intitulada “Towards AI-Assisted Synthesis of Verified Dafny Methods”, será apresentada no dia 24 de março, às 11:00, na sala I-105, moderada por Rui Maranhão (DEI).

Resumo:

“LLMs show “great promise” in code synthesis. Can they keep the promise and ensure that the synthesized code is provably correct?
In this talk I will present our work on synthesizing formally verified Dafny methods. LLMs don’t know much about Dafny, but they learn fast with proper RAG-CoT prompts. We spent 6 weeks hand-coding 50 verified algorithms in Dafny, and then GPT4 was able to generate 103 new ones with the right postconditions and the necessary verification hints.
Md Rakib Hossain (Misu) co-led the work, with assistance from Iris Ma. Joint work with James Noble.”

Sobre a Palestrante:

Cristina (Crista) Lopes is a Professor in the School of Information and Computer Sciences at University of California, Irvine, with research interests in Programming Languages, Software Engineering, and Distributed Virtual Environments. She is an IEEE Fellow and an ACM Distinguished Scientist. She is the recipient of the 2016 Pizzigati Prize for Software in the Public Interest for her work in the OpenSimulator virtual world platform. Her book “Exercises in Programming Style” has gained rave reviews, including being chosen as “Notable Book” by the ACM Best of Computing reviews.

A palestra intitulada “Neuronflow: an event-driven processor architecture for low power AI at the edge” será apresentada no dia 6 de março, pelas 11:30, na sala I-105, com a moderação de Pedro Diniz (DEI).

Resumo:

“This presentation provides an in-depth overview of the GrAIcore Neural Processing Unit (NPU) architecture developed by Snap Inc. for Augmented Reality applications, emphasizing the role of sparsity in achieving significant power and performance improvements compared with traditional architectures. The discussion will focus on the necessity of redesigning traditional computer architectures to adopt an event-driven execution model, which is critical for harnessing the benefits of sparsity. Additionally, the talk will explore advanced training optimization techniques that enhance network activation sparsity, enabling the full potential of the event-driven multicore architecture to be realized. This holistic approach to architectural and algorithmic design is essential for leveraging the unique advantages of the GrAIcore NPU in real-world applications.”

Sobre o Palestrante:

Orlando Moreira is Chief Computer Architect and Senior Manager at Snap Inc. in Eindhoven, Netherlands. His expertise encompasses computer architecture, edge AI, embedded systems, real-time systems, and data flow methodologies. Before his tenure at Snap Inc., Moreira held the position of Chief Architect at GrAI Matter Labs, where he was responsible for the compute architecture and software development kit (SDK) roadmaps.
Before, he worked for Philips Research, ST-Ericsson, Ericsson, and Intel (where he was group leader for programming and core tools – compiler, simulator, debugger and hw generation).
Throughout his career, Moreira has contributed peer-reviewed to the field of computer architecture, particularly in the areas of embedded and cyber-physical systems, as well as the field of real-time design, modeling, and analysis.
He holds a PhD in Electrical Engineering from the University of Eindhoven.

A palestra intitulada “AI and the Worlds of Work“ será apresentada no dia 25 de fevereiro, pelas 11:00, na sala I-105, com a moderação de António Coelho (DEI).

Resumo:

“The effects of AI on work is a central point of discussion and negotiation in many fields. Machines and mechanical tools have replaced some but not all physical manual labour. The assumption is that AI will bring similar changes, eradicating some jobs, transforming many and having little impact on others. At the moment we know very little about which jobs AI will replace, transform, increase or have little real impact on, but we know that the scope of work and jobs is wide, and that changes do not occur automatically, they are usually negotiated, and negotiations have already begun to take place in a number of sectors. While industrial machines largely replaced low-skill, low-paid physically demanding manual work, the assumption is that AI will increasingly have an impact on high-skill, high-qualification, and high-consequence cognitive and even “creative” work. As AI poses challenges to workers of higher standing and better organized, the deployment and use of AI is subject to negotiation and contestation, both at workplaces and in central negotiations between employers and employee representatives. Worlds of work differ from technical and social perspectives, and as we already see, AI is confronted differently dependent upon what types of employees are being impacted and in which jurisdiction. This lecture examines the various reactions to the “threats” and “possibilities” of AI among different types of workers from telecoms to entertainment in Europe and North America, arguing that institutional factors play a significant role in these negotiations and subsequent use and deployment of AI.”

Sobre o Palestrante:

Chris Mathieu is Reader in the Sociology of Work and Organisations at the Department of Sociology, Lund University, and previously (2002-2014) Associate Professor at the Department of Organisation, Copenhagen Business School. From 2015-2018 he was coordinator of the Horizon 2020 project QuInnE (quinne.eu) – Quality of Jobs and Innovation Generated Employment Outcomes. His primary research areas include film production as well as medical education and practice. Book publications include: Careers in Creative Industries (Routledge, 2012); Accomplishing Cultural Policy in Europe (Routledge 2022); and The Oxford Handbook of Job Quality (OUP, 2022). A recent article on AI as a focus area of labour negotiations is: Ilsøe, A., Larsen, T. P., Mathieu, C., & Rolandsson, B. (2024). Negotiating about Algorithms: Social Partner Responses to AI in Denmark and Sweden. ILR Review, 77(5), 856-868. https://doi.org/10.1177/00197939241278956f