From: Tom Hirschowitz <tom.hirschowitz-184iAUnY30GJgFC65hhf1w@public.gmane.org>
To: Categories Mailing List <categories-59hdLBrVOVU@public.gmane.org>,
types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org,
types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org,
ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org
Subject: [PT] CFP Types postproceedings
Date: Tue, 16 Feb 2010 16:09:55 +0100 [thread overview]
Message-ID: <9625BC50-8D73-4920-BF7C-D43D653BDDF2@univ-savoie.fr> (raw)
Post-Proceedings of TYPES 2009
The Post-Proceedings of the TYPES 2009 Annual Workshop
http://lama.univ-savoie.fr/types09/
will be published, after a formal referee process, as a volume of the
Electronic Proceedings in Theoretical Computer Science (EPTCS) series
http://eptcs.org/ .
Submissions are not restricted to works presented at the workshop, nor
are authors expected to be formally involved in the Types project.
Deadlines
- abstract submission: Wednesday, May 19th, 2010, 12:00 Paris time,
- paper submission: Wednesday, May 26th, 2010, 12:00 Paris time.
We encourage submissions on the themes of the Types Project
http://www.cs.chalmers.se/Cs/Research/Logic/Types/ .
The aim of Types is to develop the technology of formal reasoning and
computer programming based on Type Theory. This is done by improving
the languages and computerised tools for reasoning, and by applying
the technology in several domains such as analysis of programming
languages, certified software, formalisation of mathematics and
mathematics education.
We invite submission of high quality papers, written in English and
typeset in LaTeX2e using the EPTCS style:
http://style.eptcs.org/ .
Submissions should not have been published and should not be under
consideration for publication elsewhere. We encourage authors to keep
their submissions below 30 pages. Authors should submit their papers
electronically to Tom Hirschowitz.
The guest editors,
Thorsten Altenkirch,
Tom Hirshowitz,
Christophe Raffalli, and
Alan Schmitt.
reply other threads:[~2010-02-16 15:09 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=9625BC50-8D73-4920-BF7C-D43D653BDDF2@univ-savoie.fr \
--to=tom.hirschowitz-184iauny30gjgfc65hhf1w@public.gmane.org \
--cc=ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org \
--cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
/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).