Jornada “Producción almacenamiento y usos de hidrógeno”
November 9, 2017
El 7 de noviembre se celebró la Jornada “Producción almacenamiento y usos de hidrógeno”, organizada por la URJC en el...
[ Read More ]
Impacts of MicroPlastics in Agrosystems and Stream Environments
November 8, 2017
IMPASSE Project
[ Read More ]
Dario Fiore keynote speaker at NordSec2017
November 8, 2017
IMDEA Software Institute researcher Dario Fiore gives a keynote at the Nordic Conference on Secure IT Systems NordSec2017 who took...
[ Read More ]
A workshop on microbial electrochemistry inaugurates the Week of Science in IMDEA Water
November 8, 2017
The objective is to show its application to wastewater treatment
[ Read More ]
Dario Fiore keynote speaker at NordSec2017
November 8, 2017
IMDEA Software Institute researcher Dario Fiore gives a keynote at the Nordic Conference on Secure IT Systems NordSec2017 who took...
[ Read More ]
Affiliate faculty Prof. Roberto Giacobazzi talks at System and Software eanalysis event
November 7, 2017
Professor Roberto Giacobazzi of the University of Verona, Italy and IMDEA Software Institute visiting faculty member gave a talk at...
[ Read More ]
Talk by Joaquin Arias: TCLP(ASP): A meta-interpreter for goal-directed ASP using Tabling and Constraints
November 7, 2017
s(ASP) is a system which computes stable models of logic programs extended with negation (i.e., a logic program with no...
[ Read More ]
TCLP(ASP): A meta-interpreter for goal-directed ASP using Tabling and Constraints
November 7, 2017
s(ASP) is a system which computes stable models of logic programs extended with negation (i.e., a logic program with no...
[ Read More ]
Affiliate faculty Prof. Roberto Giacobazzi talks at System and Software eanalysis event
November 7, 2017
Professor Roberto Giacobazzi of the University of Verona, Italy and University of Verona, Italy visiting faculty member gave a talk...
[ Read More ]
