🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Hana Chockler (King's College London)
📅 Tuesday, Mar 24
⏰ 11:00 CET
🔎 Using actual causality for debugging and explainability
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software
🗣️ Eleni Straitouri, Max Planck Institute for Software Systems
📅 Tuesday, Mar 10
⏰ 11:00 CET
🔎 Designing Systems to Improve Humans, Reliably
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 @s3
#imdeasoftware
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Mariana Gama (COSIC, KU Leuven)
📅 Tuesday, February 17
⏰ 11:00 CET
🔎 Accelerating post-quantum zkSNARKs through distribution and private delegation
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Dongwei Xiao, Hong Kong University of Science and Technology
📅 Tuesday, February 10
⏰ 10:00 CET
🔎 Towards Dependable Systems for Privacy-Enhancing Technologies
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🎤 INTELLIGENT invited to speak at industry events
🍂 In autumn 2025, the INTELLIGENT project shared invited insights on user-centred social interventions in the energy transition ⚡
👩🔬 Speaker: Lisa Diamond (AIT)
👉 Read more:
intelligent-project.eu/2026/01/30/i...
#EnergyTransition #InvitedTalk
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Claudio Battiloro, Harvard T.H. Chan School of Public Health
📅 Tuesday, January 27
⏰ 10:00 CET
🔎 The Shapes of Knowledge: Topological and Geometric Methods to Learn on Complex Networks
📍 302-Mountain View, Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Thomas Humphries, University of Waterloo
📅 Monday, January 26
⏰ 10:00 CET
🔎 Evolving Privacy Trade-offs for Deployable AI Systems
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️Ignacio de la Serna, Max Planck Institute
📅 Tuesday, January 20
⏰ 11:00 CET
🔎 Bias in Deep Face Models
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Miguel Á. Carreira-Perpiñán
📅 Monday, January 19
⏰ 11:00 CET
🔎 Oblique decision trees as an image model for segmentation and other tasks
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Xinyue Shen
📅 Thursday, January 15
⏰ 10:00 CET
🔎 Securing AI Systems Against Real-World Misuse
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
#Forthcoming #NewYearResolution2026
Honoured to give an #InvitedTalk at #Mubil #CityScienceLab @gipuzkoa.eus #BasqueCountry on 20 Feb 2026, 10:00.
I’ll present ongoing #ActionResearch on #DigitalInclusion + #Anticipatory #AIGovernance + #EcoTechnoPolitics
#Academic & #policy audiences welcome
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Kshitiz Verma, Bar Council of Rajasthan, India
📅 Thursday, Nov 27
⏰ 15:00 CET
🔎 Decoding EU AI Regulations
📍 Online Only
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Luis Rodrigues, professor at Instituto Superior Tecnico, Universidade de Lisboa
📅 Monday, Nov 24
⏰ 15:00 CET
🔎 Achieving Low Latency in Geo-Distributed Totally Ordered Logs
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Albert Garreta, PhD in Mathematics (Stevens Institute of Technology, USA)
📅 Wednesday, November 5
⏰ 11:00 CET
🔎 Zinc: reducing arithmetization overheads in proof systems
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Alexandru Popa, Professor Dept. Computer Science (University of Bucharest)
📅 Tuesday, November 4
⏰ 11:00 CET
🔎 Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Antreas Dionysiou, TU Delft
📅 Tuesday, October 7
⏰ 11:00 CET
🔎 Security at Every Layer: From Password Deception and Machine Learning Attacks to Binary Validation
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Oriol Saguillo, PhD student IMDEA Networks
📅 Tuesday, September 30
⏰ 11:00 CET
🔎 Unravelling the Probabilistic Forest: Arbitrage in Prediction Markets
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Eduardo Castelló Ferrer, IE University
📅 Friday, September 26
⏰ 11:00 CET
🔎 Blockchain-based robotics: creating novel interfaces between human and robot societies
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
📢 New #InvitedTalk with César Fernández, scientific researcher at the Barcelona Institute for Microelectronics (IMB-CNM, CSIC)
‘The potential of compact electrochemical tools in the point-of-care detection of clinical biomarkers’
📅 Oct. 7
⌚ 11:00
📌 Martina Casiano Auditorium
➡️ Free attendance
📢 New #InvitedTalk with Prof. Akio Kimura, Graduate School of Advanced Science and Engineering, Hiroshima Univiersity (Japan)
'Probing Electronic Structures of Heusler-type Metamagnetic Shape Memory Alloys by Synchrotron Spectroscopy'
📅 Oct. 3
⌚ 12:00
📌 Martina Casiano Auditorium
➡️ Free attendance
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Julia Lawall, researcher at Inria Paris
📅 Friday, September 19
⏰ 15:00 CET
🔎 Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
🚀 Don’t miss Felix Sasaki’s invited talk at #SEMANTiCS2025!
"Semantic Modeling for Scaling AI Assistants and AI Agents in the Enterprise" — discover how semantics can supercharge enterprise AI systems.
#SemanticWeb #AI #KnowledgeGraphs #EnterpriseAI #InvitedTalk
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Dimitris Kolonelos, Postdoctoral Researcher at UC Berkeley
📅 Tuesday, September 2
⏰ 11:00 CET
🔎 Jigsaw: Doubly Private Smart Contracts
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
#IJCAI2025 #Guangzhou Machines are considered creative when they produce ideas or artefacts that are new, surprising, and valuable, such as novel drugs or materials, while humans guide what counts as an “interesting” direction. - Toby Walsh, AI Institute/UNSW Sydney #InvitedTalk
#Workshop The 9th BioCreative Challenge and Workshop (BC9): LLMs for Clinical and Biomedical NLP #InvitedTalk 🗣️ Lawrence Hunter, University of Chicago 🗨️Evaluation in the era of large language models
www.ncbi.nlm.nih.gov/research/bio...
#IJCAI2025
#Workshop The 9th BioCreative Challenge and Workshop (BC9): LLMs for Clinical and Biomedical NLP #InvitedTalk 🗣️ Wendy Chapman, University of Melbourne 🗨️Mind the Gap: Preparing innovation for the real world
www.ncbi.nlm.nih.gov/research/bio...
#IJCAI2025
#Workshop Generative AI & Theory of Mind in Communicating Agents #InvitedTalk
🗣️Joyce Y. Chai, U. Michigan
🗣️Tomer Ullman, Harvard University
🗣️Vered Swartz, U. British Columbia & Vector Institute
🗣️Max Kleiman-Weiner, U. of Washington
🗣️Pei Zhou, Microsoft
#IJCAI2025
tomworkshop.github.io
#Workshop 4th Workshop on the Interactions between Analogical Reasoning and Machine Learning #IARML2025 #InvitedTalk 🗣️Francesca Toni, Imperial College London #IJCAI2025 iarml-workshop.github.io#schedule
#Workshop 4th Workshop on the Interactions between Analogical Reasoning and Machine Learning #IARML2025 #InvitedTalk 🗣️Philippe Langlais, University of Montreal #IJCAI2025 iarml-workshop.github.io#schedule
#Workshop User-Aligned Assessent of Adaptive AI Systems #InvitedTalk 🗣️Ruqi Zhang, Purdue University 🗨️Talk: Aligned and Safe LLMs via Probabilistic Modeling #IJCAI2025 aair-lab.github.io/aia2025/inde...
