From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.9 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 4EB0FBC0A for ; Mon, 2 Apr 2007 10:15:20 +0200 (CEST) Received: from lea.cs.unibo.it (lea.cs.unibo.it [130.136.1.101]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l328FJFv015564 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 2 Apr 2007 10:15:20 +0200 Received: from localhost (localhost [127.0.0.1]) by lea.cs.unibo.it (Postfix) with ESMTP id 8F1EC1891F; Mon, 2 Apr 2007 10:11:04 +0200 (CEST) Received: by faust.cs.unibo.it (Postfix, from userid 2662) id ED94C37C81; Mon, 2 Apr 2007 10:15:18 +0200 (CEST) Date: Mon, 2 Apr 2007 10:15:18 +0200 From: Claudio Sacerdoti Coen To: projects-mkm-ig@lists.iu-bremen.de, mowgli@cs.unibo.it, calculemus-ig@ags.uni-sb.de, coq-club@pauillac.inria.fr, grin@di.unipi.it, caml-list@yquem.inria.fr Subject: Final Call RDP Workshop Proof Assistant and Types Message-ID: <20070402081518.GA3239@cs.unibo.it> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Operating-System: Debian GNU/Linux X-Organization: Department of computer science, University of Bologna, European Union User-Agent: Mutt/1.5.11 X-Miltered: at concorde with ID 4610BB97.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; sacerdoti:01 coen:01 sacerdot:01 unibo:01 rdp:01 rdp:01 entcs:01 herbelin:01 sacerdoti:01 coen:01 sacerdot:01 unibo:01 2007.:98 07.:98 2007.:98 ============================================================================= 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 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@cnam.fr 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 E-mail: sacerdot@cs.unibo.it http://www.cs.unibo.it/~sacerdot ----------------------------------------------------------------