Logic and Knowledge: From Theory to Applications
Staff - Faculty of Informatics
Start date: 17 June 2010
End date: 18 June 2010
The Faculty of Informatics is pleased to announce a seminar given by Dirk Pattinson
DATE: Thursday, June 17th 2010
PLACE: USI Università della Svizzera italiana, room A24, Red building (Via G. Buffi 13)
TIME: 09.30
ABSTRACT:
With the 21st century dubbed as the information age, readily available access to large pools of knowledge is equally critical for individuals and corporate and government bodies, and indeed for the functioning of modern societies at large. But the value of ``information at your fingertips'' stands or falls with the interpretation that this information receives. This talk shows how knowledge and information can be represented, and analysed, using techniques that originate in mathematical logic and automated reasoning. We describe the underlying models, the ensuing formal languages and the basic reasoning tasks and then discuss how the coalgebraic approach developed by the speaker allows for a uniform and compositional framework that provides us with the capabilities to meet the future challenges in this area.
BIO:
Dirk Pattinson obtained a Masters Degree in Mathematics from the University of Munich, Germany in 1996 and was awarded a PhD in Computer Science by the same institution in 2001. He has been working as a postdoctoral researcher at the University of Munich and held a visiting fellowship at Imperial College London in 2003. In 2005 he took up a Lectureship at the University of Leicester, UK, and moved to Imperial College London in 2006 where he is currently employed.
HOST: Prof. Mauro Pezzè
