From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8747 Path: news.gmane.org!not-for-mail From: Vladimir Voevodsky Newsgroups: gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories Subject: Re: [Coq-Club] 2016-2017 at the IAS Date: Wed, 25 Nov 2015 08:41:00 -0500 Message-ID: <569F0B2A-8479-443F-BAF9-48A7EE1A789D@ias.edu> References: <35D45755-915E-49CE-A9B0-99B6BBD244D5@ias.edu> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 9.1 \(3096.5\)) Content-Type: multipart/mixed; boundary="===============8731748547938329408==" X-Trace: ger.gmane.org 1448458887 14268 80.91.229.3 (25 Nov 2015 13:41:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 25 Nov 2015 13:41:27 +0000 (UTC) To: Types list list , Coq Club , Homotopy Type Theory , Agda mailing list , categories-59hdLBrVOVU@public.gmane.org Original-X-From: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Wed Nov 25 14:41:17 2015 Return-path: Envelope-to: gcla-agda@m.gmane.org Original-Received: from frenesi.ita.chalmers.se ([129.16.222.46]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1a1aJp-0002sm-CN for gcla-agda@m.gmane.org; Wed, 25 Nov 2015 14:41:09 +0100 Original-Received: from frenesi.ita.chalmers.se (localhost.localdomain [127.0.0.1]) by frenesi.ita.chalmers.se (Postfix) with ESMTP id F0EFD18F3CA; Wed, 25 Nov 2015 14:41:10 +0100 (CET) Original-Received: from pps3.ias.edu (pps3.ias.edu [192.16.204.88]) by frenesi.ita.chalmers.se (Postfix) with ESMTP id D513518F3BB for ; Wed, 25 Nov 2015 14:41:08 +0100 (CET) Original-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 tAPDf2k7023665 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 25 Nov 2015 08:41:02 -0500 Original-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 tAPDf2Eu023659; Wed, 25 Nov 2015 08:41:02 -0500 X-Proofpoint-Sentinel: stfsU2FsdGVkX19pB5QBp25ROhI4BxpXI6x/jZ5oE0TbfrSq4+KjwbA/UR+i tfUP25cgWOkOGXEhSF2bhky2BboneAHeADpYj9JHd7kWMt/8uBQmjCPi3NlasEpnMssCzvXN Original-Received: from imap.math.ias.edu (imap.math.ias.edu [172.16.41.5]) by pps3.ias.edu with ESMTP id tAPDf18F023635 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 25 Nov 2015 08:41:02 -0500 Original-Received: from pool-173-72-104-135.cmdnnj.fios.verizon.net ([173.72.104.135] helo=vladimirs-mbp.home) by imap.math.ias.edu with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.80.1) (envelope-from ) id 1a1aJh-00060y-EK; Wed, 25 Nov 2015 08:41:01 -0500 X-Pgp-Agent: GPGMail 2.6b2 In-Reply-To: <35D45755-915E-49CE-A9B0-99B6BBD244D5-7sGGXJK9R50@public.gmane.org> X-Mailer: Apple Mail (2.3096.5) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:, , definitions=2015-11-25_10:, , 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 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=donotscan adjust=0 reason=safe scancount=1 engine=8.0.1-1507310000 definitions=main-1511250236 X-IAS-PPS-PHISH: NO X-BeenThere: agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: All things Agda List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Errors-To: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Xref: news.gmane.org gmane.comp.lang.agda:8066 gmane.comp.science.types.announce:5639 gmane.science.mathematics.logic.coq.club:16340 gmane.science.mathematics.categories:8747 Archived-At: --===============8731748547938329408== Content-Type: multipart/signed; boundary="Apple-Mail=_FFB5A676-FC0C-4B5A-B96D-51912C41A78E"; protocol="application/pgp-signature"; micalg=pgp-sha512 --Apple-Mail=_FFB5A676-FC0C-4B5A-B96D-51912C41A78E Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Hello, let me provide another reminder: the deadline for applications for the = 206/17 academic year at the IAS is December 1, 2015. With best regards, Vladimir. > On Oct 13, 2015, at 3:33 PM, Vladimir Voevodsky = wrote: >=20 > Hello, >=20 > I would like to remind to everybody that just as the last year, this = year year the School of Mathematics at the Institute for Advanced Study = in Princeton is looking for applications for memberships from people = working in the Univalent Foundations as well as other areas of Type = Theory, Constructive Mathematics and formalization of mathematics. >=20 > The applications can be submitted through the MathJobs. >=20 > Vladimir. >=20 --Apple-Mail=_FFB5A676-FC0C-4B5A-B96D-51912C41A78E 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 iQEcBAEBCgAGBQJWVbpsAAoJEH5eMY79Hy7t6xYH/33ALuD2imPtoyP6SPcHVCSV 4EtcO0dEriZhDU3WyDbg3Er49AbBOYFYVsXkiKh+RoK8HCjbkmJ2RfXpJnaTX6Cw WZvxJIE5XrLr7sqwbovysz0jSCEbQ5a1e4I4CA+FS3aAInjy9MhJk8sTf+xvOOq0 WsxLvVBB3+uvI3bRbxH208kkuob0TPvsOPCiilMHXxGPiFvWPmm2iSIc/cZmfND+ K/ptYGv0r5a79To9u7QjSwZ7xKtw2SvtU9Y1a5UxKBtxi/yzhueX0PAHwgdkeUI4 JLcDRdcQqzHwSNyjGHDYNE9RPLzV5HgC50VbhwxxST2QEIgVsro2UJS8sc6L2y8= =4Qxc -----END PGP SIGNATURE----- --Apple-Mail=_FFB5A676-FC0C-4B5A-B96D-51912C41A78E-- --===============8731748547938329408== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Agda mailing list Agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org https://lists.chalmers.se/mailman/listinfo/agda --===============8731748547938329408==--