From: Yves Bertot <Yves.Bertot@sophia.inria.fr>
To: caml-list@inria.fr
Subject: CFP: Call for papers, Coq Workshop (Edinburgh, July 9)
Date: Mon, 01 Mar 2010 09:48:42 +0100 [thread overview]
Message-ID: <4B8B7F6A.4000605@sophia.inria.fr> (raw)
Please help disseminate this call for papers
Two changes in the call for papers:
1/ papers describing experiments in other type theory-based proof
assistants are explicitly invited to this workshop,
2/ EPTCS (http://eptcs.org/) has agreed to host the proceedings.
Call for papers
The Coq workshop will bring together Coq users, developers and
contributors. The workshop will be organized from submitted papers,
invited talks and a plenary discussion on the evolution and design of
Coq. Topics for submitting a paper include:
* Experiments with type-theoretic proof assistants
* Language or tactics features
* Theory and implementation of the Calculus of Inductive Constructions
* Applications and experience in education and industry
* Tools, platforms built on Coq
* Plugins, libraries for Coq
* Interfacing with Coq
* Formalization tricks and Coq pearls
Authors should submit their paper through EasyChair at the following link:
http://www.easychair.org/conferences/?conf=coq2
Submitted papers should be in (postscript or) portable document format.
Papers should not exceed 12 pages in length in single-column full-page
11pt A4 style.
If there is sufficient demand, we will try to organize a time slot for
demonstrations. Similarly, we may also organize a session on the lessons
learned from teaching Coq. If you are interested, please send a brief
proposal.
Venue
FLoC 2010, Edinburgh, Scotland
Important Dates
* March 22nd: Deadline for submission of papers
* May 1st: Acceptance Notification
* May 31st: Final version of articles
* July 9th: Workshop in Edinburgh
Program Committee
* Andrew Appel
* Yves Bertot (Chair)
* Adam Chlipala
* Georges Gonthier
* Benjamin Grégoire
* Hugo Herbelin
* Micaela Mayero
* Christine Paulin-Mohring
* Bas Spitters
reply other threads:[~2010-03-01 8:48 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=4B8B7F6A.4000605@sophia.inria.fr \
--to=yves.bertot@sophia.inria.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;
as well as URLs for NNTP newsgroup(s).