Resources

Progress in symbolic AI has enabled the verification of complex systems and the resolution of long-standing open questions in mathematics. This talk will highlight some successes in AI-based computer-aided mathematics, including computing Schur number five, resolving Keller’s conjecture, and solving the Empty Hexagon problem.

Through qualitative methods, we identify organizations' growing interest in sustainability, challenges they face in integrating it into software development, and strategies employed to address these challenges through training and collaboration.

Discusses efforts within computing education to address sustainability through a systematic review of literature, identifying gaps in research and suggesting a need for more engagement with critical theories for systemic change.

This is an archive that captures reusable (software and not only) tactics, open for everybody to learn and contribute. It is an initiative of the VU Digital Sustainability Center and the S2 Research Group.

A set of instruments to design and innovate software and digital solutions that address sustainability as quality concerns, and define and operationalize them.

A platform for modeling and simulation of technologies in Cloud datacenters. OpenDC includes novel models for emerging cloud-datacenter technologies, such as serverless computing with FaaS deployment and TensorFlow-based machine learning.

As part of the "New Cloud for a Sustainable Digital Society" project, we have created a PowerBI tool for visualizing the news coverage in the Netherlands related to data centers and the related topics/concerns (economy, energy, heat, ...)