Novi Sad, 26-27 May 2016
It is our pleasure to announce that the ninth workshop Computational Logic and Applications (CLA 2016) will be held on 26-27 May 2016 in Novi Sad, Serbia, as a satellite event of 22nd International Conference on Types for Proofs and Programs TYPES 2016.