10th Workshop

Computational Logic and Applications

Göteborg, Sweden, 18-19 May 2017


The registration for CLA 2017 is now open! Participation is free of charge!

Important dates

Note: The submission and notification dates have been moved earlier by a week to make it easier to arrange travel.

Submission of talk proposals: 3 May 2017 26 April 2017

Notification of acceptance: 5 May 2017 28 April 2017

Registration deadline: 11 May 2017

We invite the participants to give talks of 45 minutes on topics relevant to the theme of the workshop. Please indicate your interest in giving a talk by submitting its title and abstract of about 200 words.

(*) Leave blank if you do not intend to give a talk.

In case of technical difficulties, please contact: