🔵 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.

🔵 #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

🤝 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
🔐 42016240

#imdeasoftware

🎉 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

🔵 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.

🔵 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...

🔵 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.

🔵 #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

🚀 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

🌐 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...

🔵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

🏆 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.

🔵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.