From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C96878249D for ; Fri, 12 Apr 2019 12:37:47 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f68.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of komendantskaya@gmail.com) identity=pra; client-ip=209.85.166.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="komendantskaya@gmail.com"; x-sender="komendantskaya@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of komendantskaya@gmail.com designates 209.85.166.68 as permitted sender) identity=mailfrom; client-ip=209.85.166.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="komendantskaya@gmail.com"; x-sender="komendantskaya@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io1-f68.google.com) identity=helo; client-ip=209.85.166.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="komendantskaya@gmail.com"; x-sender="postmaster@mail-io1-f68.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/R1hlhykNDi8ncnXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2ugQIJqq85mqBkHD//Il1AaPAdyCragdwLKL++C4ACpcuM7H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjMusUMn4duN6k9xgfJr3BVf+?= =?us-ascii?q?ha2X5kKUickhrh+su85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y7jQds0GS2VfQslRVjRBAoKi?= =?us-ascii?q?YIsJE+oBJvtTo43kq1cTsReyGQygCeXoxTJUiHL6wbA23/09HQ3bwQcsG88CvX?= =?us-ascii?q?TRoNjzKawcU/26zLPQwDrMb/1Y1zTz5pXWfB89vPyBRqh/fdbLxEQ1Cw/Jkled?= =?us-ascii?q?pIr4ND2VzOQNtG2b4vJvW+KskWEntx9+oiKuxscqkIbCm4cbylfB9SpnxoY6OM?= =?us-ascii?q?e3SEhnYd6/E5tfrSGbOJFrSc4lQGFovyM6xaMAuZGmZicKzognxwXca/Odc4mH?= =?us-ascii?q?+AnuVOmUIThihXJlfKiziAq18Uil0+DxUNS/3lhNripAiNbMt3YN2gTT6smJUP?= =?us-ascii?q?dy5Fuu1SyS1wDQ7OxPPEM6lbLDJpI/3rI9koAfvEfDEyPshUn7ja6bel8l9+Wr?= =?us-ascii?q?7ensf6/oqYWGN4BujwHzKqQuldK7AeQ/KgUOWnKU+eW41LH6/E35R6hGguQ4kq?= =?us-ascii?q?TYs53WP8sbpqm+Aw9a1oYs9QyzACuh0NQdhXUHLVRFdwybj4XxJV3CPPT1Ae28?= =?us-ascii?q?jlmsijtn2vHLM7z7DpjMLXXPiLLhcqx8605Yxgoz19df55dMB7ECJ/LzX1H+tN?= =?us-ascii?q?rFARAjNQy03/3nCNZn2YIeQ22CGaCZMKbIvl+J4uIjOfWDZIgQuDrlMfgq++bu?= =?us-ascii?q?jWMlmV8aZaSmwYEYaHW8Hvh/J0WZYGHsgssaHGcRvgs+SfTqh0eYXT5SYXayRa?= =?us-ascii?q?M86SshBIKoF4eQDryq1Z+IwDayVr5RY21ABlmKDWzrfpSNE6MPbyefJMNolCAf?= =?us-ascii?q?VrGwQqcu0BivsEnxzL8xfcTO/ShNmJHqyNVv5uva3TI18DFyA82bz3qORnB91j?= =?us-ascii?q?cLQDo72qx2p1BmyV6S2IB3hvVZEZpY4PYfAVRyDoLV0+EvU4O6YQnGZNrcDQb7?= =?us-ascii?q?G4n0MXQKVts0huQ2TQNlAdz710LM2iOrB/kekLnZXMVpoJKZ5GD4IoNG81iD1K?= =?us-ascii?q?QliAN7EM5GNGnjh6kmsgaNV8jGlEKWk6vsfqMZjnaUpTWziFGWtUQdazZeFKDM?= =?us-ascii?q?XHQRfEzT9I2r6UbLTrvoArMiYFJM?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D9CgAGarBcYkSmVdFlgheBD4ECJAEBA?= =?us-ascii?q?UFQMxQUhA6BHYJejy6MSoRAiUuBey+KRhsHAQQwCQ4BAwEBCgECAQEBAQYYDAo?= =?us-ascii?q?IGwwlDII6KYMLBh0BGwwSAxIDDS0KAiQBEQEFASIbDoMNgWgBAxyQI4xtgx88i?= =?us-ascii?q?x2BEgUBF4J6BYQ5ChknDV+BOQIHEoEgi0cXgX+BEYdtgzGCVwOKaps2CYIHhge?= =?us-ascii?q?EIodoGoIHXYU9jE6gCDCBHBJ6gRRwL1KCOwmFcId6glpBMAGOHwIkB4IkAQE?= X-IPAS-Result: =?us-ascii?q?A0D9CgAGarBcYkSmVdFlgheBD4ECJAEBAUFQMxQUhA6BHYJ?= =?us-ascii?q?ejy6MSoRAiUuBey+KRhsHAQQwCQ4BAwEBCgECAQEBAQYYDAoIGwwlDII6KYMLB?= =?us-ascii?q?h0BGwwSAxIDDS0KAiQBEQEFASIbDoMNgWgBAxyQI4xtgx88ix2BEgUBF4J6BYQ?= =?us-ascii?q?5ChknDV+BOQIHEoEgi0cXgX+BEYdtgzGCVwOKaps2CYIHhgeEIodoGoIHXYU9j?= =?us-ascii?q?E6gCDCBHBJ6gRRwL1KCOwmFcId6glpBMAGOHwIkB4IkAQE?= X-IronPort-AV: E=Sophos;i="5.60,340,1549926000"; d="scan'208,217";a="378366564" X-MGA-submission: =?us-ascii?q?MDFDANRyhe67ER7UKZqmzvNtWhwqQn93q4XKpS?= =?us-ascii?q?3Loj+OS66TY86vBQZ8N9Sq54i1A7RBIkbYB5TOIzzkWYXfsIzpA8Msf5?= =?us-ascii?q?E4EmcMdF/KHcfF/NYQqwGPVV6GbVNCYP+RS09jyT4cXNUamJE6c8r2q4?= =?us-ascii?q?ghQCijSyHTSQyz5/9ycXsr1Q=3D=3D?= Received: from mail-io1-f68.google.com ([209.85.166.68]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Apr 2019 12:37:10 +0200 Received: by mail-io1-f68.google.com with SMTP id p23so7999383iol.13 for ; Fri, 12 Apr 2019 03:37:10 -0700 (PDT) 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=oqbYYNC4gF+wVQQ/HFwcc217+vk1o1y1VC063coFnYY=; b=mn8GTtdEjDT8ZIhE25VLeqsR+K1DGjEBTqqH7ks3np0ppJtb80tmCVBGgmLTJustH2 v3CwB5tg8WvYrbWL808madX5gCFs6SZHESKsnIRKHQ8pvlVs5aJ13ODF/A/3YBuBxDEu j3HSkjTy87LpSA0ux7vQM++0mdF5vkPt8/vJEgNxEmSD/oQ3SP1UnlwwzLQZZupktgVf mcpYak7TkweqiAOEBS9iQ2QnvQs8kH5/H+hb55XkgcWHCRuFZ1DU7R7Nn02aGo1xtIAD 5n2Sinz4wId53PvExNskl4dPimc1ffHUaceiqQaL5Ezsa/ufBblm+hy9GkT+EHwWX+ZT JoBw== 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=oqbYYNC4gF+wVQQ/HFwcc217+vk1o1y1VC063coFnYY=; b=Wb5NunmFnh3cY4khjesEbef/nuH7LQ5avKi21o8d5wZFj3lnOpXDWmJRAqEjUw8XVf n0d9jyOQVs3tPuHn11H2jyd0iJYvbbS0fmUmFZxeI8gS2EnYLxWYtxkLO84SOqpH1LCW bN3QtXKnM8Mu8wZzIHZdnWeEt0UxBOWNPcFVRGh54apnploOesF8AlLFUa0Gv+U/3W7M f/b54/Jm/1j+fjrPgTKomSBJ+OU1/inAh+3kuM1k2ojFx5iSDCDV3Usa4Tf6sG/sHC0/ s6EKDt3GvsXRAkjgEAc16Fcy6UpFBBjclgKC/qONLYsSLbuWKZytWPaxa29VmFpnDcxN nGvw== X-Gm-Message-State: APjAAAWr8defFqJeEXa2Y72CjdBv9g5nO2+Mv28WL1XMqkiiR5nq5Asc NEE29wrlQmQa5dlZpAq2g34F35tFWLbrkMO/g0Q= X-Google-Smtp-Source: APXvYqy16NLCueeH5GFUpOhb4LIbklxCCzfp5Lkn4BXf74Gum2cwqwULkIg1efqTccKsiJ9psaRztx1w40AOI/ggVBI= X-Received: by 2002:a6b:f211:: with SMTP id q17mr6794376ioh.242.1555065015668; Fri, 12 Apr 2019 03:30:15 -0700 (PDT) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Fri, 12 Apr 2019 11:29:49 +0100 Message-ID: To: Katya Komendantskaya Content-Type: multipart/alternative; boundary="000000000000dc974f058652c99f" Subject: [Caml-list] PPDP'19 Final CFP --000000000000dc974f058652c99f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable FINAL CALL FOR PAPERS -- PPDP 2019 21st International Symposium on Principles and Practice of Declarative Programming 7=E2=80=939 October 2019, Porto, Portugal Collocated with FM'19 http://ppdp2019.macs.hw.ac.uk =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Important Dates --------------- Title and abstract registration 26 April 2019 (AoE) Paper submission 3 May 2019 (AoE) Rebuttal period (48 hours) 3 June 2019 (AoE) Author notification 14 June 2019 Final paper version 15 July 2019 Conference 7=E2=80=939 October 2019 About PPDP ---------- The PPDP 2019 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Invited Speakers ---------------- Amal Ahmed Northeastern University, USA Title: TBA Naoki Kobayashi The University of Tokyo, Japan Title: 10 Years of the Higher-Order Model Checking Project Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; probabilistic languages; functional languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. For further information, please visit: http://ppdp2019.macs.hw.ac.uk --000000000000dc974f058652c99f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

FINAL CALL FOR PAPERS -- PPDP 2019

<= br>

21st International Symposium on

Princip= les and Practice of Declarative Programming


7=E2= =80=939 October 2019, Porto, Portugal


<= span style=3D"font-size:10pt;font-family:"Courier New";color:rgb(= 0,0,0);background-color:transparent;font-variant-numeric:normal;font-varian= t-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Collocate= d with FM'19


http://ppdp2019.macs.hw.ac.uk


=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D


Important Dates

---------------

<= br>

Title and abstract registration 26 April 2019 (AoE)

Paper submission 3 May 2019 (AoE)

Rebutt= al period (48 hours) 3 June 2019 (AoE)

Author notific= ation 14 June 2019

Final paper version 15 July 2019 <= /span>

Conference 7=E2=80=939 October 2019


About PPDP

----------


The PPDP 2019 symposium brings together researchers from the declarati= ve

programming communities, including those working i= n the functional, logic,

answer-set, and constraint h= andling programming paradigms. The goal is to

stimula= te research in the use of logical formalisms and methods for analyzing,

performing, specifying, and reasoning about computations= , including mechanisms

for concurrency, security, sta= tic analysis, and verification.



Invited Speak= ers

----------------


Amal A= hmed Northeastern University, USA

Title: TBA

Naoki Kobayashi The University of Tokyo= , Japan

Title: 10 Years of the Higher-Order = Model Checking Project


Scope

-----


Submissions are invited on all topics rela= ted to declarative programming, from

principles to pr= actice, from foundations to applications. Topics of interest

include, but are not limited to


<= span style=3D"font-size:10pt;font-family:"Courier New";color:rgb(= 0,0,0);background-color:transparent;font-variant-numeric:normal;font-varian= t-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- Languag= e Design: domain-specific languages; interoperability; concurrency, =

parallelism and distribution; modules; probabilistic languag= es; functional

languages; reactive languages; databas= e languages; knowledge representation

languages; lang= uages with objects; language extensions for tabulation; metaprogramming.


- Implementations: abstract machines; interpreters;= compilation; compile-time

and run-time optimization;= memory management.


- Foundations: types; logical= frameworks; monads and effects; semantics.


- Ana= lysis and Transformation: partial evaluation; abstract interpretation;

control flow; data flow; information flow; termination an= alysis; resource

analysis; type inference and type ch= ecking; verification; validation;

debugging; testing.=


- Tools and Applications: programming and proof = environments; verification

tools; case studies in pro= of assistants or interactive theorem provers;

certifi= cation; novel applications of declarative programming inside and

outside of CS; declarative programming pearls; practical experi= ence reports

and industrial application; education. <= /span>


For further inform= ation, please visit:=C2=A0

http://ppdp2019.macs.hw.ac.uk=

=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0



=
--000000000000dc974f058652c99f--