@imdea-software.bsky.social
At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
🔵 IMDEA Software hosted the 19th edition of the International Conference on Reachability Problems (#RP25)
🗣️ From October 1 to 3, the institute became a meeting point for researchers who gathered to discuss the latest advances related to this topic
📰 Full article: software.imdea.org/news/2025/08...
🔵 #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
🔵 Today we welcomed a delegation from the School of Economics and Management at Beihang University to the IMDEA Software.
🤝The visit focused on exploring potential collaborations at the intersection of computer science and economics.
📰 software.imdea.org/news/2025/03...
🎉Thanks to all attendees of the 19th International Conference on Reachability Problems #RP25.
👋See you at the next edition!
🔵 We wrapped up the morning session with Niki Vazou:
🗣️ "Liquid Haskell: Theorem Proving with Refinement Types".
🔵Today marks the final day of the 19th International Conference on Reachability Problems.
🗣️We open the session with Mickaël Randour:
"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis".
🏆 Last night at dinner, the Best Paper Award was presented to Joel D. Day and Matthew Konefal for their article "World Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems". Congratulations!
03.10.2025 10:24 — 👍 0 🔁 0 💬 1 📌 0
🔵Visita la web de la XX edición de las Jornadas #REDIMadrid.
👉 Un espacio para debatir el trabajo que se realiza desde REDIMadrid y el papel de las redes telemáticas en el desarrollo de investigación puntera a nivel internacional.
📅 21/10
📍 IMDEA Software
➕ www.redimadrid.es/jornadas.html
🗣️We continue into Day 2 of #RP25 Conference with Albert Atserias’ talk: “Local-vs-Global Consistency of Annotated Relations".
02.10.2025 13:33 — 👍 0 🔁 0 💬 1 📌 0
💾Day 2 of the 19th International Conference on Reachability Problems, #RP25.
👉Today we kick off the fourth session with Zak Kincaid, who will be talking about:
“Reachability Problems and Program Analysis".
👏We continue with the 19th International Conference on Reachability Problems #RP25.
📰The afternoon session opens with Alastair Donaldson presenting his work "When You Have a Fuzzer, Everything Looks Like a Reachability Problem".
🗣️Today we kicked off the conference with the opening talk by Anthony Lin:
“The Role of Logic and Automata in Understanding Transformers”.
📢 From October 1–3, the 19th International Conference on Reachability Problems (#RP25) is taking place at the IMDEA Software Institute.
🧵👇
🌙 El 26/09, IMDEA Software participó en la XVI #ERN, dentro de la actividad conjunta de los institutos IMDEA: “La ciencia que ayuda al planeta (II)”.
🎉 Gracias a todas las personas que se acercaron a exponer sus deseos durante esa tarde.
📰 software.imdea.org/es/news/2025...
🔵 #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
🌙 Hoy en la Residencia de Estudiantes de Madrid celebramos la #NocheEuropeaInvestigadores2025 de la mano de los 7 #IMDEAInstitutes.
🧪 Y tú ¿Qué deseo le pedirías a la ciencia?
🔵 #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
🔵 19th International Conference on Reachability Problems
📍 IMDEA Software, Madrid, Spain
📅 1-3/10
🤝 Join leading researchers and practitioners from around the world to explore the latest advances and open challenges in reachability problems
🔗 Registration:
rp25.software.imdea.org/registration...
🔵 #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
🔵 #INTERNSHIP | IMDEA Software invites applications for 2 research internships in Software Systems & Security. Supervisor: Georgios Portokalidis.
1️⃣ Software Systems & Security (#C2Rust)
📅 DL: 13 Oct.
2️⃣ Software Systems & Security (#DockerFilter)
📅 DL: 27 Oct.
📩 Apply: software.imdea.org/careers/
🔵 Our PhD student, Georgia Christofidi, spent three months at Google’s Seattle office as a student researcher, working on lifetime-aware virtual machine scheduling.
👉 Read the full story on our website: software.imdea.org/news/2025/15...
🔵 #HIRING | IMDEA Software Institute seeks #PhD students (supervised by Kaushik Mallik) in formal methods & control systems, focusing on verification/control of dynamical systems.
📅 Deadline: Oct 3rd
📌 Apply here: software.imdea.org/careers/2025...
🔵 19th International Conference on Reachability Problems
📍 IMDEA Software, Madrid, Spain
📅 1-3/10
🤝 Join leading researchers and practitioners from around the world to explore the latest advances and open challenges in reachability problems
🔗 Registration:
rp25.software.imdea.org/registration...
🔵 The IMDEA Software Institute is #hiring Tenure-Track Assistant Professors in ML, Privacy, Quantum Computing, Software Engineering & Systems.
📍 Madrid | 💼 Competitive salaries | 🌍 World-class research
🗓 Apply by Nov 14
🔗 software.imdea.org/es/careers/2...
🎫 Antonio Fernández Anta, director adjunto de
IMDEA Software te invita a "Pide un deseo a la Ciencia" en la Residencia de Estudiantes de Madrid, nuestra actividad de la #NocheEuropeaInvestigadores.
+ Info. c.madrid/7nrlc
🔵 #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
🔵 Our IMDEA Software researcher, Diego Castejón took part in #PETS2025, the leading conference on privacy-enhancing technologies, where he presented his paper "MixBuy: Privacy-Preserving Purchases of Digital Goods with Cryptocurrencies".
📰 Full article here: software.imdea.org/news/2025/01...
🔵 Daniele Cozzo, researcher at IMDEA Software, presented his paper at #Crypto2025.
🤝 “Verifiable Computation for Approximate Homomorphic Encryption Schemes”, was coauthored with Ignacio Cascudo, Dario Fiore, and Antonio Guimaraes.
📰 Full article: software.imdea.org/news/2025/28...
🌐 We’re excited to share that #IMDEASoftware now has its own @wikipedia.org entry.
🔎 This is another step in giving visibility to our work and the institute’s contributions to computer science research.
👉 Check it out here:
software.imdea.org/news/2025/08...
🔵 Proud of Thaleia Doudali and Georgios Portokalidis for AE co-chairing #EuroSys2025 and co-authoring a paper on 5 years of Artifact Evaluation lessons.
👏 Advancing reproducibility in computer science!
📰 Read here: software.imdea.org/news/2025/08...
