From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9806 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Noam Zeilberger Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory Subject: call for submissions: CLA'19 meeting and DMTCS special issue Date: Thu, 24 Jan 2019 00:24:43 +0100 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============6826068946935026641==" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="4912"; mail-complaints-to="usenet@blaine.gmane.org" To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, categories list , ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Thu Jan 24 07:14:13 2019 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.89) (envelope-from ) id 1gmYH7-00012H-Sj; Thu, 24 Jan 2019 07:14:06 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x0O6BosZ029143; Thu, 24 Jan 2019 01:12:09 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from sympathy.seas.upenn.edu (sympathy.seas.upenn.edu [158.130.69.34]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x0NNOvoV018824 for ; Wed, 23 Jan 2019 18:24:57 -0500 Original-Received: from mx0b-000c2a01.pphosted.com (mx0b-000c2a01.pphosted.com [148.163.155.36]) by sympathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id x0NNOuCD032611 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Wed, 23 Jan 2019 18:24:57 -0500 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x0NNJCJV024856 for ; Wed, 23 Jan 2019 18:24:56 -0500 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=noam.zeilberger-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Original-Received: from mail-ua1-f53.google.com (mail-ua1-f53.google.com [209.85.222.53]) by mx0b-000c2a01.pphosted.com with ESMTP id 2q3y0xvuuq-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Wed, 23 Jan 2019 18:24:56 -0500 Original-Received: by mail-ua1-f53.google.com with SMTP id d2so1365607ual.2 for ; Wed, 23 Jan 2019 15:24:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=DpNpRaECkI3ZC1rGL5kAPvBiqMWJFGhUOg5pg3CUA/E=; b=DisqVqJM08dYGUTnBDM+C7fMPlFBd497yEGD11qxlshkfSFv+2Ymks+4Y8EGZ8OT30 f8ERmWoWgQ2Oy8UKeiCTkhxAWxTIKkVRfXocyCA/6vbcDISi9BIgZsJWt9Gpn3V7iAQJ HotXsRn10c4KDgmKpeZCtDG8myom0I56avRE2vmDYU0VrWUpwaGU4uBOgxszg26PLkvl quUKs3GpjEQh0FUofAqxoqVQoelOD2V2pZRzNbBfxLtDhx6byGFbVNTGwNyC87bxOpkF xCiCBgJ0TCpCBRqSlOw5cD2vdPPLWj4jTGmg9Q/mx5gPZImnAiQum9tbqeOsklv2MZcq BiOg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=DpNpRaECkI3ZC1rGL5kAPvBiqMWJFGhUOg5pg3CUA/E=; b=Al80tC2BaMS7JAkheFp/Rd7rHZWbuBJF8hZ/M1NtkQGxUEdQF1wKV0sYqG8qgdE3t3 cdiOEAPSvYohoXQi0Xz4cyH72O/aauhoVbSxrZpKRhHF85YVIgRXDCZBAybrzDvQOn+y skfWeVWAovQtIKK+gdZZMizMFR4dbqiNNp9KZ3RUDnAefS6EweCwZmAkLfhE+RhGll/T HmWxqy/ABZrPgZl9Wbiz1AccgaiKc7CnVPwKKdHBKJYJqQ6AdrjH7MMJqNFf1fJxhKfn E/u+Jh7lZnovkhJsCcHLxgsV+AL5NUZDWAAKmj7zmT1d40XsmABKeK3ulvhhABkYDXmO EzPw== X-Gm-Message-State: AJcUukexSSqINSTZXmA4eqgGAgJW7E/y5yy4+wf565ziXLl6soiC954y S5J6jdPRbvx/+i+DAib9uYlenbvzCaEPBoI5GRDjwhmGGdMeZGA= X-Google-Smtp-Source: ALg8bN5MQFeGkGyqXO0w9UnUaY2WPV3DbfHHh3Pc9RJ21bJ4TJjVcuUcbrO5aQiQjNq9FdB5bPlJPvT/ohQO1klygHQ= X-Received: by 2002:ab0:148e:: with SMTP id d14mr1712241uae.23.1548285895462; Wed, 23 Jan 2019 15:24:55 -0800 (PST) X-CLX-Shades: MLX X-CLX-Response: 1TFkXGBsfEQpMehcZGxkRCllNF2dmchEKWUkXGnEaEBp3BhsTH3EbHR0QGnc GGBoGGhEKWV4XaG55EQpJRhdfWk9ERFlPS1l1QkVZXk9OEQpDThdLfltdQVkSW1ISf09PZmhMWk Fle0FNeFpdTF5ASxtIcBEKWFwXHwQaBBsfEwdMSxJOGkxLHAUbGgQbGxoEHhIEGxAbHhofGhEKX lkXfkxaUkARCk1cFxkcExEKTFoXbGlNTWsRCkNaFxgaEwQSHwQYGBgEHxkRCkJeFxsRCkReFxkR CkJcFxoRCkJFF217Rh9YHB95W39QEQpCThdjU2NrexNYfhpfXhEKQkwXelxLXmdIaAV+ZAERCkJ sF2d+BR1OTH1TcGliEQpCQBdhE2xDeEhpXBlGBREKQlgXb0RHT3p8XUxbTGgRClpYFx8RCnBoF2 NfEkdiQW5/bWxoEBkaEQpwaBdtaExSGWQaT1N8TRAZGhEKcGgXZX1uR0BJfl4SfEwQGRoRCnBoF 2MBaEF4ZUcBX38TEBkaEQpwaBdveENPTht6W3JYcxAZGhEKcH8XbhhyaUtSWHN7XRoQGRoRCnBf F2B5WkdeXEtgQkBtEBkaEQpwfRdhSUleThtGfmB/RxAZGhEKcH0XYHlaR15cS2BCQG0QGRoRCnB /F2hLTW9JeGBmQGl7EBIZEQpwXxdvR2l8fBhbaWIZfhAdEhEKcH0XZXxFG00TGW1PHVgQGRoRCn BsF2JHQEljAVBHTh1CEBkaEQptfhcaEQpYTRdLESA= X-Proofpoint-SPF-Result: pass X-Proofpoint-SPF-Record: v=spf1 redirect=_spf.google.com] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-01-23_11:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=313 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=215 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1901230167 X-Mailman-Approved-At: Thu, 24 Jan 2019 01:11:48 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:8103 gmane.science.mathematics.categories:9806 gmane.science.mathematics.prooftheory:1607 Archived-At: --===============6826068946935026641== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============6826068946935026641== Content-Type: multipart/alternative; boundary="000000000000cf597a058028666f" --000000000000cf597a058028666f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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. --000000000000cf597a058028666f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The Computational Logic and Applicat= ions (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 quantita= tive aspects of mathematical logic and their applications in computer scien= ce. The next meeting will take place in Versailles (France) in July 1-2, 20= 19. It will be followed by a special issue of DMTCS dedicated to the same t= opics.


SCOPE=C2=A0
To= pics within the scope of CLA include:
=E2=80=94 combinatorics of = lambda calculus and related formalisms,
=E2=80=94 quantitative as= pects of program evaluation and normalisation,
=E2=80=94 asymptot= ic enumeration in computational logic,
=E2=80=94 statistical prop= erties of formulae, terms and programs,
=E2=80=94 random generati= on of large combinatorial structures in computational logic,
=E2= =80=94 randomness in software testing and counter-example generation method= s.


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 meetin= g=E2=80=99s program by June 14, 2019.
Attendance is free upon reg= istration.

Invited speakers:=C2=A0
=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, Vien= na, 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, Gothenburg, Sweden)
=E2=80=94 Noam Zei= lberger (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=A8= le Gardy (University of Versailles, Versailles, France)
=E2=80=94= Antoine Genitrini (Sorbonne University, Paris, France)


SPECIAL ISSUE=C2=A0=C2=A0
Following the meet= ing, 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 201= 9 CLA meeting, or at a former meeting but not published elsewhere, or resul= ts not presented at CLA, as long as they fall within the scope of the works= hop. The submitted papers should present original research, including surve= y papers, which is not already published or submitted to publication to ano= ther journal.=C2=A0

The editors for the special is= sue are
=E2=80=94 Olivier Bodini (University Paris 13, Villetaneu= se, France)
=E2=80=94 Bernhard Gittenberger (TU Wien, Vienna, Aus= tria)
=E2=80=94 Marek Zaionc (Jagiellonian University, Krakow, Po= land)
The papers will be refereed according to the usual standard= s of DMTCS.=C2=A0


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 deadl= ine for contributions to the DMTCS special issue

<= br>
SUBMISSION TO THE SPECIAL ISSUE
Papers should be wr= itten in English. The submission process for DMTCS is the standard one for = this journal. Ensure that you submit to the special volume "CLA 2019&q= uot; and that you leave the section of the journal unspecified.
<= br>
Authors will be notified of a decision within four months of = submission to the special issue.
--000000000000cf597a058028666f-- --===============6826068946935026641==--