From: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
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
Date: Mon, 2 Apr 2007 10:15:18 +0200 [thread overview]
Message-ID: <20070402081518.GA3239@cs.unibo.it> (raw)
=============================================================================
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
----------------------------------------------------------------
reply other threads:[~2007-04-02 8:15 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20070402081518.GA3239@cs.unibo.it \
--to=sacerdot@cs.unibo.it \
--cc=calculemus-ig@ags.uni-sb.de \
--cc=caml-list@yquem.inria.fr \
--cc=coq-club@pauillac.inria.fr \
--cc=grin@di.unipi.it \
--cc=mowgli@cs.unibo.it \
--cc=projects-mkm-ig@lists.iu-bremen.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).