Refinement Types 101
November 5, 2019
In this talk I will briefly explain how refinement types can are used for program verification. Refinement types use the...
[ Read More ]
Talk by Veronica Dahl: AI for Social Responsibility: Embedding principled guidelines into AI systems
November 4, 2019
In this position talk we briefly retrace the historic and evolutionary context that led to AI’s results not necessarily being...
[ Read More ]
5th of November – Seminar “The good, the bad and the ugly: olive oil, palm oil and food industry”.
November 4, 2019
Monday, November 4, 2019 Next 5th of November, Belén Ruiz Roso, Postdoctoral Researcher of the Epigenetics of Lipid Metabolism Group...
[ Read More ]
AI for Social Responsibility: Embedding principled guidelines into AI systems
November 4, 2019
In this position talk we briefly retrace the historic and evolutionary context that led to AI’s results not necessarily being...
[ Read More ]
