From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.67.7.225 with SMTP id df1mr777946pad.106.1476311754235; Wed, 12 Oct 2016 15:35:54 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.107.168.12 with SMTP id r12ls1753033ioe.42.gmail; Wed, 12 Oct 2016 15:35:50 -0700 (PDT) X-Received: by 10.36.28.11 with SMTP id c11mr1052069itc.36.1476311749984; Wed, 12 Oct 2016 15:35:49 -0700 (PDT) Return-Path: Received: from pps3.ias.edu (pps3.ias.edu. [192.16.204.88]) by gmr-mx.google.com with ESMTPS id 80si624397ywv.5.2016.10.12.15.35.49 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 12 Oct 2016 15:35:49 -0700 (PDT) Received-SPF: pass (google.com: domain of vlad...@ias.edu designates 192.16.204.88 as permitted sender) client-ip=192.16.204.88; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of vlad...@ias.edu designates 192.16.204.88 as permitted sender) smtp.mailfrom=vlad...@ias.edu; dmarc=pass (p=NONE dis=NONE) header.from=ias.edu Received: from pps.reinject (pps3.ias.edu [127.0.0.1]) by pps3.ias.edu (8.15.0.59/8.15.0.59) with ESMTPS id u9CMZn6h027182 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 12 Oct 2016 18:35:49 -0400 Received: from pps3.ias.edu (pps3.ias.edu [127.0.0.1]) by pps.reinject (8.15.0.59/8.15.0.59) with SMTP id u9CMZnkn027176; Wed, 12 Oct 2016 18:35:49 -0400 X-Proofpoint-Sentinel: stfsU2FsdGVkX1+9Fmup3aX4bqr+Ir6JS+RfUWcvPKJOV4xCprLL/88Vvjc9 UOAawI0gj53RmmVovgTO/85ob5gZZRjIHH6UPhEyF1Ti/Gbc+ZtViKvoHnr7X1r+gH24ex4E Received: from imap.math.ias.edu (imap.math.ias.edu [172.16.41.5]) by pps3.ias.edu with ESMTP id u9CMZmqK027175 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 12 Oct 2016 18:35:49 -0400 Received: from pool-173-72-20-3.cmdnnj.fios.verizon.net ([173.72.20.3] helo=vladimirs-mbp-2.home) by imap.math.ias.edu with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.80.1) (envelope-from ) id 1buS7o-0005VE-Ss; Wed, 12 Oct 2016 18:35:48 -0400 From: Vladimir Voevodsky X-Pgp-Agent: GPGMail Content-Type: multipart/signed; boundary="Apple-Mail=_4B2289B4-A44A-4FBB-9884-1D1859D543C0"; protocol="application/pgp-signature"; micalg=pgp-sha512 Subject: Summer opportunities at the IAS Date: Wed, 12 Oct 2016 18:35:48 -0400 Message-Id: <7850478A-44EC-4AFB-BFAE-20B4A96ADC82@ias.edu> Cc: "Prof. Vladimir Voevodsky" To: Types list list , Homotopy Type Theory , Univalent Mathematics Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2016-10-12_13:,, signatures=0 X-Proofpoint-Spam-Reason: safe X-IAS-PPS-SPAM: NO X-Proofpoint-Spam-Details: rule=ias_safe policy=ias score=0 spamscore=0 suspectscore=0 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=donotscan adjust=0 reason=safe scancount=1 engine=8.0.1-1609300000 definitions=main-1610120375 X-IAS-PPS-PHISH: NO --Apple-Mail=_4B2289B4-A44A-4FBB-9884-1D1859D543C0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii The School of Mathematics at the Institute for Advanced Study invites appli= cations from collaborators who would like to meet during the summer months = to further their research project. We can accommodate small groups of two t= o ve people for periods of two to four weeks and provide a per diem, a mode= st amount of travel funds, of ce space, excellent library, computer facilit= ies, and local housing. Up to ve groups will be selected. Our campus is located in Princeton, New Jersey, about an hour from New York= City and Philadelphia. Available dates for 2017 are May 28 to July 31. We encourage applications from those with limited access to other research = funding. However, if you or a member of your group has nancial support, we = would expect you to use those funds. --Apple-Mail=_4B2289B4-A44A-4FBB-9884-1D1859D543C0 Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=signature.asc Content-Type: application/pgp-signature; name=signature.asc Content-Description: Message signed with OpenPGP using GPGMail -----BEGIN PGP SIGNATURE----- Comment: GPGTools - https://gpgtools.org iQEcBAEBCgAGBQJX/rrEAAoJEH5eMY79Hy7t028H/A1sliYOc+cFqwFEiDcFItnL GB1T9sQKKrNlyvifi64WeeAqzWMQFujSwscTbVXDTXSxtNgn9NtkUOc44CTyBVUn +eL1h4geOaVpSEy0TTa9MJqf+olCaxF29DmQqBITxYgTVOfZC06B7BktcL7RI3Zj uWzPnbTEeV9kzlybo3CKW7yIrWzbj+so3lBZLvNQJSO1Bp5Vd7rqCvW5OKqeL+Fb a7ToLZRAWu0UarUqjOu4ISZtjPCuJc2x/cPHmwwS03ongaRaeqh8KYx3Tuv2AhER +MdPUmezTFpKPoPH6Knuj5kB401gaHL6vrXHik4GIHNrngk5UErAoMLr3/bIwgU= =zZ2F -----END PGP SIGNATURE----- --Apple-Mail=_4B2289B4-A44A-4FBB-9884-1D1859D543C0--