Title: Proceedings of the 7th and 8th Asian Logic Conferences