The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT cnam.fr>]

Second call for paper, the deadline for submission is april 1, 2007.

=====================================================================

              Call for Papers

      RDP (RTA 07 + TLCA 07) Workshop PATE

     Proof Assistants and Types in Education

             June 25 2007

         http://www.rdp07.org/pate.html
=====================================================================

This workshop is supported by the EU Types Coordination Action.

The purpose of the workshop is to bring together
researchers and lecturers interested in applying
type theory and proof assistants in teaching.

Contributions are solicited in the following subject areas
and related topics:

- type theory as a language for (teaching) mathematics and programming;
- computer assisted informal reasoning;
- tools and languages for teaching math and logic;
- experience in using proof assistants in class.

Submissions and Publication
-----------------------------
Authors are invited to submit a paper (max 15 pages) by e-mail to
Pierre.Courtieu AT cnam.fr
 by April 1, 2007. Preliminary proceedings will 
be available at the workshop. Submissions should be in PostScript or
PDF format, using ENTCS style files.

Important Dates
-----------------
  Submission deadline:  April 1, 2007
  Notification: May 15, 2007
  Pre-proceedings version due: June 7, 2007
  Workshop: June 25, 2007

Programme Committee
--------------------
Pierre Courtieu CNAM Paris (Co-Chair)
Herman Geuvers Nijmegen (Co-Chair)
Hugo Herbelin INRIA Paris
Adam Naumowicz Bialystok
Claudio Sacerdoti Coen Bologna
Pawel Urzyczyn Warsaw