Program SEN Symposium 2026

Time Topic Speaker
09:00 - 09:20 Walk-in  
09:20 - 09:30 Welcome  
09:30 - 10:15 Keynote
mCRL2: From an aspiration to an effective software design tool		 Jan Friso Groote (TU/e)
10:15 - 11:00 Invited Talk: Vulnerabilities In IoT/OT: A Decade of Finding Flaws and What AI Will Break Next Daniel dos Santos (Forescout)
11:00 - 11:30 Coffee break  
11:30 - 12:00 Lightning talks (Analysis & Security):
  • Eradicating the Unseen: Detecting, Exploiting, and Remediating a Path Traversal Vulnerability across GitHub by Jafar Akhoundali, Kristian Rietveld and Olga Gadyatskaya
  • Knowledge Graph Consistency Verification and Repair Against Poisoning Attacks in RAG by Zunchen Huang and Songgaojun Deng
  • Getting Disassembly Right: What Binaries Don’t Tell You (But the Compiler Could) by Daniel Engel
  
12:00 - 13:30 Lunch with a mentoring session for early career researchers Sangeeth Kochanthara (ASTRON) and Daniel Fietosa (RUG)
13:30 - 14:15 Invited Talk:
Human or Zero Human in Software Code		 Ayushi Rastogi (RUG)
14:15 - 14:45 Lightning talks (Human Factors in SE):
  • Don’t Patch the Symptom: Root Cause Analysis in Academia–Industry Software Projects by Andrea Capiluppi
  • Connecting Perceptions of Ethical Issues in Software by Tom Humbert
  • Assessment of Software testing training using augmented VBA by Bart Knaack
  
14:45 - 15:15 Coffee break  
15:15 - 16:00 Invited Talk:
Green software engineering: the past, the present, and the future		 Bernard van Gastel (RU)
16:00 - 16:30 Lightning talks (SE and LLMs / Learning):
  • Babbling Suppression: Making LLMs Greener One Token at a Time by Lola Solovyeva
  • Improving x86 Disassemblers, Emulators, and Binary Translators with Automatic CPU Analysis by Jos Craaijo
  • Software Ecosystems are Dead. Long live Software Ecosystems! by Slinger Jansen and Casper Van Schothorst
  
16:30 - 17:00 VERSEN:
  • Announcements
  • Awards
 
17:00 - 18:30+ Drinks & Snacks  

Copyright © , CWI