caml-list - the Caml user's mailing list
 help / Atom feed
From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
To: Katya Komendantskaya <komendantskaya@gmail.com>
Subject: [Caml-list] PPDP'19 Deadline extension
Date: Sun, 28 Apr 2019 16:06:46 +0100
Message-ID: <CAEQEJxLHPTOEW+re_NDyJ8_pECVPB5=KiOe_Lz1aJPQ4eqH-NQ@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 1609 bytes --]

DEADLINE EXTENSION TO *10 MAY* - PPDP 2019

21st International Symposium on
  Principles and Practice of Declarative Programming

7–9 October 2019, Porto, Portugal

Collocated with FM'19
http://ppdp2019.macs.hw.ac.uk

======================================================================

Important Dates
---------------

Title and abstract registration     4 May 2019 (AoE) (extended)
Paper submission                     10 May 2019 (AoE) (extended)
Rebuttal period (48 hours)           10 June 2019 (AoE) (extended)
Author notification                 20 June 2019 (extended)
Final paper version                 15 July 2019
Conference                          7–9 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.

See http://ppdp2019.macs.hw.ac.uk for further information and information.

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


 Submission page:

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

https://easychair.org/conferences/?conf=ppdp19

[-- Attachment #2: Type: text/html, Size: 2949 bytes --]

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAEQEJxLHPTOEW+re_NDyJ8_pECVPB5=KiOe_Lz1aJPQ4eqH-NQ@mail.gmail.com' \
    --to=komendantskaya@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox