[Agda] Coq Workshop: Call for informal presentations and
demonstrations
Bas Spitters
spitters at cs.ru.nl
Mon May 16 14:15:18 CEST 2011
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.
More information about the Agda
mailing list