Thursday 18 December 2014 DTU Compute will host a workshop on various aspects of Formalised Social Intelligence: how to use logic and other formalisms to reason about social situations and agents.
Time and place: Room S01, DTU Meeting Centre, building 101, 10.00-16.20.
Host: Thomas Bolander
The 4th annual meeting of the Reasoning Club, see http://www.kent.ac.uk/secl/philosophy/jw/reasoning/club/, will be held in the School of Mathematics, Manchester University on the 30th and 31st of March 2015.
The Keynote Speakers are Richard Booth (Luxembourg), Leon Horsten (Bristol), Federico Luzzi (Aberdeen) and Sara Uckelman (Durham).
In addition it is planned to have ten 40 minute contributed talks by Ph.D. students and early Postdocs, for whom grants will be available to cover the cost of accommodation and subsistence.
Please see http://www.maths.manchester.ac.uk/news-and-events/events/fourth-reasoning-club-conf/ for information on abstract submission and (free) registration.
Jeff Paris & Alena Vencovská, Local Meeting Organizers.