caml-list - the Caml user's mailing list
 help / Atom feed
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
To: Mailing List OCaml <caml-list@inria.fr>
Subject: [Caml-list] [CFP] The Coq Workshop 2019
Date: Thu, 14 Mar 2019 08:43:51 +0900
Message-ID: <E20EA34B-A3F8-4C33-87E2-1F0A7575DFB0@math.nagoya-u.ac.jp> (raw)

*********************************************************************
The Coq Workshop 2019: Call for Talk Proposals
Colocated with the 10th International Conference on
Interactive Theorem Proving (ITP 2019), Portland, OR, USA
**********************************************************************
We are pleased to invite you to submit talk proposals for the Coq
workshop 2019, which will be held on September 8 2019, in Portland,
OR, USA.

The Coq workshop is part of ITP 2019 (https://itp19.cecs.pdx.edu/).

The Coq workshop 2019 is the 10th Coq Workshop.  The Coq Workshop
series (https://coq.inria.fr/coq-workshop/) brings together Coq
(https://coq.inria.fr/) users, developers, and contributors.  While
conferences usually provide a venue for traditional research papers,
the Coq Workshop focuses on strengthening the Coq community and
providing a forum for discussing practical issues, including the
future of the Coq software and its associated ecosystem of libraries
and tools. Thus, the workshop will be organized around informal
presentations and discussions, supplemented with invited talks.

We invite all members of the Coq community to propose informal talks,
discussion sessions, or any potential uses of the day allocated to the
workshop.

Important dates:
- June 4 2019: Deadline for abstract submission
- July 2 2019: Notification to authors
- September 8 2019: Workshop

Submission Instructions:

Authors should submit short proposals through EasyChair
(https://easychair.org/conferences/?conf=coq2019) in the form of a PDF
extended abstract of less than 2 pages, in full-page single-column
style.

Relevant subject matter includes but is not limited to:
- Theory and implementation of the Calculus of Inductive Constructions
- Language or tactic features
- Plugins and libraries for Coq
- Techniques for formalization programming languages and mathematics
- Applications and experience in education and industry
- Tools and platforms built on Coq (including interfaces)
- Formalization tricks and pearls

Program Committee:
- Reynald Affeldt (AIST)
- Christian Doczkal (CNRS - LIP, ENS Lyon)
- Jacques Garrigue (Nagoya University)
- Chantal Keller (LRI, Univ. Paris-Sud)
- Dominique Larchey-Wendling (CNRS, Loria)
- Gregory Malecha (BedRock Systems Inc.)
- Pierre-Marie Pédrot (INRIA)
- Ilya Sergey (Yale-NUS College and NUS School of Computing)
- John Wiegley (DFINITY)

Organization contact (co-chairs):
reynald.affeldt AT aist.go.jp, garrigue AT math.nagoya-u.ac.jp

For more information: https://staff.aist.go.jp/reynald.affeldt/coq2019/




                 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=E20EA34B-A3F8-4C33-87E2-1F0A7575DFB0@math.nagoya-u.ac.jp \
    --to=garrigue@math.nagoya-u.ac.jp \
    --cc=caml-list@inria.fr \
    /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