Sixth Asian Logic Conference by