News and Events
NewsNo news are available at this time.
ILIAS Distinguished Lecture: Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths
Formal computer proofs - irrespective of being developed interactively with modern proof assistants, fully automatically by automated theorem provers, or in a combination of both - are still rather unpopular amongst many mathematicians. Benzmüller will challenge this stance and point to recent success stories of computer-assisted proofs in maths and beyond. In particular, he will demonstrate how ...
ILIAS Distinguished Lecture: Algorithmic decision theory for solving complex decision problems
Today's decision makers in fields ranging from engineering to psychology, from medicine to economics and/or homeland security are faced with remarkable new technologies, huge amounts of information to help them in reaching good decisions, and the ability to share information at unprecedented speeds and quantities. These tools and resources ...