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] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
Date: Tue, 3 Apr 2018 09:11:16 +0200 (CEST)
Authentication-results: mail3-smtp-sop.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:k6qptharPY0b8T3TTc0UNL7/LSx+4OfEezUN459isYplN5qZoc65bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjA57m/YhdF+g75Urh28vBF/343ZbJ2JOPZiYq/Qf9UXTndBUMZLUCxBB5uxb44VAOoCJ+lYtYj9p0YVrRalHgmsB/3gyiNJhn/tx6E61fouER3A0Qc9HNwOqGzZoMj2OaoRS+y4zarFwS/MYv5Uwzvw5ovFfxY8qv+WR71wa9DeyUw3GgPFkFqQrYvlMiuQ1uUCrWSb4fRsWOO1h24htQ5xviSgxto0ioXTgIIa1EzE+T14wIYzO9K4VFZ2bcOnHZZTrS2XNoh7TtktTmxqoio3xL4LtYa+fCcQyZQnwxDfa+aAc4iN+h/jUfyeITRii3J/ebK/mg2y/FO7yu3/SMa0zFdKrjFfntnKqH8NywTf6tKbRftl4kehxTGP2hjP5eFDOEA4jLbUK5o8wrErjZcTqkTCHirumErslqOWd0Mk+vKp6+v9eLnmqIWcZMdIjVT1Nb1rkciiC8w5NBIPVi6V47eSzrrmqEjwQ7xQj+AturLavYzbPoIdq7LqUEduzo8/5kPnXH+d29MCkCxfdQMXSFe8l4Hsfmr2DrX9BPa7jU6rlW4xlevFM6HgGdPLI2SRye69L4Y40FZVzU8I9f4a/4hdU+tTO/H+Rk7q8trVEk1halHm86PcENx4k7gmdyePD6ueafKAtE/S6LhxZe+BeIQIoHD7JuR3v/M=

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

[Coq-Club] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages), Jurriaan Hage, 04/03/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages), makarius, 04/03/2018