From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9807 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Noam Zeilberger Newsgroups: gmane.science.mathematics.categories Subject: call for submissions: CLA'19 meeting and DMTCS special issue Date: Thu, 24 Jan 2019 00:24:43 +0100 Message-ID: Reply-To: Noam Zeilberger Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="139444"; mail-complaints-to="usenet@blaine.gmane.org" To: categories list , Original-X-From: majordomo@mlist.mta.ca Fri Jan 25 15:00:24 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([198.164.44.56]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gn21w-000a5C-6b for gsmc-categories@m.gmane.org; Fri, 25 Jan 2019 15:00:24 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:34647) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gn20b-0001xq-RF; Fri, 25 Jan 2019 09:59:01 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gn1zp-0001R3-QT for categories-list@mlist.mta.ca; Fri, 25 Jan 2019 09:58:13 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9807 Archived-At: The Computational Logic and Applications (CLA) workshops are a series of annual meetings (cf. https://cla.tcs.uj.edu.pl), whose main purpose is to provide a free and open forum for research on combinatorial and quantitative aspects of mathematical logic and their applications in computer science. The next meeting will take place in Versailles (France) in July 1-2, 2019. It will be followed by a special issue of DMTCS dedicated to the same topics. SCOPE Topics within the scope of CLA include: =E2=80=94 combinatorics of lambda calculus and related formalisms, =E2=80=94 quantitative aspects of program evaluation and normalisation, =E2=80=94 asymptotic enumeration in computational logic, =E2=80=94 statistical properties of formulae, terms and programs, =E2=80=94 random generation of large combinatorial structures in computatio= nal logic, =E2=80=94 randomness in software testing and counter-example generation met= hods. WORKSHOP Submission of a talk proposal for the meeting should be done no later than June 11, 2019, by sending a short abstract through Easychair ( https://easychair.org/conferences/?conf=3Dcla2019). The steering committee will decide on the meeting=E2=80=99s program by June= 14, 2019. Attendance is free upon registration. Invited speakers: =E2=80=94 Samuele Giraudo (LIGM, Univ. Marne la Vall=C3=A9e, France) =E2=80=94 Clemens Grabmayer (TCS, Vrije Univ. Amsterdam, Netherland) The steering committee for the workshop is =E2=80=94 Antoine Genitrini (Sorbonne University, Paris, France) =E2=80=94 Alain Giorgetti (University of Bourgogne Franche-Comt=C3=A9, Besa= n=C3=A7on, France) =E2=80=94 Bernhard Gittenberger (TU Wien, Vienna, Austria) =E2=80=94 Katarzyna Grygiel (Jagiellonian University, Krak=C3=B3w, Poland) =E2=80=94 Micha=C5=82 Pa=C5=82ka (Chalmers University of Technology, Gothen= burg, Sweden) =E2=80=94 Noam Zeilberger (University of Birmingham, United Kingdom) The organising committee is composed of =E2=80=94 Olivier Bodini (University Paris 13, Villetaneuse, France) =E2=80=94 Dani=C3=A8le Gardy (University of Versailles, Versailles, France) =E2=80=94 Antoine Genitrini (Sorbonne University, Paris, France) SPECIAL ISSUE Following the meeting, a special issue of DMTCS is planned for early 2020 with full papers on the topics of CLA. These papers can be either results presented at the 2019 CLA meeting, or at a former meeting but not published elsewhere, or results not presented at CLA, as long as they fall within the scope of the workshop. The submitted papers should present original research, including survey papers, which is not already published or submitted to publication to another journal. The editors for the special issue are =E2=80=94 Olivier Bodini (University Paris 13, Villetaneuse, France) =E2=80=94 Bernhard Gittenberger (TU Wien, Vienna, Austria) =E2=80=94 Marek Zaionc (Jagiellonian University, Krakow, Poland) The papers will be refereed according to the usual standards of DMTCS. IMPORTANT DATES =E2=80=94 June 11, 2019: submission deadline for talk proposals =E2=80=94 June 14, 2019: speaker notification for workshop =E2=80=94 June 24, 2019: registration deadline =E2=80=94 July 1-2, 2019: workshop =E2=80=94 September 30, 2019: submission deadline for contributions to the = DMTCS special issue SUBMISSION TO THE SPECIAL ISSUE Papers should be written in English. The submission process for DMTCS is the standard one for this journal. Ensure that you submit to the special volume "CLA 2019" and that you leave the section of the journal unspecified= . Authors will be notified of a decision within four months of submission to the special issue. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]