The Coq mailing list

[Bas Spitters <spitters AT cs.ru.nl>]

Coq Workshop in Nijmegen, as part of ITP :
   http://www.cs.ru.nl/~spitters/coqw.html

**********************************************************
Call for informal presentations and demonstrations
**********************************************************

Descriptions of the proposed informal presentations should consist of
abstracts of approximately 1000 words and be uploaded to the easychair
system

https://www.easychair.org/account/signin.cgi?conf=coq3

before May 23th.


Last year's informal presentations were very successful in terms of
the variety of exchanges.
See: http://www-sop.inria.fr/marelle/tmp/coqw.html


The Coq workshop will bring together Coq users, developers and
contributors. The workshop will be organized from submitted, informal
presentations, invited talks and a plenary discussion on the evolution
and design of Coq.  Topics of presentations may include any of the
following ones:

  * 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

Topics that have been experimented with in any flavor of type
theory-based theorem proving and are relevant to the evolution of Coq
may also be discussed during these informal presentations.