From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5815 Path: news.gmane.org!not-for-mail From: Jun PANG Newsgroups: gmane.comp.science.types.announce,gmane.comp.lang.caml.inria,gmane.science.mathematics.categories Subject: Call for participation: VTSA 2010 Summer School on Verification Technology, Systems & Applications Date: Mon, 17 May 2010 11:23:44 +0200 Message-ID: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: dough.gmane.org 1274101900 19691 80.91.229.12 (17 May 2010 13:11:40 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 17 May 2010 13:11:40 +0000 (UTC) To: agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org, appsem-LsC0HFERGYsdnm+yROfE0A@public.gmane.org, caml-list-MZpvjPyXg2s@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, coalgebras-hXF0vsYojyLquOJu9mQKZg@public.gmane.org, compunode-+P+vc6CWJaVg9hUCZPvPmw@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, coq-club@ Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Mon May 17 15:11:38 2010 connect(): No such file or directory Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OE06b-0006X3-8d; Mon, 17 May 2010 15:11:37 +0200 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.upenn.edu [127.0.0.1]) by rhizome.seas.upenn.edu (8.13.6/8.12.8) with ESMTP id o4HD8lT9007672; Mon, 17 May 2010 09:08:54 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from empathy.seas.upenn.edu (empathy.seas.upenn.edu [158.130.67.158]) by rhizome.seas.upenn.edu (8.13.6/8.12.8) with ESMTP id o4H9NvJs029268 for ; Mon, 17 May 2010 05:23:57 -0400 Original-Received: from fg-out-1718.google.com (fg-out-1718.google.com [72.14.220.157]) by empathy.seas.upenn.edu (8.13.6/8.13.6) with ESMTP id o4H9NopS023505 for ; Mon, 17 May 2010 05:23:56 -0400 Original-Received: by fg-out-1718.google.com with SMTP id 22so405402fge.15 for ; Mon, 17 May 2010 02:23:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:date:message-id :subject:from:to:content-type:content-transfer-encoding; bh=nBErJTQK5IJSljG0LPwgcs0VLrufBaocEBql+eFHAN8=; b=gyeHmASO2fv1I8toKIyWY46uKEarQh6ALY7JGZc+X1Vwwh3ubNGoUR64ilN4EwOoEu lYpZuRkR4nXQuXdxAU2EvS5xASdaa7uzy5fHYOCxB4adulVwcoJUuinsLIk+FkmF9U6U PP34PwBHPr7i0r+N2pLvO8ge3pfcvPMg0hUQM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=h+tjDgIJBoh/hYh5db1HbpUcFiyiZQw5Cl5Xvghlqd66Ftbx6e+KVu3Glj7CSjXo3S i1zwgXhrXMTmhbTbrRvLqrrwbB6YqGrD5HVvLtStnLnaSyhZOMRf3sOtyranr+si1/9G y0B4NNLEjVJAx3UTQ6ybXVa5vqfqMRH0qHaOg= Original-Received: by 10.204.11.18 with SMTP id r18mr24839bkr.55.1274088224257; Mon, 17 May 2010 02:23:44 -0700 (PDT) Original-Received: by 10.204.67.194 with HTTP; Mon, 17 May 2010 02:23:44 -0700 (PDT) X-Proofpoint-Virus-Version: vendor=fsecure engine=1.12.8161:2.4.5, 1.2.40, 4.0.166 definitions=2010-05-17_01:2010-02-06, 2010-05-17, 2010-05-17 signatures=0 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 phishscore=0 bulkscore=13 adultscore=0 classifier=spam adjust=0 reason=mlx engine=5.0.0-0908210000 definitions=main-1005170016 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Mon, 17 May 2010 09:08:44 -0400 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.6 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Xref: news.gmane.org gmane.comp.science.types.announce:1824 gmane.comp.lang.caml.inria:48894 gmane.science.mathematics.categories:5815 Archived-At: WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksIAogICAgIGh0dHA6Ly9saXN0 cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWFubm91bmNlIF0KCioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioKU3VtbWVyIFNjaG9vbCBvbiBWZXJpZmljYXRpb24gVGVjaG5vbG9neSwgU3lzdGVtcyAmIEFw cGxpY2F0aW9ucwpodHRwOi8vd3d3Lm1waS1pbmYubXBnLmRlL1ZUU0ExMC8KCkFwcGxpY2F0aW9u IERlYWRsaW5lOiAwNy8yMy8yMDEwCk5vdGlmaWNhdGlvbiB1bnRpbDogMDgvMDYvMjAxMApTdW1t ZXIgU2Nob29sOiAwOS8wNi8yMDEwIC0gMDkvMTAvMjAxMAoqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgpBIHN1bW1lciBzY2hv b2wgb24gdmVyaWZpY2F0aW9uIHRlY2hub2xvZ3ksIHN5c3RlbXMgYW5kIGFwcGxpY2F0aW9ucwp3 aWxsIGJlIG9yZ2FuaXplZCBieSB0aGUgSW50ZXJkaXNjaXBsaW5hcnkgQ2VudHJlIGZvciBTZWN1 cml0eSwKUmVsaWFiaWxpdHkgYW5kIFRydXN0IGF0IHRoZSBVbml2ZXJzaXR5IG9mIEx1eGVtYnVy ZywgaW4gY29vcGVyYXRpb24Kd2l0aCB0aGUgTWF4LVBsYW5jayBJbnN0aXR1dGUgZsO8ciBJbmZv cm1hdGlrIGluIFNhYXJicsO8Y2tlbiBhbmQgdGhlCklOUklBIHJlc2VhcmNoIGNlbnRlciBpbiBO YW5jeS4gVGhlIHNjaG9vbCB3aWxsIHRha2UgcGxhY2UgZnJvbQpTZXB0ZW1iZXIgNnRoIHRvIDEw dGggMjAxMCBpbiBMdXhlbWJvdXJnLgoKVGhlIGZvbGxvd2luZyBzcGVha2VycyBoYXZlIGFjY2Vw dGVkIHRvIGdpdmUgY291cnNlczoKCkphdmllciBFc3BhcnphOiBCdWlsZGluZyBhIFNvZnR3YXJl IE1vZGVsLUNoZWNrZXIKV2FuIEZva2tpbms6IFByb3RvY29sIFZhbGlkYXRpb24gd2l0aCBtQ1JM Ck1hcnRhIEt3aWF0a293c2thOiBQcm9iYWJpbGlzdGljIE1vZGVsIENoZWNraW5nCk1hcmt1cyBN w7xsbGVyLU9sbTogRnVuZGFtZW50YWxzIG9mIFNvZnR3YXJlIE1vZGVsIENoZWNraW5nCldhbmcg WWk6IE1vZGVsaW5nIGFuZCBBbmFseXNpcyBvZiBUaW1lZCBTeXN0ZW1zCgpQYXJ0aWNpcGF0aW9u IGlzIGZyZWUgKGV4Y2VwdCBmb3IgdHJhdmVsIGFuZCBhY2NvbW1vZGF0aW9uIGNvc3RzKSBhbmQK b3BlbiB0byBhbnlib2R5IGhvbGRpbmcgYXQgbGVhc3QgYSBCYWNoZWxvciBkZWdyZWUgKG9yIGVx dWl2YWxlbnQpIGluCmNvbXB1dGVyIHNjaWVuY2UuIFRoZSBudW1iZXIgb2YgcGFydGljaXBhbnRz IGlzIGxpbWl0ZWQuIFBsZWFzZSBhcHBseQplbGVjdHJvbmljYWxseSBieSAqSnVseSAyM3RoLCAy MDEwKiBieSBzZW5kaW5nCgotIGEgb25lLXBhZ2UgQ1YsCi0gYW4gYXBwbGljYXRpb24gbGV0dGVy IGV4cGxhaW5pbmcgeW91ciBpbnRlcmVzdCBpbiB0aGUgc2Nob29sIGFuZAogIHlvdXIgZXhwZXJp ZW5jZSBpbiB0aGUgYXJlYSwKLSBhIGNvcHkgb2YgeW91ciBiYWNoZWxvciBjZXJ0aWZpY2F0ZSAo b3IgZXF1aXZhbGVudCBvciBoaWdoZXIpCgp0byBqdW4ucGFuZ0B1bmkubHUuCgpGb3IgZGV0YWls cyBwbGVhc2Ugc2VlIHRoZSBXZWIgcGFnZSBvZiB0aGUgc2Nob29sLgo=