Call for participation

It is our pleasure to announce that the eleventh workshop Computational Logic and Applications (CLA 2018) will be held on 24-25 May 2018 in Paris, France. The workshop gathers researchers interested in quantitative aspects of mathematical logic and programming, including, but not limited, to topics such as:

  • combinatorics of lambda calculus and related formalisms,
  • quantitative aspects of program evaluation and normalization,
  • asymptotic enumeration and analytic methods in computational logic,
  • enumeration and random generation of formulae, terms and programs,
  • asymptotic analysis and random sampling of concurrency processes and beyond,
  • random software testing and counterexample generation including Monte Carlo techniques.

All researchers are cordially invited to attend.

Program committee


Important dates

  • Submission of talk proposals: 3 May 2018
  • Notification of acceptance: 5 May 2018
  • Registration deadline: 17 May 2018


Registration

The registration for CLA 2018 is now open! Participation is free of charge! 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 sending an email to

(λx.x@lip6.fr)cla

including

  • your current affiliation,
  • the title of your talk(*), and
  • an abstract of about 200 words(*).

Following a selection process during the period of 3--4 May 2018, accepted talks will be announced on May 5 2018.

(*) If you don't plan to give a talk, please indicate it in the email.


Venue

The worshop will be held at the Sorbonne University (ex UPMC), Campus Pierre et Marie Curie (metro Jussieu).


Program

Details to be announced.


Participants

Details to be announced.


History

Below you can find details regarding some of the most recent CLA editions:


Contact

CLA 2018 is organized jointly by Laboratoire d'Informatique de Paris-Nord and Laboratoire d'Informatique de Paris 6.

Main organizers are: