🔵 #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
⏰¡Este mes vuelve la Feria #MadridesCiencia! El evento científico que no te puedes perder.
👨💻David Balbás, investigador de #IMDEASoftware, nos cuenta cómo el software juega un papel crucial en la investigación.
👉Te esperamos del 19 al 21 de marzo en La Nave
#MadridEsCiencia
🔵 #ThesisDefense
🗣️ Researcher Fedor Ryabinin, advised by Alexey Gotsman, is making his thesis defence next Tuesday, November 25.
⏰ 10:30
📍 Sala de Grados (H-1001), ETSIInf. UPM, Campus de Montegancedo
🔎 Fast State-Machine Replication in Geo-Distributed Systems
#imdeasoftware #ImdeaThesis
🔵El Director Adjunto de #IMDEASoftware, Antonio Fernández, ha tomado el relevo de Marina para reflexionar sobre la labor que se realiza desde #REDIMadrid con el fin de garantizar el funcionamiento ininterrumpido del servicio.
🌐 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...
🚀 Desde IMDEA Software estamos muy orgullosos de recibir por primera vez la acreditación María de Maeztu como unidad de excelencia investigadora ¡Un gran impulso para seguir avanzando en ciencia e innovación! #SeveroOchoa #MaríaDeMaeztu #IMDEASoftware
🤝 Representando a #IMDEASoftware estuvieron, Manuel Hermenegildo, dir. fundador; Manuel Carro, dir.; Antonio Fernández Anta, subdir.; Juan Caballero, prof. investigador; y Andrea Iannetta, RRHH. Manuel Hermenegildo fue quien subió a recibir la acreditación.
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Sriram Sankaranarayanan (UC Boulder)
📅 8-17 July
⏰ 11:00 CET
🔎 Algebraic and Semi-Algebraic Reasoning in Formal Methods
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 06451074
#imdeasoftware
🔵 Ayer recibimos en #IMDEASoftware al rector de la Universidad Politécnica de Madrid (#UPM), Óscar García Suárez, junto al vicerrector de Investigación, Luis Gómez Fernández, y la delegada del rector para Comunicación y RR.II., Marta Olea Cárdenas.
🏆 El equipo UPC1, de la Universitat Politècnica de Catalunya (UPC), se alzó con el primer premio... ¡y con tres Nintendo Switch 2!
🎉 Desde #IMDEASoftware, patrocinador platino del evento, felicitamos a todos los participantes y organizadores.
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Sriram Sankaranarayanan (UC Boulder)
📅 8-17 July
⏰ 11:00 CET
🔎 Algebraic and Semi-Algebraic Reasoning in Formal Methods
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 42016240
#imdeasoftware
🔵 El pasado 1 de julio, Manuel Carro, director de #IMDEASoftware, participó en el encuentro de la Alianza #SOMMa en la Comunidad de Madrid, junto a representantes de los principales centros #SeveroOchoa y #MaríadeMaeztu.
🔗Más información aquí: software.imdea.org/es/news/2025...
🔵 El 30 de junio, Carlos de Higes y David Ricón ( #IMDEASoftware / #REDIMadrid) presentaron en el Workshop #MADQuantumCM los avances en infraestructuras y herramientas de ciberseguridad para redes cuánticas.
🔐 Un paso más hacia un futuro digital más seguro.
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Andrés Abeliuk, assistant professor (University of Chile - CENIA)
📅 Thursday, July 3
⏰ 11:00 CET
🔎 Evaluating Fairness in Large Language Models
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
#imdeasoftware #LLMs
🔵 Manuel Carro, Director of #IMDEASoftware, joined the latest #SOMMa Alliance meeting.
🔬 SOMMa unites Spain’s top research centers recognised with Severo Ochoa & María de Maeztu distinctions.
👏Proud to contribute to this community of scientific excellence.
🔵Researchers from #IMDEASoftware won Best Work-in-Progress at #JNIC2025 for their paper "Measuring Data Pollution in Cryptocurrency Abuse Reporting Services".
🏆Congrats to Gibran Gómez, Juan Caballero & Kevin van Liebergen!
📰 Read more: software.imdea.org/news/2025/06...
📸JNIC
🎉 A big thank you to everyone who took part in the #PosterCompetition2025 at the #IMDEASoftware Institute!
🔵 #INVITEDTalk at IMDEA Software Institute
🗣️ Carlos Baquero-Moreno, Professor at University of Porto
📅 Wednesday, June 25
⏰ 11:00 CET
🔎 Different Strategies in Scientific Publishing (How to be (i)relevant)
📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3
#imdeasoftware