The Colloquium will take place 8-9 September 2017, with the BLC PhD day on 7 September.

This annual event includes mathematical and philosophical logic as well as logic in computer science and applications of logic. This year a particular session will be dedicated to applications of logic in computer science (type theory and program verification).