From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.176.84.207 with SMTP id q15mr423966uaa.21.1474573604264; Thu, 22 Sep 2016 12:46:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.107.138.143 with SMTP id c15ls5180059ioj.19.gmail; Thu, 22 Sep 2016 12:46:41 -0700 (PDT) X-Received: by 10.66.145.133 with SMTP id su5mr596710pab.22.1474573601860; Thu, 22 Sep 2016 12:46:41 -0700 (PDT) Return-Path: Received: from pps3.ias.edu (pps3.ias.edu. [192.16.204.88]) by gmr-mx.google.com with ESMTPS id w124si306057ywc.4.2016.09.22.12.46.41 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 22 Sep 2016 12:46:41 -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 u8MJkf6C031280 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 22 Sep 2016 15:46:41 -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 u8MJkfmY031273; Thu, 22 Sep 2016 15:46:41 -0400 X-Proofpoint-Sentinel: stfsU2FsdGVkX19PbSCW7Qqdj0m2klTGzBb8hC1/4zGhQUKU5K02kD861aHF M/6WrTTp2TzFzQOBm7npXBKy9vViVx8a4DsmFM+g/VTTXbxU90CyxCky7zs0bkd0XYC6nyo0 Received: from imap.math.ias.edu (imap.math.ias.edu [172.16.41.5]) by pps3.ias.edu with ESMTP id u8MJkeBm031272 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 22 Sep 2016 15:46:41 -0400 Received: from hsi-kbw-085-216-024-254.hsi.kabelbw.de ([85.216.24.254] helo=[192.168.58.189]) by imap.math.ias.edu with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.80.1) (envelope-from ) id 1bn9xA-0001pW-QT; Thu, 22 Sep 2016 15:46:40 -0400 From: Vladimir Voevodsky X-Pgp-Agent: GPGMail Content-Type: multipart/signed; boundary="Apple-Mail=_F8077F42-BFD4-4011-A7EF-C261967BD502"; protocol="application/pgp-signature"; micalg=pgp-sha512 Subject: new slides Date: Thu, 22 Sep 2016 21:46:37 +0200 Message-Id: <6E32CAD6-D1D3-4B4D-973A-BA872F84037B@ias.edu> Cc: "Prof. Vladimir Voevodsky" To: Univalent Mathematics , Homotopy Type Theory 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-09-22_09:,, 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-1609020000 definitions=main-1609220344 X-IAS-PPS-PHISH: NO --Apple-Mail=_F8077F42-BFD4-4011-A7EF-C261967BD502 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Hello, I have uploaded to me homepage the slides of my lecture at HLF 2016 with a = discussion of the Univalent Foundations and some discussion of the UniMath = library. See https://www.math.ias.edu/vladimir/Lectures . Vladimir. --Apple-Mail=_F8077F42-BFD4-4011-A7EF-C261967BD502 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 iQEcBAEBCgAGBQJX5DUdAAoJEH5eMY79Hy7t4GgIAIrrEnGnUfRZMBiFVLFQwNcD KiGIo9QFkcCzcaFGO1q34X3OgMrEhDFB3a5L3Xf0PYZInhlbHvYHG9obec+zUeIn GUkYrowqzCAhZT/3mUt1xqnZkPMS5WFTEoqnfNuYHZoaDMP5OnuCIqUHYX9ZZRQa m0cXUfxRlwsd1SNhyEK9QXEs0KSD6u8o4gYGRijdsM/fV5Z6YcmkK3yawxysZS9Q rTQKtJy0z5dxvcP2qVzLKUZc0+sC/tpGCPn+l9wvbCfMQP+MZMMJ0uyfOWLuXG3t C1zfVFo/vhTeK+OjE/yoM277qj4llq9o++LroP1sqdf0aVyneeGy72NP9P/w/c8= =ckGw -----END PGP SIGNATURE----- --Apple-Mail=_F8077F42-BFD4-4011-A7EF-C261967BD502--