Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Final Call RDP Workshop Proof Assistant and Types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-04-02 (08:15)
From: Claudio Sacerdoti Coen <sacerdot@c...>
Subject: Final Call RDP Workshop Proof Assistant and Types
Final call for papers, the deadline for submission has been extended to 
April 11, 2007.


               Call for Papers

       RDP (RTA 07 + TLCA 07) Workshop PATE

      Proof Assistants and Types in Education

              June 25 2007


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 by April 11, 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 11, 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
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna