Skip to Content.
Sympa Menu

coq-club - [Coq-Club] ICMS 2016

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ICMS 2016


Chronological Thread 
  • From: Vladimir Voevodsky <vladimir AT ias.edu>
  • To: Univalent Mathematics <univalent-mathematics+noreply AT googlegroups.com>, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, Coq Club <coq-club AT inria.fr>, Agda mailing list <agda AT lists.chalmers.se>, Types list list <types-announce AT lists.seas.upenn.edu>, categories AT mta.ca
  • Cc: Vladimir Voevodsky <vladimir AT math.ias.edu>
  • Subject: [Coq-Club] ICMS 2016
  • Date: Thu, 24 Mar 2016 08:37:31 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vladimir AT ias.edu; spf=Pass smtp.mailfrom=vladimir AT ias.edu; spf=None smtp.helo=postmaster AT pps3.ias.edu
  • Ironport-phdr: 9a23:gC2w3R1qfN1u3h3wsmDT+DRfVm0co7zxezQtwd8Zse8UK/ad9pjvdHbS+e9qxAeQG96Lu7Qd26GN7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZ3nnLvss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+iB/CUwKL630AGkAfjhpFBgHZ7RrhFsPstCrkv+5w3jXfOMTqTb0xUCij5LwoThjyhT8DJhY292bYjsF/lqVGuAnnrBt6lcqcQIaQM+Z5ZrKVQcICSCJ9XstWTT0JVoO7aowTCPIQIfdAopX9qlwUvDOxAg6jAO7g0DhVnmSw1qo/haBpOgbflCckAthG5H/TtZD+MLoYeeGz1qjBizvZObce8Djx4cDNexEloPeDFbZxataZnUAgGwrtilSLtZejNDOc0uEAqXPd9Oc2EaqTmnYqsEl1oyOzjsMtkZWB0p4E0l3fsCx/xoEoI9a1YEp6esK/VoBdvjrcKpN7RMVkTm117mJywbQatJG8ZikH07wi2xeZYPXUXZKP50fdUO+dIDJ5njpbf7+hgBqp8lnonvP4X8W11VdQhitMiZ/Bum1bhE+b0dSOVvYophTp4j2IzQ2Gr7gceU0=

Dear All,

I am organizing a special session “Univalent Foundations and Proof
Assistants” at the International Congress of Mathematical Software (ICMS)
2016 in Berlin. The Congress will be from July 11 until July 14.

I am also giving at the congress a plenary talk on July 14 about the UniMath.

Here is the site of the congress: http://icms2016.zib.de/index.html

The description of our session as well as of other sessions is here:
http://icms2016.zib.de/sessions.html By clicking at the session name you get
to the webpage of the session that will be eventually populated with the
titles and abstracts of the talks.

The list of speakers who have agreed to speak at our session is:

Benedikt Ahrens (IAS/HoTT-Coq), Torsten Altenkirch (Nottingtham), Abishek
Anand (Cornell), Marc Bezem (Bergen), Guillaume Brunerie (Nice/IAS), Mark
Bickford (Cornell), Jason Gross (MIT), Catherine Lelay (IAS), Anders Mortberg
(IAS), Vincent Rahli (Cornell), Floris van Doorn (CMU), Jacob von Raumer
(KIT/CMU).

We probably won’t be allowed to have more speakers but if you want to speak
at the session please write to me and I’ll see what can be done.

Hope to see you in Berlin,

Vladimir Voevodsky.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail



  • [Coq-Club] ICMS 2016, Vladimir Voevodsky, 03/24/2016

Archive powered by MHonArc 2.6.18.

Top of Page