coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Adam Chlipala <adamc AT csail.mit.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] DeepLearn 2017: early registration April 21
Date: Thu, 13 Apr 2017 09:00:05 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=adamc AT csail.mit.edu; spf=Pass smtp.mailfrom=adamc AT csail.mit.edu; spf=None smtp.helo=postmaster AT outgoing-stata.csail.mit.edu
Ironport-phdr: 9a23:fbpiaBGF/NcgUyj1M+SVk51GYnF86YWxBRYc798ds5kLTJ78pcuwAkXT6L1XgUPTWs2DsrQf2raQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDWwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOSMn/mHZisJ+j6xVrxyuqBN934HZe5uaOOZkc67HYd8XS2hMU8BMXCJBGIO8aI4PAvIdMOlFtYb9okYFoAW+BQmoBePv0iVHhnvs0qYn1OkuCxzJ0xYlH90Sq3nbsM71O70TUeCx1qXIyDTDb+9M1Tjj9YfIbwksrPeRVrxzacrc0VQjGx3Gg1mKp4HpIymZ2voXv2SF8uZsSfqjh3M5pwxyuDSiyNsghpPNi44L0FzI6zt1zJszKNalUkB0e8SkH4FVtyyCN4t5XMciQ2ZwtSY9170GpZG7fC8LyJQhyB7TcueHc5SS7RL/TumdOyt3hGl/d7K+gxa+602gyuzgVsWuzllFszdFnsHNtnALyRPT9tCKRuZj8kqiwzqC2Rzf5vtaLUwui6bXNoItzqY1lpUJsETDGiH2mF/xjK+Tbkgr4PWn5P7iYrr6vZKTK5R0hRv/MqQqgMC/BOU4MhQUU2eF5Ou8yaXv/VflT7VSkv02jq7ZvYjGKsQcv661GhNa0oI+6xmkFDqmy9QZnXwfLF1fYh6Hjo7pO0vPIP/iF/u/jU6sw39XwKXNOaSkCZHQJFDClq3gdPBz8R1y0g02mPlT7pccIbEFIer6Xka54NXUBxoyGwevyufjTtB8ysUTVX/ZUfzRC7/brVLdvrFnGOKLfoJA4Ds=

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:

DeepLearn 2017: early registration April 21 *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