Work in Progress seminar in Logic