[Agda] ICMS 2016

Vladimir Voevodsky vladimir at ias.edu
Thu Mar 24 13:37:31 CET 2016


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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://lists.chalmers.se/pipermail/agda/attachments/20160324/9d73bb53/signature.bin


More information about the Agda mailing list