An informal workshop on computational methods in political philosophy