From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5579 Path: news.gmane.org!not-for-mail From: Tom Hirschowitz Newsgroups: gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories,gmane.comp.science.types.announce Subject: [PT] CFP Types postproceedings Date: Tue, 16 Feb 2010 16:09:55 +0100 Message-ID: <9625BC50-8D73-4920-BF7C-D43D653BDDF2@univ-savoie.fr> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v936) Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1266333285 24216 80.91.229.12 (16 Feb 2010 15:14:45 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 16 Feb 2010 15:14:45 +0000 (UTC) To: Categories Mailing List , types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Original-X-From: prooftheory-owner-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org Tue Feb 16 16:14:40 2010 Return-path: Envelope-to: gsmp-list-1@m.gmane.org Original-Received: from prost.bath.ac.uk ([138.38.0.37]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1NhP7z-0002EN-TU for gsmp-list-1@m.gmane.org; Tue, 16 Feb 2010 16:14:19 +0100 Original-Received: from hammerhead.bath.ac.uk ([138.38.32.43]) by prost.bath.ac.uk with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4) (envelope-from ) id 1NhP7z-000177-CE; Tue, 16 Feb 2010 15:14:19 +0000 Original-Received: from sympa by hammerhead.bath.ac.uk with local (Exim 4.66) (envelope-from ) id 1NhP7v-0001CS-HH; Tue, 16 Feb 2010 15:14:15 +0000 X-Sympa-To: prooftheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org Original-Received: from mansell.bath.ac.uk ([138.38.0.35]) by hammerhead.bath.ac.uk with esmtp (Exim 4.66) (envelope-from ) id 1NhP3k-0001Az-At for ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org; Tue, 16 Feb 2010 15:09:56 +0000 Original-Received: from mail-yw0-f197.google.com ([209.85.211.197]) by mansell.bath.ac.uk with esmtp (Exim 4) (envelope-from ) id 1NhP3l-0004Zp-47 for ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org; Tue, 16 Feb 2010 15:09:57 +0000 Original-Received: by ywh35 with SMTP id 35so4749704ywh.21 for ; Tue, 16 Feb 2010 07:09:39 -0800 (PST) Original-Received: by 10.151.61.10 with SMTP id o10mr9796136ybk.12.1266332977564; Tue, 16 Feb 2010 07:09:37 -0800 (PST) X-Forwarded-To: ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org X-Forwarded-For: prooftheory.list-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org Original-Received: by 10.150.147.21 with SMTP id u21cs148802ybd; Tue, 16 Feb 2010 07:09:37 -0800 (PST) Original-Received: by 10.223.15.154 with SMTP id k26mr3772213faa.77.1266332976404; Tue, 16 Feb 2010 07:09:36 -0800 (PST) Original-Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75]) by mx.google.com with ESMTP id z10si12192001fka.30.2010.02.16.07.09.35; Tue, 16 Feb 2010 07:09:36 -0800 (PST) Received-SPF: pass (google.com: domain of tom.hirschowitz-184iAUnY30GJgFC65hhf1w@public.gmane.org designates 193.48.120.75 as permitted sender) client-ip=193.48.120.75; Authentication-Results: mx.google.com; spf=pass (google.com: domain of tom.hirschowitz-184iAUnY30GJgFC65hhf1w@public.gmane.org designates 193.48.120.75 as permitted sender) smtp.mail=tom.hirschowitz-184iAUnY30GJgFC65hhf1w@public.gmane.org Original-Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id o1GF9UPW008859 ; Tue, 16 Feb 2010 16:09:31 +0100 Original-Received: from d27.lama.univ-savoie.fr (d27.lama.univ-savoie.fr [193.48.123.27]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id o1GF8RJZ027555 ; Tue, 16 Feb 2010 16:09:27 +0100 X-Mailer: Apple Mail (2.936) X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Spam-Score: 0.0 (/) X-Spam-Report: 0.0/6.0 ---- Start SpamAssassin results ---- End SpamAssassin results X-Validation-by: a.guglielmi-+E0FUbDlCk21Qrn1Bg8BZw@public.gmane.org X-Loop: prooftheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org X-Sequence: 108 Errors-to: prooftheory-owner-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org Precedence: list X-no-archive: yes List-Id: List-Help: List-Owner: List-Post: X-Scanner: e812a9f5ed97d44a94c55eb477a4a5ff8ec3f653 X-Gmane-Expiry: 2010-03-02 Xref: news.gmane.org gmane.science.mathematics.prooftheory:721 gmane.science.mathematics.categories:5579 gmane.comp.science.types.announce:1656 Archived-At: 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.