10th Workshop

Computational Logic and Applications

Göteborg, Sweden, 18-19 May 2017

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:

  • counting and generating terms, propositions and trees,
  • random generation and Boltzmann samplers,
  • generating functions and the asymptotic evaluation of term/proposition size,
  • random software testing, counterexample generation, Monte Carlo techniques, and other applications of random generation of complex data.

All researchers are cordially invited to attend.

Invited talk

Leonidas Lampropoulos: Testing before Proving in the Coq Proof Assistant.

Talk proposals

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.

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


  • Pierre Lescanne: pierre (dot) lescanne (at) ens-lyon (dot) fr
  • Michał Pałka: michal (dot) palka (at) chalmers (dot) se

Workshop committee

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)


The event is supported by the Chalmers ICT Area of Advance and the and the SyTeC project.