The IMDEA Software Institute
Software IMDEA. Madrid Institute for Advanced Studies in Software Development Technologies.
Read Software.imdea.org news digest here: view the latest Software IMDEA articles and content updates right away or get to their most visited pages. Software.imdea.org is not yet rated by Alexa and its traffic estimate is unavailable. It seems that Software IMDEA content is notably popular in India. We haven’t detected security issues or inappropriate content on Software.imdea.org and thus you can safely use it. Software.imdea.org is hosted with Fundacion IMDEA Software (Spain) and its basic language is English.
Content verdict: Safe
Website availability: Live
Language: English
Last check:
-
N/A
Visitors daily -
N/A
Pageviews daily -
6
Google PR -
N/A
Alexa rank
Best pages on Software.imdea.org
-
imdea.org I am a tenured Associate Research Professor at the IMDEA Software Institute. Before joining IMDEA, I was a postdoctoral fellow at the University of Cambridge, where I also got my Ph.D. ...
-
News - IMDEA Software Institute
Madrid Institute for Advanced Studies in Software Development Technologies
-
September 26, 2024 The flagship research meeting on Automata, Logic, Semantics, and Theory of Programming awarded Alessio and his coauthors Dmitry Chistikov and Mikhail Starchak for a paper providi...
Software.imdea.org news digest
-
6 months
On the Specification and Analysis of Normative Contracts
In this talk I will present the work I have done concerning the specification and analysis of normative documents using deontic-based formalisms. I will also discuss challenges in the area and future research directions, including applications in smart...
-
7 months
IMDEA Software's main projects stand out at Transfiere
As in previous editions, in 2024 the Institute participated in the Research and Innovation Space of the Madrid Regional Government.
-
7 months
Silvia Sebastián tells what her thesis is about in less than three minutes
Unveils a novel automated approach to attribution, significantly transforming the process of identifying entities responsible for cyberattacks
-
7 months
Generative models for video games
This talk will show some of the recent advances we are doing at Microsoft Research towards agents capable of modeling complex environments and human behaviors, which is a key goal of artificial intelligence research. My team focuses on applications of...
Domain history
| Web host: | Fundacion IMDEA Software |
| Registrar: | Public Interest Registry |
| Registrant: | REDACTED FOR PRIVACY |
| Updated: | September 26, 2021 |
| Expires: | December 02, 2022 |
| Created: | December 02, 2005 |
Whois record
Safety scores
Trustworthiness
N/AChild safety
N/A
