From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.157.14.181 with SMTP id 50mr33632199otj.27.1468948730007; Tue, 19 Jul 2016 10:18:50 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.107.154.197 with SMTP id c188ls2308028ioe.0.gmail; Tue, 19 Jul 2016 10:18:48 -0700 (PDT) X-Received: by 10.36.236.70 with SMTP id g67mr591420ith.8.1468948728457; Tue, 19 Jul 2016 10:18:48 -0700 (PDT) Return-Path: Received: from pps3.ias.edu (pps3.ias.edu. [192.16.204.88]) by gmr-mx.google.com with ESMTPS id w1si1764396yww.7.2016.07.19.10.18.48 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 19 Jul 2016 10:18:48 -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 u6JHIlcx019973 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 19 Jul 2016 13:18:47 -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 u6JHIl7i019967 for ; Tue, 19 Jul 2016 13:18:47 -0400 X-Proofpoint-Sentinel: stfsU2FsdGVkX19z2XdMEQhTdK63NqYdPoTylxHy+QGiO6Ta3VHUlLGo9hSM mxPoFYkVdz2lEZ+P4h7c7v7dk1t12Op0KLEISc1r3my+sT4Xey1AWZmT80LgAUPH2pC8JIdt Received: from imap.math.ias.edu (imap.math.ias.edu [172.16.41.5]) by pps3.ias.edu with ESMTP id u6JHIlns019966 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Tue, 19 Jul 2016 13:18:47 -0400 Received: from [89.245.134.42] (helo=[10.11.168.153]) by imap.math.ias.edu with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.80.1) (envelope-from ) id 1bPYfP-0006qi-E0; Tue, 19 Jul 2016 13:18:47 -0400 From: Vladimir Voevodsky X-Pgp-Agent: GPGMail Content-Type: multipart/signed; boundary="Apple-Mail=_E677050E-EE78-40D1-9C94-CFBD91A69AF6"; protocol="application/pgp-signature"; micalg=pgp-sha512 Subject: FOMUS slides Date: Tue, 19 Jul 2016 19:18:45 +0200 Message-Id: <319FEA26-A1A5-42F2-9539-8B4635BFC016@ias.edu> Cc: "Prof. Vladimir Voevodsky" To: HomotopyTypeTheory@googlegroups.com 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-07-19_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-1604210000 definitions=main-1607190182 X-IAS-PPS-PHISH: NO --Apple-Mail=_E677050E-EE78-40D1-9C94-CFBD91A69AF6 Content-Type: multipart/alternative; boundary="Apple-Mail=_3BDF5ADA-51F0-4EDE-AD4A-031DAA8AEECB" --Apple-Mail=_3BDF5ADA-51F0-4EDE-AD4A-031DAA8AEECB Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Hello, the slides of my FOMUS talk that have started the discussion about equaliti= es are now available at my website https://www.math.ias.edu/vladimir/lectur= es . Vladimir. --Apple-Mail=_3BDF5ADA-51F0-4EDE-AD4A-031DAA8AEECB Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=us-ascii Hello,

the slides of my FOMUS talk that have started the discussion about equalities are now available at my website https://www.math.ias.edu/vladimir/lectures .

Vladimir.

--Apple-Mail=_3BDF5ADA-51F0-4EDE-AD4A-031DAA8AEECB-- --Apple-Mail=_E677050E-EE78-40D1-9C94-CFBD91A69AF6 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 iQEcBAEBCgAGBQJXjmD1AAoJEH5eMY79Hy7t1d0IAMrlLoiCnx7le1V6QI/u67e3 UJy97mQn8u7Uls0U4s3ZeW0/M0IN0RHYpSjirFhhXinw0qc1nn53WXDQeUbU7RDg kDIdK8wbciWqVIVwvbyP4KyzY6YqiBvSVWAHTRC3hBQ7V8lj2Uyu1VDQcoSA0F8l uMf0TRZ2spibnYhFXzBg6a0gkkipBGAqwR6+VBCNlXxJuxqsBF+X8js/aHKlO3w7 aUcwYMJhmqrz0X4wRjJDTA0tiZiV4sAqzZNDx7OHcWgVGwa1+kcRzULw4BS+qrKQ fbtSUZ8TH9hZ+v9zYxn6J00Zz8BnqR8Ku9AnUiQme3+P9lqAr0xLZiCC3y4S6bw= =8stR -----END PGP SIGNATURE----- --Apple-Mail=_E677050E-EE78-40D1-9C94-CFBD91A69AF6--