donderdag 12 september 2019

KNAW: Verificatie van software: erg complex maar in ieders belang

Verificatie van software: erg complex maar in ieders belang
Vier sprekers zetten op 31 oktober 2019 uiteen welke opmerkelijke technieken al beschikbaar zijn voor veiligheidskritische systemen, en wat er nog moet gebeuren om software werkelijk betrouwbaar te...
Lees verder

Plasticvervuiling in de oceanen
Er is veel aandacht voor het oplossen van dit plasticprobleem. Maar weten we eigenlijk wel genoeg over de schade die al dit plastic in de oceanen aanricht?
Lees verder

CO2 reduction in the Dutch Climate Agreement
Nederland wil in 2030 49 procent minder CO2 uitstoten. Dat is vastgelegd in het Klimaatakkoord.
Lees verder