09:45 : Opening 09:55 : Marina: Answer Set Programming for Modelling Agents with Trust 10:15 : Owen : Specifying Institutions using ASP 10.35 : Tom : TOAST: An Overview 10:55 : Martin : Some Thoughts on the Design of an Answer Set Solver 11:15 : Jonty : Games, logic and programming. 11:35 : Richard : New ASP Topics at Texas Tech University 12:55 : coffee 12:15 : Adrian : The Suitability of an Integrated Development Environment to Answer Set Programming 12:35 : Mark : Representing Action and Perception for Social Learning 12:55 : Jan : A Constructive Approach to modelling Learning Classifier System 13:15 : Tristan : On Game Theory and Wireless Protocols 13:35 : Lunch