From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.157.48.33 with SMTP id d30mr10459169otc.20.1477315838723; Mon, 24 Oct 2016 06:30:38 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.107.20.72 with SMTP id 69ls4077473iou.32.gmail; Mon, 24 Oct 2016 06:30:37 -0700 (PDT) X-Received: by 10.98.80.8 with SMTP id e8mr10096691pfb.31.1477315837570; Mon, 24 Oct 2016 06:30:37 -0700 (PDT) Return-Path: Received: from smtp.andrew.cmu.edu (SMTP.ANDREW.CMU.EDU. [128.2.105.203]) by gmr-mx.google.com with ESMTPS id r142si1285554vkf.2.2016.10.24.06.30.37 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 24 Oct 2016 06:30:37 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of awo...@cmu.edu designates 128.2.105.203 as permitted sender) client-ip=128.2.105.203; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of awo...@cmu.edu designates 128.2.105.203 as permitted sender) smtp.mailfrom=awo...@cmu.edu; dmarc=fail (p=NONE dis=NONE) header.from=cmu.edu Received: from steveawodeysair.home (pool-74-98-213-11.pitbpa.fios.verizon.net [74.98.213.11]) (user=awodey mech=PLAIN (0 bits)) by smtp.andrew.cmu.edu (8.15.2/8.15.1) with ESMTPSA id u9ODUald020042 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Mon, 24 Oct 2016 09:30:36 -0400 From: Steve Awodey Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: Great News from Stockholm Date: Mon, 24 Oct 2016 09:30:44 -0400 Message-Id: <1774812A-14DA-4522-A1C9-D65B5CB6DCFA@cmu.edu> Cc: CMU HoTT To: Homotopy Type Theory Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) X-Mailer: Apple Mail (2.2104) X-PMX-Version: 6.3.0.2556906, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2016.10.24.131817 X-SMTP-Spam-Warning: 75% ( SXL_IP_DYNAMIC 3, FRAUD_LITTLE_BODY 2, RDNS_SUSP_LITTLE_BODY 2, HTML_00_01 0.05, HTML_00_10 0.05, MIME_LOWER_CASE 0.05, BODYTEXTP_SIZE_3000_LESS 0, BODYTEXTP_SIZE_400_LESS 0, BODY_SIZE_1000_LESS 0, BODY_SIZE_100_199 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_7000_LESS 0, DATE_TZ_NA 0, FROM_EDU_TLD 0, LEGITIMATE_NEGATE 0, LEGITIMATE_SIGNS 0, MULTIPLE_REAL_RCPTS 0, NO_CTA_URI_FOUND 0, NO_URI_FOUND 0, NO_URI_HTTPS 0, RDNS_GENERIC_POOLED 0, RDNS_POOLED 0, RDNS_SUSP 0, RDNS_SUSP_GENERIC 0, RDNS_SUSP_SPECIFIC 0, SMALL_BODY 0, __CC_NAME 0, __CC_NAME_DIFF_FROM_ACC 0, __CC_REAL_NAMES 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __FRAUD_COMMON 0, __FRAUD_WINNER 0, __HAS_CC_HDR 0, __HAS_FROM 0, __HAS_MSGID 0, __HAS_X_MAILER 0, __MIME_TEXT_ONLY 0, __MIME_TEXT_P 0, __MIME_TEXT_P1 0, __MIME_VERSION 0, __MSGID_APPLEMAIL 0, __PHISH_SPEAR_STRUCTURE_1 0, __RDNS_POOLED_10 0, __SANE_MSGID 0, __SUBJ_ALPHA_END 0, __TO_MALFORMED_2 0, __TO_NAME 0, __TO_NAME_DIFF_FROM_ACC 0, __TO_REAL_NAMES 0, __USER_AGENT_APPLEMAIL 0, __X_MAILER_APPLEMAIL 0) X-SMTP-Spam-Score: 75% X-Scanned-By: MIMEDefang 2.78 on 128.2.105.203 Congratulations to Peter Lumsdaine on his appointment as Assistant Professo= r in the Mathematics Department at the University of Stockholm! Proud academic parent, Steve