ICMS 2016

ICMS 2016

[Vladimir Voevodsky]

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.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

ICMS 2016

[Vladimir Voevodsky]

[-- Attachment #1.1: Type: text/plain, Size: 1216 bytes --]

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 #1.2: Message signed with OpenPGP using GPGMail --]
[-- Type: application/pgp-signature, Size: 496 bytes --]

[-- Attachment #2: Type: text/plain, Size: 169 bytes --]

_______________________________________________
Agda mailing list
Agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org
https://lists.chalmers.se/mailman/listinfo/agda