18th_Asian_Logic_Conference