coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: makarius AT sketis.net
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] WiL 2018: Women in Logic Workshop Final Call for Papers
Date: Fri, 6 Apr 2018 21:37:23 +0200 (CEST)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=makarius AT sketis.net; spf=Pass smtp.mailfrom=makarius AT sketis.net; spf=None smtp.helo=postmaster AT mx2f26.netcup.net
Ironport-phdr: 9a23:ptzITReaKkuQQ0o+yiNlT0LblGMj4u6mDksu8pMizoh2WeGdxcq4Zx7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM38H/ZhcNtgq1Hrxyuugdyw5LXbY2JKPZyYr/RcNEcSGFcXshRTStBAoakYosKFeUBPvxXr5P8p1sTthuzHhKsBODxxT9Uh3/2xrc20+I/HgHa2gErAtEAsGzModnoN6ofUvq5wajLwDnZYP5b2y3x5YbLfx0nvPqCR6h/cdDLxkkqDw7FjkufqYjiPz6N0+QMvHaX7+R+We+ukWInrR9+oiSzyccxkonFnIQVxU7Y9SlhwYY1I8O3SFJjbNK5E5ZdtDuWOop1T884TGxlujw2x7MFtJKjeSgF0pUnxxrRa/yddIiI5wruVOOLLjd7nn1lYrO/hwup8UW70e38Vde70EpLripeiNXMsG4C1wDL5sidVvR95luh2SqI1w3L9u5EJlk0mbPHJJ4l374/jYEesV/DHy/zgEX5lrWadkQi+uiy6uToeK/qppGGN9w8tgarOaM338e7HO4QMw4UXmHd9/7v+qfk+Bj8SbZDlPwriYHCs53GJN9doKOlUFwd6Zoq9xvqV2Tu698fh3RSdAsUKiLCtJDgPhT1GN69CP6+h1q2lzIynaLdPbD9A46LKHXfwu64IeRNrnVEwQ929uhxoopOA+hbcunwV1Pwr5reAwNra1XpkdaiM81008YlYUzKAqKdN/qD41qYvOx1fa+KaZMepS67LfU5tabj

I am not reading my mail until 12-Apr-2018.

[Coq-Club] WiL 2018: Women in Logic Workshop Final Call for Papers, Amy Felty, 04/06/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] WiL 2018: Women in Logic Workshop Final Call for Papers, makarius, 04/06/2018