coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Robby Findler <robby AT eecs.northwestern.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] DeepLearn 2017: early registration April 21
Date: Thu, 13 Apr 2017 13:14:23 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=robby AT eecs.northwestern.edu; spf=None smtp.mailfrom=robby AT eecs.northwestern.edu; spf=None smtp.helo=postmaster AT mail.ece.northwestern.edu
Ironport-phdr: 9a23:H5t72xRBr44WzwD1L6ILjRzsndpsv+yvbD5Q0YIujvd0So/mwa69YRON2/xhgRfzUJnB7Loc0qyN4vymATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSijewZbx/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/27ZisNyjKxVrhGvqQFhzYHIe4yaLuZyc7nHcN8GWWZMXMBcXDFBDIOmaIsPCvIMM/pfr4bmvFQPrQa1CwmtBOPp1zBIgmH53bcn2OkmCwHG2xcvEMkOsXnPstr6KrsdUfuvwKnOyjXDde9W2Tfz6YfWaRAhve+DXah2ccbL10YgCh7Fg0yWpIf4PD2VzvwAv3WF4+dkT+6jlnIrpgFrrjWs3MshhZHFipwJxl3A7yl0w4Y4KcelREJlYtOoCoZcuiOVOoZwX8gsWXtnuDwgxb0DoZO7fDYFyJAgxxPHbvyIaYmI4hb5WOmPPTh3mmhpeLS4hxao7UigyuP9Wdev0FZWsCVFiN/MumoT2BPO98iLUvp9/kG/1jaTzw3f9/9ILEQumabGN5IswqQ8m5kJvUnMBiP2nV/5jK6SdkUq4Oio7OHnb638pp+bLIB7kQH/P78wlcOhHes4KRICX26c+eSmyL3j/UP4T6tRjv0qjKbZqpbaKd4FqaGkHg9Zypwj5AqnDze6zNQYmmEKI05CeBKeloTmJ1XOIO3jAvqkmFStkDJrx+jcMbH7A5XNKGLDkLb7crpn5U5c0ll78dcK7JVNT7oFPfjbW0nrtdWeAAVqHRazxrPdD993x8swWGSDBqKDePfItlWC98oiLuKXIokSoir9NPU++/P0izk0lUJLLvrh5ocedH3tRqcuGE6ee3e52to=

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> 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