Asian Logic Conference (11th 2009 Singapore)