coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] DeepLearn 2017: early registration April 21

From: Ralf Jung <jung AT mpi-sws.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] DeepLearn 2017: early registration April 21
Date: Thu, 13 Apr 2017 15:58:26 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jung AT mpi-sws.org; spf=Neutral smtp.mailfrom=jung AT mpi-sws.org; spf=None smtp.helo=postmaster AT juno.mpi-klsb.mpg.de
Ironport-phdr: 9a23:gjNIDxEn/lK4eW1XUHuZGZ1GYnF86YWxBRYc798ds5kLTJ79osSwAkXT6L1XgUPTWs2DsrQf2raQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDWwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOSMn/mHZisJ+j6xVrxyuqBN934Hab5qYNOZ8c67HYd8WWWRMU8RXWidcAo28dYwPD+8ZMOhEtYb9o1UOpga6CwmxAuPvxSJDi3j03a0n1eQhHhrL3Ak4H9IPqXjUt9v0NLwIXeCy1qnIwizOYvVL0jn+8IjFag0trP+IUL5qbMbczVMjGgDEg1mKpoHoMDWY3fkXvWeB9epvT+evhnYnqw5vpjivwd8hiovUhoITzVDI7yB5wJ40JdGhS057ZcWkH4BKuyGfL4t2TdkuTHx2tyoiy70Gv4C0fDQSxZg6yRPSb+aLf5WM7x75V+ucIC10iX1qdb6ngha960mgyunyVsmu11ZKqzJIktvRtnAL2Bze8c2HSuN8/ku4wjaO2RvT5vtDIUAumqrXM4QhzaIolpoPrUTDGTf7l1nxjK+Pb0kr5uyo6/n8bbj9vZ+dN4p0ihnkPag0m8y/B/44MgkUUGSB9+S8zu6rwUqsS7JTy/Yyj6PxsZbAJM1dqLTqLRVS19MZ4hKxRxW71ttQyXsaKl1tfQqGypP2IBfJOv+uXqT3uEiljDo+n6OOBbbmGJiYdnU=

I would agree if it was in any way related to this community, but deep
learning? That seems quite far off.
Honestly I did not even get the original mail and was wondering what
Adam responded to here; the original mail got caught in my spam filter...

; Ralf

On 13.04.2017 15:14, Robby Findler wrote:
> As a lurker (and a poster of such announcements), I find it useful to
> learn what summer schools (and other community-building things) are out
> there.
>
> Robby
>
> On Thu, Apr 13, 2017 at 8:00 AM Adam Chlipala
> <adamc AT csail.mit.edu
> <mailto:adamc AT csail.mit.edu>>
> wrote:
>
> Am I the only one who feels that these announcements are quite
> off-topic and shouldn't be allowed here?
>
> On 04/08/2017 09:50 AM, GRLMC wrote:
>> *To be removed from our mailing list, please respond to this
>> message with UNSUBSCRIBE in the subject line*
>>
>> ************************************************************
>>
>> *INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING*
>

[Coq-Club] DeepLearn 2017: early registration April 21, GRLMC, 04/08/2017
- Re: [Coq-Club] DeepLearn 2017: early registration April 21, Adam Chlipala, 04/13/2017
  - Re: [Coq-Club] DeepLearn 2017: early registration April 21, Robby Findler, 04/13/2017
    - Re: [Coq-Club] DeepLearn 2017: early registration April 21, Ralf Jung, 04/13/2017
      - Re: [Coq-Club] DeepLearn 2017: early registration April 21, Robby Findler, 04/13/2017