Page d'accueil // SnT // Distinguishe... // The Computational Way to Argue - November 9, 2010

The Computational Way to Argue - November 9, 2010

It is our pleasure to host this distinguished lecture by Prof. Dr. Jürg Kohlas, University of Fribourg. The lecture will be followed by a reception. Please feel free to forward this invitation.

The Computational Way to Argue

Abstract: Ever since Leibniz and Bernoulli scholars have tried to formalize arguments in order to automate reasoning in any domain of human affairs. In today's times of computer agents this concern is more pressing than ever. This talk explains how ideas have evolved from their roots in the enlightenment to the needs of modern computing. 

Prof. Jürg Kohlas studied Mathematics and Physics at the University of Zurich. After a PhD in Operations Research and Applied Mathematics he became a researcher in the ABB corporate research center. From there he changed to the University of Fribourg (Switzerland) where he was appointed professor of Computer Science. His research concerned theoretical informatics in general and computational methods of reasoning under uncertainty and algebraic theory of information in particular. He participated in different European research projects and was visiting professor in various European and US Universities and research institutions.