From: Nicolas Magaud <magaud@unistra.fr>
To: caml-list@inria.fr
Subject: [Caml-list] The 8th Coq Workshop - 2nd CFP - deadline for submission: june 1st 2016
Date: Thu, 12 May 2016 10:22:51 +0200 [thread overview]
Message-ID: <223A3F46-3F58-40D5-8E44-923FE1AAF617@unistra.fr> (raw)
[-- Attachment #1: Type: text/plain, Size: 2742 bytes --]
================================================================================
The Eighth Coq Workshop (2016)
http://coq.inria.fr/coq-workshop/2016 <http://coq.inria.fr/coq-workshop/2016>
Colocated with the 7th International Conference on Interactive Theorem Proving (ITP 2016)
August 26, 2016 in Nancy, France
================================================================================
The Coq Workshop series brings together Coq 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, likely supplemented with invited talks.
Submission Instructions
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. Relevant subject matter includes but is not limited to:
* Language or tactic features
* Theory and implementation of the Calculus of Inductive Constructions
* Applications and experience in education and industry
* Tools and platforms built on Coq
* Plugins and libraries for Coq
* Interfacing with Coq
* Formalization tricks and Coq pearls
Authors should submit short proposals through EasyChair. Submissions should be in portable
document format (PDF). Proposals should not exceed 2 pages in length in single-column full-page style.
Venue: Nancy, France
Important Dates:
* June 1: Deadline for proposal submission
* June 15: Acceptance notification
* August 26: Workshop in Nancy
Submission URL: https://www.easychair.org/conferences/?conf=coq8 <https://www.easychair.org/conferences/?conf=coq8>
Program committee:
* Frédéric Blanqui, INRIA, France
* Adam Chlipala, MIT, United States
* Cyril Cohen, INRIA, France
* Pierre Courtieu, CNAM, France
* Jónathan Heras Vicente, University of La Rioja, Spain
* Robbert Krebbers, Aarhus University, Denmark
* Nicolas Magaud (co-chair), University of Strasbourg, France
* Micaela Mayero, Univeristy of Paris 7, France
* Julien Narboux (co-chair), University of Strasbourg, France
* Claudio Sacerdoti-Coen, University of Bologna, Italy
* Beta Ziliani, FAMAF, Universidad Nacional de Córdoba, Argentina, and CONICET, Argentina
Organization:
Contacts: Nicolas Magaud (magaud@unistra.fr <mailto:magaud@unistra.fr>), Julien Narboux (narboux@unistra.fr <mailto:narboux@unistra.fr>)
[-- Attachment #2: Type: text/html, Size: 5289 bytes --]
reply other threads:[~2016-05-12 8:22 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly 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=223A3F46-3F58-40D5-8E44-923FE1AAF617@unistra.fr \
--to=magaud@unistra.fr \
--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
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox