It is our pleasure to announce that the tenth workshop Computational Logic and Applications (CLA 2017) will be held on 18-19 May 2017 in Göteborg, Sweden. The workshop gathers researchers interested in quantitative aspects of mathematical logic and functional programming, including, but not limited, to topics such as:
All researchers are cordially invited to attend.
Leonidas Lampropoulos: Testing before Proving in the Coq Proof Assistant.
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 when registering. Depending on the number of submitted talks we may perform selection considering their relevance and diversity.
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
Maciej Bendkowski (Jagiellonian University, Kraków, Poland)
Olivier Bodini (Paris-Nord University, France)
Daniele Gardy (Versailles University, France)
Antoine Genitrini (Pierre et Marie Curie University, Paris, France)
Alain Giorgetti (Franche-Comté University, Besançon, France)
Bernhard Gittenberger (TU Wien, Austria)
Zbigniew Gołębiewski (Wrocław University, Poland)
Katarzyna Grygiel (Jagiellonian University, Kraków, Poland)
Pierre Lescanne (École normale supérieure de Lyon, France)
Michał Pałka (Chalmers University of Technology, Gothenburg, Sweden)
Paul Tarau (University of North Texas, USA)
Brent Yorgey (Hendrix College, Arkansas, USA)
Marek Zaionc (Jagiellonian University, Kraków, Poland)
Noam Zeilberger (University of Birmingham, United Kingdom)