From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7947 Path: news.gmane.org!not-for-mail From: Paul Levy Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Second call for papers for MSFP 2014 Date: Wed, 11 Dec 2013 17:49:38 +0000 Message-ID: <70992d0559098065d5f7104ebe58f318@cs.bham.ac.uk> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1386788546 9937 80.91.229.3 (11 Dec 2013 19:02:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 11 Dec 2013 19:02:26 +0000 (UTC) To: , , , Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Wed Dec 11 20:02:31 2013 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Vqp3A-0006Gz-GV; Wed, 11 Dec 2013 20:02:24 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.UPENN.EDU [127.0.0.1]) by rhizome.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id rBBIcZSr006155; Wed, 11 Dec 2013 13:38:51 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from sympathy.seas.upenn.edu (sympathy.seas.upenn.edu [158.130.69.34]) by rhizome.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id rBBHo0Io004861 for ; Wed, 11 Dec 2013 12:50:00 -0500 Original-Received: from sun60.bham.ac.uk (sun60.bham.ac.uk [147.188.128.137]) by sympathy.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id rBBHneQV029768 for ; Wed, 11 Dec 2013 12:50:00 -0500 Original-Received: from [147.188.128.127] (helo=bham.ac.uk) by sun60.bham.ac.uk with esmtp (Exim 4.72) (envelope-from ) id 1Vqnuk-0004aV-NL; Wed, 11 Dec 2013 17:49:38 +0000 Original-Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk (envelope-from ) with esmtp (Exim 4.82) id 1Vqnuk-0003h9-DD using interface smart1.bham.ac.uk; Wed, 11 Dec 2013 17:49:38 +0000 Original-Received: from stockade.cs.bham.ac.uk ([147.188.203.14] helo=webmail.cs.bham.ac.uk) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1Vqnuk-0001tb-14; Wed, 11 Dec 2013 17:49:38 +0000 X-Sender: P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org User-Agent: RoundCube Webmail/0.2a X-Proofpoint-Virus-Version: vendor=nai engine=5400 definitions=5800 signatures=585085 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=7.0.1-1111160001 definitions=main-1312110096 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Wed, 11 Dec 2013 13:38:33 -0500 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:4079 gmane.science.mathematics.categories:7947 Archived-At: WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKRmlmdGgg V29ya3Nob3Agb24KTUFUSEVNQVRJQ0FMTFkgU1RSVUNUVVJFRCBGVU5DVElPTkFMIFBST0dSQU1N SU5HCjEyIEFwcmlsIDIwMTQsIGluIEdyZW5vYmxlLCBGcmFuY2UuCkEgc2F0ZWxsaXRlIHdvcmtz aG9wIG9mIEVUQVBTIDIwMTQKCmh0dHA6Ly93d3cuY3MuYmhhbS5hYy51ay9+cGJsL21zZnAyMDE0 LwoKVGhlIGZpZnRoIHdvcmtzaG9wIG9uIE1hdGhlbWF0aWNhbGx5IFN0cnVjdHVyZWQgRnVuY3Rp b25hbCBQcm9ncmFtbWluZyBpcwpkZXZvdGVkIHRvIHRoZSBkZXJpdmF0aW9uIG9mIGZ1bmN0aW9u YWxpdHkgZnJvbSBzdHJ1Y3R1cmUuIEl0IGlzIGEKY2VsZWJyYXRpb24Kb2YgdGhlIGRpcmVjdCBp bXBhY3Qgb2YgVGhlb3JldGljYWwgQ29tcHV0ZXIgU2NpZW5jZSBvbiBwcm9ncmFtcyBhcyB3ZQp3 cml0ZQp0aGVtIHRvZGF5LiBNb2Rlcm4gcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLCBhbmQgaW4gcGFy dGljdWxhciBmdW5jdGlvbmFsCmxhbmd1YWdlcywgc3VwcG9ydCB0aGUgZGlyZWN0IGV4cHJlc3Np b24gb2YgbWF0aGVtYXRpY2FsIHN0cnVjdHVyZXMsCmVxdWlwcGluZwpwcm9ncmFtbWVycyB3aXRo IHRvb2xzIG9mIHJlbWFya2FibGUgcG93ZXIgYW5kIGFic3RyYWN0aW9uLiBXaGVyZSB3b3VsZApI YXNrZWxsCmJlIHdpdGhvdXQgbW9uYWRzPyBGdW5jdGlvbmFsIHJlYWN0aXZlIHByb2dyYW1taW5n IHdpdGhvdXQgdGVtcG9yYWwgbG9naWM/CkNhbGwtYnktcHVzaC12YWx1ZSB3aXRob3V0IGFkanVu Y3Rpb25zPyBUaGUgbGlzdCBnb2VzIG9uLiBUaGlzIHdvcmtzaG9wIGlzCmEKZm9ydW0gZm9yIHJl c2VhcmNoZXJzIHdobyBzZWVrIHRvIHJlZmxlY3QgbWF0aGVtYXRpY2FsIHBoZW5vbWVuYSBpbiBk YXRhCmFuZApjb250cm9sLgoKVGhlIGZpcnN0IE1TRlAgd29ya3Nob3Agd2FzIGhlbGQgaW4gS3Vy ZXNzYWFyZSwgRXN0b25pYSwgaW4gSnVseSAyMDA2LAphZmZpbGlhdGVkIHdpdGggTVBDIDIwMDYg YW5kIEFNQVNUIDIwMDYuIFRoZSBzZWNvbmQgTVNGUCB3b3Jrc2hvcCB3YXMKaGVsZCBpbiBSZXlr amF2aWssIEljZWxhbmQgYXMgcGFydCBvZiBJQ0FMUCAyMDA4LiBUaGUgdGhpcmQgTVNGUAp3b3Jr c2hvcCB3YXMgaGVsZCBpbiBCYWx0aW1vcmUsIFVTQSwgYXMgcGFydCBvZiBJQ0ZQIDIwMTAuIFRo ZSBmb3VydGgKd29ya3Nob3Agd2FzIGhlbGQgaW4gVGFsbGlubiwgRXN0b25pYSwgYXMgcGFydCBv ZiBFVEFQUyAyMDEyLgoKSW1wb3J0YW50IERhdGVzOgo9PT09PT09PT09PT09PT09CgpBYnN0cmFj dCAgICAgICAgMjQgRGVjZW1iZXIgMjAxMwpTdWJtaXNzaW9uICAgICAgMzEgRGVjZW1iZXIgMjAx MwpOb3RpZmljYXRpb24gICAgIDMgRmVicnVhcnkgMjAxNApGaW5hbCB2ZXJzaW9uICAgMTAgRmVi cnVhcnkgMjAxNApXb3Jrc2hvcCAgICAgICAgMTIgQXByaWwgICAgMjAxNAoKCkludml0ZWQgU3Bl YWtlcnM6Cj09PT09PT09PT09PT09PT09CgpCb2IgQXRrZXkKU2hpbi15YSBLYXRzdW1hdGEsIEt5 b3RvIFVuaXZlcnNpdHkKCgpQcm9ncmFtIENvbW1pdHRlZToKPT09PT09PT09PT09PT09PT09CgpB bmRyZWFzIEFiZWwsIENoYWxtZXJzIGFuZCBHb3RoZW5idXJnIFVuaXZlcnNpdHkKTmVpbCBHaGFu aSwgVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZQkKTWFrb3RvIEhhbWFuYSwgR3VubWEgVW5pdmVy c2l0eQpOZWVsYWthbnRhbiBSLiBLcmlzaG5hc3dhbWkgKGNvLWNoYWlyKSwgVW5pdmVyc2l0eSBv ZiBCaXJtaW5naGFtClBhdWwgQmxhaW4gTGV2eSAoY28tY2hhaXIpLCBVbml2ZXJzaXR5IG9mIEJp cm1pbmdoYW0KUmFzbXVzIE3DuGdlbGJlcmcsIElUIFVuaXZlcnNpdHkgb2YgQ29wZW5oYWdlbgpS dXNzZWxsIE8nQ29ubm9yLCBHb29nbGUgQ2FuYWRhCgoKU3VibWlzc2lvbjoKPT09PT09PT09PT0K ClBhcGVycyBtdXN0IHJlcG9ydCBwcmV2aW91c2x5IHVucHVibGlzaGVkIHdvcmsgYW5kIG5vdCBi ZSBzdWJtaXR0ZWQKY29uY3VycmVudGx5CnRvIGFub3RoZXIgY29uZmVyZW5jZSB3aXRoIHJlZmVy ZWVkIHByb2NlZWRpbmdzLiBBY2NlcHRlZCBwYXBlcnMgbXVzdCBiZQpwcmVzZW50ZWQgYXQgdGhl IHdvcmtzaG9wIGJ5IG9uZSBvZiB0aGUgYXV0aG9ycywgYW5kIHdpbGwgYmUgcHVibGlzaGVkCnVu ZGVyCnRoZSBhdXNwaWNlcyBvZiBFUFRDUyB1bmRlciBhIENyZWF0aXZlIENvbW1vbnMgbGljZW5j ZS4KClRoZXJlIGlzIG5vIHNwZWNpZmljIHBhZ2UgbGltaXQsIGJ1dCBhdXRob3JzIHNob3VsZCBz dHJpdmUgZm9yIGJyZXZpdHkuCgotLQpQYXVsIEJsYWluIExldnkKU2Nob29sIG9mIENvbXB1dGVy IFNjaWVuY2UsIFVuaXZlcnNpdHkgb2YgQmlybWluZ2hhbQorNDQgMTIxIDQxNCA0NzkyCmh0dHA6 Ly93d3cuY3MuYmhhbS5hYy51ay9+cGJsCgoKCgo=