Dissemination

Conference presentations

• 20th DECSoS Workshop on Dependable Smart Cyber- physical Systems and Systems-of-Systems, September 9th, Stockholm, Sweden

Workshop at SAFECOMP

• Summer School on Artificial Intelligence and Cybersecurity, 22-26 September 2025, Vienna, Austria

Robustness Certification of AI and Generative AI

• ACM/IEEE International Conference on Human-Robot Interaction (HRI), 16-19 March, Edinburgh, Scotland, UK

Towards a Framework for Studying Alignment Drift in Multi-Turn Human–Robot Interaction

• RV 2025, 25th International Conference on Runtime Verification, September 15-19, 2025, Graz, Austria

Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs

Conferences posters

• EMNLP 2025, November 4 –9, Suzhou, China

Randomized Smoothing meets Vision-Language-Models

• ICLR 2026, April 23rd – 27th, 2026, Rio de Janeiro, Brazil

Spatial-DISE: A Unified Benchmark for Evaluating Spatial Reasoning in Vision-Language Models

• NeurIPS 2025, Dec 2nd – 7th, 2025, San Diego, CA

Explainably Safe Reinforcement Learning

• Natan Levy et al., Statistical Runtime Verification for LLMs via Robustness Estimation | RV 2025 from September 15–19, 2025 Graz, Austria
• Chih-Hong Cheng et al., Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs | RV 2025 from September 15–19, 2025 Graz, Austria
• Yuan Gao et al., Foundation Models in Autonomous Driving: A Survey on Scenario Generation and Scenario Analysis
• Jinwei Hu et al.,DDSA: Dual-Domain Strategic Attack for Spatial-Temporal efficiency in adversarial robustness testing | ICASSP 2026 from 4-8 May 2026, Barcelona, Spain
• Tora Bodin & Ilaria Torre, Towards a Framework for Studying Alignment Drift in Multi-Turn Human–Robot Interaction | HRI’26 Edinburgh Scotland from March 16-18, 2026
• Ayelet Berzack &Guy Katz, On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability | MODELSWARD March 2026, Marbella Spain
• Boxuan Wang et al.,Chain-of-Thought as a Lens: Evaluating Structured Reasoning Alignment between Human Preferences and Large Language Models | ACL 2026 San Diego, California, from July 2 – 7, 2026
• Jinwei Hu et al., Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage | ACL 2026 San Diego, California, from July 2 – 7, 2026