Top Tweets for #IMDEASoftware
⏰¡Cuenta atrás para la Feria #MadridesCiencia!
🧪Este mes de marzo vuelve a la @ComunidadMadrid el evento científico que no te puedes perder: ¡La Feria Madrid es Ciencia!
👨💻Y para ir calentando motores, David Balbás, investigador de #IMDEASoftware, nos cuenta cómo el software juega un papel crucial en la investigación.
👉¿Quieres saber más? Te esperamos del 19 al 21 de marzo en @LaNaveMadrid
#MadridEsCiencia @madrimasd @IMDEAInstitutes
🌐 We’re excited to share that #IMDEASoftware now has its own @Wikipedia entry.
🔎 This is another step in giving visibility to our work and the institute’s contributions to computer science research.
👉 Check it out here:
https://t.co/3xAD2MJW5P
🔵 El pasado 1 de julio, Manuel Carro, director de #IMDEASoftware, participó en el encuentro de la Alianza #SOMMa en la @ComunidadMadrid, junto a representantes de los principales centros #SeveroOchoa y #MaríadeMaeztu.
🔗Más información aquí: https://t.co/JerW10CtQl
🔵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: https://t.co/FcPAY1CPXL
📸JNIC
🔵 #ThesisDefense at #IMDEASoftware
🗣️ Researcher Emanuele Giunta, advised by Ignacio Cascudo, is making his thesis defense next Friday, June 6.
⏰ 10:00
📍 Sala de Grados (H-1001), ETSIInf. UPM, Campus Montegancedo
🔎 On the Limitations of Black-Box Constructions in Cryptography
#imdeasoftware #ImdeaThesis #cryptography
🔵 IMDEA Software participated actively in @EuroSysConf & @ASPLOSConf in Rotterdam, contributing with talks, workshops, and presentations on #systems, #AI, and #CloudComputing.
�� For more details, read the full article: https://t.co/lVyLR0VPUI
#IMDEASoftware #EuroSys2025 #ASPLOS2025 #SystemsResearch
🔵 Madrid will host #Eurocrypt2025, Europe’s leading conference in #cryptography.
📅 From May 4–8, 2025, Eurocrypt comes to Madrid for the first time, organised by the International Association for Cryptologic Research (@IACReurocrypt), in collaboration with #IMDEASoftware, which leads the local committee.
🌐 Eurocrypt is a key international forum for cryptographic research, bringing together 650+ experts from academia and industry.
🔗 More info: https://t.co/Vfkv9NGoeK
#Cryptography #Research #Cybersecurity #IACR
🔵 #IMDEASoftware has been accredited as a María de Maeztu Unit of Excellence by @CienciaGob.
🤝 This recognition strengthens our research mission, supports young talent, and drives our international leadership.
💡We're proud to join Spain’s top research institutions!
#MariaDeMaeztu #Excellence #Research
💡 ¡Primer día de la XIV Feria #MadridesCiencia!
🔎 Ven a visitar el stand de #IMDEASoftware y sumérgete en el fascinante mundo de la #criptografía, los #algoritmos y la #ciberseguridad.
📍Podrás encontrarnos en el Pabellón 1 de @IFEMA hasta este sábado.
🔵 #InvitedTalk at IMDEA Software Institute
🗣️ Marcelo Bagnulo and Angel Hernando-Veciana, @uc3m
📅 Tuesday, March 25
⏰ 11:00 CET
🔎 Pooling Liquidity Pools in AMMs
📍 302-Mountain View
🔴 LIVE on zoom: https://t.co/KOrY6Bz6IO
🔐 @s3
#imdeasoftware #blockchain #AMM #cryptoeconomics
🔵 #IMDEASoftware Director @manuel__carro talks to @Conversation_E about the real limits of #AI, the myths around it, and Europe's role in the #TechRace. From #CyberSecurity to #Software, he breaks down the hype.
🔗Full interview here: https://t.co/UV54ZlqL4O
🔵 #NEWS | IMDEA Software welcomed the Italian Embassy's science advisor in Spain this week, to find synergies and ways of collaboration with Italian research institutions and the tech ecosystem.
🌐 https://t.co/VUcFnR8y9Z
#imdea #imdeasoftware @IMDEAInstitutes
🔴 El director de #REDIMadrid e investigador de #IMDEASoftware, @cesar_sanchez, ha resumido el estado de la red, que cuenta con casi 360.000 usuarios de 16 instituciones de la @ComunidadMadrid.
Ha comentado que #REDIMadrid ha creado un nuevo CPD para expandir la red a más centros, y que sigue aumentando conexiones a 100 Gbps y construyendo la red cuántica de Madrid.
Ha hecho hincapié en los proyectos de futuro de la que ha calificado como fase de expansión, que ha comenzado en 2024 y se desarrollará durante los próximos dos años.
#JornadaREDIMadrid
🔵 Srdjan Matic explica en este vídeo el trabajo que desarrolla en IMDEA Software: "nos ocupamos de desarrollar nuevos lenguajes de programación y herramientas que nos ayudan a crear software de calidad".
#imdea #imdeasoftware #EuropeanResearchersNight
🔵 #NEWS | IMDEA Software researcher @nikivazou and co-authors of "Refinement types for Haskell" Eric L. Seidel, @RanjitJhala, @dvytin, and @simonpj0 receive the test of time award at @icfp_conference.
🌐 https://t.co/ehZytieWrJ
#imdea #imdeasoftware @IMDEAInstitutes #ICFP
🔵 El investigador Juan Caballero habla sobre seguridad informática para @RTVEMadrid, tras la caída global de Microsoft, durante la visita institucional de los consejeros @EVicianaDuro y @MLopezValverde y la viceconsejera @AnaRadMo a IMDEA Software.
#imdea #imdeasoftware
🔵 #InvitedTalk at IMDEA Software
🗣️ Andrei Draghici, from @UniofOxford
📅 June 13
⏰ 11:00 CEST
🔎 “Reachability in Fixed VASS: Expressiveness and Lower Bounds”
🔴 LIVE on zoom ➡️ https://t.co/SuZXD1wfeQ
🔐 @s3
#imdea #imdeasoftware
There are two weeks left to apply for a PhD position in my group at #imdeasoftware to work on software systems and software supply chain security. If you love hacking, playing with compilers or love binary analysis, this is for you https://t.co/d1MVYkhrjy
🔵 A group of researchers from #IMDEASoftware, @uc3m, and @NECLabsEU create innovative verification techniques to increase security in artificial intelligence and image processing.
The research is part of the #PICOCRYPT project - @ERC_Research
🌐 https://t.co/soud4GVFWk
#ERCCoG
🔵 #NEWS | In his thesis, Dr. Danielsson proposes decentralized and distributed algorithms based on Stream Runtime Verification to effectively and efficiently monitor decentralized and distributed systems to improve their quality
🌐 https://t.co/NgbkfrJuYj
#imdea #imdeasoftware
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.7M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.9M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.7M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91M followers
KATY PERRY
@katyperry
87.8M followers
Taylor Swift
@taylorswift13
81.7M followers
Lady Gaga
@ladygaga
73.2M followers
Virat Kohli
@imvkohli
70.1M followers
Kim Kardashian
@kimkardashian
69.9M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64M followers
Neymar Jr
@neymarjr
62.9M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.9M followers
Selena Gomez
@selenagomez
60.9M followers
X
@x
60.8M followers