From: Assia Mahboubi <Assia.Mahboubi@inria.fr>
To: coq-club@inria.fr, types-announce@lists.seas.upenn.edu,
caml-list@inria.fr,
"ssreflect@msr-inria.inria.fr" <ssreflect@msr-inria.inria.fr>
Subject: [Caml-list] The 5th Coq Workshop: last call!
Date: Fri, 05 Apr 2013 21:20:36 +0200 [thread overview]
Message-ID: <515F2404.6050207@inria.fr> (raw)
================================================================================
The Fifth Coq Workshop (2013)
http://coq.inria.fr/coq-workshop/2013
Colocated with the 4th International Conference on Interactive Theorem
Proving (ITP 2013), Rennes, France
================================================================================
The Coq Workshop series brings together Coq users, developers, and
contributors. While conferences like ITP 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.
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: ITP, Rennes.
Important Dates:
* April 7: Deadline for proposal submission
* April 28: Acceptance notification
* July 22: Workshop in Rennes
Submission URL: https://www.easychair.org/conferences/?conf=coq5
Program committee:
* Pierre Letouzey, Université Paris 7, France
* Marco Maggesi, Università degli Studi di Firenze, Italy
* Assia Mahboubi (co-chair), INRIA, France
* David Pichardie, INRIA, France
* Benjamin Pierce, University of Pennsylvania, USA
* Randy Pollack, University of Edinburgh, UK
* Enrico Tassi (co-chair), INRIA, France
* Viktor Vafeiadis, MPI-SWS, Germany
Invited speaker: Guillaume Melquiond (Inria)
Contact: Assia Mahboubi (assia.mahboubi@inria.fr), Enrico Tassi
(enrico.tassi@inria.fr)
reply other threads:[~2013-04-05 19:20 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=515F2404.6050207@inria.fr \
--to=assia.mahboubi@inria.fr \
--cc=caml-list@inria.fr \
--cc=coq-club@inria.fr \
--cc=ssreflect@msr-inria.inria.fr \
--cc=types-announce@lists.seas.upenn.edu \
/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).