IMDEA Software

🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Jose Luis Ambite, Associate Research Prof. at University of Southern California

📅 Wednesday, July 23
⏰ 10h CET
🔎 Federated Learning and Integration of Biomedical Data

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 seminar

#FLINT

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

👥 La ministra de Ciencia, Innovación y Universidades, Diana Morant, junto con la ministra de Educación, Formación Profesional y Deportes Pilar Alegría, presidieron dicho evento. También participó Jose Manuel Fernandez, director de la Agencia Estatal de Investigación.

🔵 Hoy ha tenido lugar en Zaragoza el Acto de entrega de acreditaciones a los Centros Severo Ochoa y Unidades María de Maeztu 2024.

La delegación @imdea-software.bsky.social

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

🤝 Agradecemos su interés y la oportunidad de seguir estrechando la colaboración entre IMDEA Software y la #UPM.

🚀 También visitaron nuestras instalaciones y conocieron de cerca el trabajo que realizamos en el ámbito del software científico y tecnológico.

👥 Fueron atendidos por nuestro director, Manuel Carro, y el subdirector, Antonio Fernández Anta.

👉Les presentaron las principales líneas de investigación del instituto, así como su misión y visión.

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

🔵 June 26: “My I[M]DEA Software: Poster Competition”
👥 This year’s edition featured 14 participants: 12 from IMDEA Software and 2 from IMDEA Networks

🏆 Winners:
▫️ Best Lightning Talk: Louis Rustenholz

▫️ Best Poster:

🥇 Kevin van Liebergen & Giannis Roumpos

🥉 Diego Castejón Molina

📰 Más información en nuestro apartado de noticias: software.imdea.org/es/news/2025...

🏆 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 4 y 5 de julio tuvo lugar la XI edición del concurso de programación #AdaByron en la Facultad de Informática de la Universidad Complutense de Madrid, con los 42 mejores equipos de programación de toda España.

Work with @afdezanta.bsky.social and other researchers from @imdea-software.bsky.social and IMDEA Networks. The main author is Daniele Baccega at qbio.di.unito.it/daniele-bacc...

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

🔵 ¡Nos vemos hoy en la XI edición del concurso universitario de programación #AdaByron!

🛜 Estaremos en el hall de la Facultad de Informática de la Universidad Complutense informando sobre nuestros programas de prácticas y doctorado. ¡Pásate a saludarnos!

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

🎉 IMDEA Software will be a Platinum Sponsor of the XI #AdaByron Programming Contest, July 4–5 at Universidad Complutense!

📣 Our Deputy Director, Antonio Fernández, will give a welcome talk on research careers in software.

▶️ Watch it live on YouTube!

👉 software.imdea.org/news/2025/06...

🔵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

🥘 After the competition, we all enjoyed a paella lunch in the courtyard and some fun games to get to know each other better.

👏It was a fantastic day full of science, collaboration, and community. We’re already looking forward to the next edition!

🎤 The elevator pitch award went to Louis Rustenholz, who did an excellent job summarizing his research in just one minute.

🏆 Choosing the winners was no easy task for the jury this year! In the end, two first prizes were awarded, shared by Kevin van Liebergen and Giannis Roumpos, with Diego Castejón taking third place.

🗣️ Once again this year, the quality of the posters was outstanding. All participants put in a great deal of effort, not only in preparing their posters but also presenting their work and delivering impressive elevator pitches.

🎉 A big thank you to everyone who took part in the #PosterCompetition2025 at the #IMDEASoftware Institute!

Quite honored to have done this talk at IMDEA, very fruitful discussion at the end.