Logic for Social Software

19^th February 2002, 16:00
Dr. Marc Pauly
Department of Computer Science, University of Liverpool