coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2016 Heidelberg Laureates Forum

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Types list list <types-announce AT lists.seas.upenn.edu>, Coq Club <coq-club AT inria.fr>, Agda mailing list <agda AT lists.chalmers.se>, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, categories AT mta.ca
Cc: "Prof. Vladimir Voevodsky" <vladimir AT ias.edu>
Subject: [Coq-Club] 2016 Heidelberg Laureates Forum
Date: Wed, 9 Dec 2015 10:16:06 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vladimir AT ias.edu; spf=None smtp.mailfrom=vladimir AT ias.edu; spf=None smtp.helo=postmaster AT pps3.ias.edu
Ironport-phdr: 9a23:p3K2BhYwqskSw92EdYvMKGX/LSx+4OfEezUN459isYplN5qZo8i5bnLW6fgltlLVR4KTs6sC0LqI9fi4EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35rxj7j60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jXpAHOVkOL52AAGmEXiQYAVxTU9BzhG573tCznsOFw8C2bJtHtC6s5UC/k8r9mThmuhSsaYXpx22bOwud0kagT9Bmmvll0x5PeSICTLvt3OK3HK5dSbGVNV45UXi1FA4WzJ48OFPZJae9Xo4DVo1oVsQD4DgmlAObi0CQOnXKgmeUa1OEmDQbezUQcDsoD+EjUodLvJe9GUeewy7XP1STffutbxTfw75LZWh8mpv6IUL1qdtfJ0g8kEAaTyh2boJDoMDSP1+kWm22H5qxrXLGBkWki/j91qzSuw8Y2wrfOi5wSxkvH5G0t3oI8Kdy9SVRTYNe/VpZcqnfJZMNNXso+TjQw624BwboctMv+JXBSxQ==

Hello,

HLF 2016 (http://www.heidelberg-laureate-forum.org/event_2016/) will be Sep.
18-23. As in the previous years each attending laureate has the right to
bring with him one young researcher (the first year it was three young
researchers) on full support no questions asked as long as the person
satisfies the general criteria spelled out on the website.

Those interested please write to me. The deadline is Feb. 5, 2016.

Vladimir.

PS Sorry for multiple postings.

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

[Coq-Club] 2016 Heidelberg Laureates Forum, Vladimir Voevodsky, 12/09/2015