Formal methods research seminar 2018-19


The Formal Methods Group runs a guest speaker series. The guest speakers for 2017-18 are as follows:

Autumn 2018

Fri Oct 12th – Seamus Bradley (Leeds): “Belief models, aggregation and impossibility”
Fri Nov 9th – Weng Hong Tang (NUS): “Reliabilism and Imprecise Credences”
Fri Nov 16th – Nilanjan Das (UCL): “Externalism and Exploitability”

Winter 2019

Fri Feb 1st Johannes Stern (Bristol)
Fri March 1st Corinne Besson (Sussex)
Fri March 8th Lavinia Picollo (UCL)

Spring 2019

Fri May 17th James Studd (Oxford)

The talks take place on Fridays 14:00-16:00, in room 508, Philosophy Building, KCL Strand Campus. Everyone is welcome, but if you come from outside King’s you need to email Julien Dutant at in advance to be included in the visitor list.

Patrick Butlin at the Science Gallery London


, , ,

Patrick will feature in the panel discussion on:

‘Addiction: What, Why and Who?’

This Friday, 19 Oct, 20:15-21:00


The Science Gallery London is a new gallery at Guy’s Campus, KCL.

The discussion is part of the ‘Hooked Weekender‘, a weekend-long series of events connected with the gallery’s ‘Hooked’ exhibition on addiction and recovery.

Seamus Bradley (Leeds) at King’s Formal Methods seminar


, ,

“Belief models, aggregation and impossibility”

Friday Oct 12th – 14:00-16:00
Room 508, Philosophy Building

The “Belief Models” framework is a very general formal theory of rational belief. It encompasses propositional logic belief sets, but also ranking functions and lower previsions (i.e. lower probabilities). De Cooman (2005) shows that AGM-style expansion and revision operators can be defined in this framework. In this paper I will discuss aggregation of belief models, and draw some connections to various well-known impossibility results for aggregation.

Peter Sowerby Essay Contest 2018



Topic: “Doctor, will my treatment make me better?” Who is responsible for reducing uncertainties about the effects of treatments?

Eligibility: Students and alumni of all University of London schools, including undergraduate and postgraduate, and medical and professional schools.

Prize: £500

Length: less than 4,000 words

Due: 28 October 2018

Submission: Prepare your paper for blind review by making sure your name does not appear anywhere in the pages of the file, and send it to Essays will be assessed by a panel of distinguished academics from the University of London, chaired by Dr Tuomas Pernu.

Click here for more details.