coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Vote for location of ITP2021 (DEADLINE 2nd Aug)

From: "O'Leary, John W" <john.w.oleary AT intel.com>
To: "acl2 AT utlists.utexas.edu" <acl2 AT utlists.utexas.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "isabelle-users AT cl.cam.ac.uk" <isabelle-users AT cl.cam.ac.uk>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "mizar-forum AT mizar.uwb.edu.pl" <mizar-forum AT mizar.uwb.edu.pl>
Subject: [Coq-Club] Vote for location of ITP2021 (DEADLINE 2nd Aug)
Date: Sun, 28 Jul 2019 14:01:19 +0000
Accept-language: en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=john.w.oleary AT intel.com; spf=Pass smtp.mailfrom=john.w.oleary AT intel.com; spf=None smtp.helo=postmaster AT mga09.intel.com
Dlp-product: dlpe-windows
Dlp-reaction: no-action
Dlp-version: 11.2.0.6
Ironport-phdr: 9a23:UoUS0BPh4AjduqhOma8l6mtUPXoX/o7sNwtQ0KIMzox0K/39pcbcNUDSrc9gkEXOFd2Cra4d0ayG4uu+CCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Nha7oAHeusQXhYZpN7o8xAbOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLuhSwaNTA27XvXh9RwgqxFvRyhuxJxzY3VYI6JO/RxcbjQfc8DRWdbQspdSzBNDp26YoASD+QBJ+FYr4zlqlcAtBWyBg+iC/31xT9Shn76xbAx3eAmEQHG2gwrAtIBvHrJp9jyNqcSVuC1zK/SwTTNdf9W3jP955bSfRA7ofCBRrNwcczNyUYxEwPJlEmfqYvgPz6M0OkGrmaV7+1lVe21im4nrRl8oiCyycYjkIXGmJ8ayk3C+C5kw4g1PcW1RFN1bNOrCpdcqi+XOoRsTs8/TWxluTw2xqMJtJKjYSQG1I4rywPFZ/CZb4SE/gjvWPuNLTp6nH5pZbOyihKo/US+yuDxWdO43EtQoiZYjNXBtnYA3AHJ5MedUPty5EKh1C6P1w/N7uFEJlg5la/UK5E73rI9koAfsUXFHi/qhkr2iLWaeVkj+uit8+jnY7PmqYGAN4Jslw3zPKsjltaiDek2PQUCRXWX9Oq92bH540H0T61GjvgsnanYtJDaK94bpqm8AwJN0IYj7Ba/DzG83NUWh3UHK1ZFdwydgIjzO1DDO/H4DfGjg1uylDdn3ezJPrrkApnVNHjMjK/hfaph605b0Ac80ddf54tNBr4dJPLzR1T+ucfDDh45Ngy02/zoBM981oMYQ2KPA7WWPLncsV+StaoTJLzGbYQR4h7gN/wk/OL1y2IllE8UZu+k0YZdICSxFfA8C1iFZXv3nsxHDHsHrgMlCuHmlQvGGXRaaHq7d6Y9/S0gTommBIPGS5q2xqeMlm/vF5Jab0hCC0uQCjHjd4yAXvoWc2SJL5kl2nYPUqHkQIs83zmvshX7wvxpNKCcriYfrNfo0MV/z+zVjxA7szJuWYDVmWGKSyR1mG0Pbzs3x7xk51d6102I3KZ/mfNVU9pe+7kBBgc9MdvdyeJ9I9TzQR7aOMyOVUytT9uhGz48CNQ834lKKwx8ANyogxTH0m+3GLIPjJSAANo/+6ea1nO3OsU3gyLHz6Argl0iT45SLmC8nYZ0807YDouPmk7fiqX8MexWxDDW3GyYySyVpkAeWwl1G+2RRW4ETkDNqZLi/EKERLirX/BveA5A28eYb6VNcMDspVBHVv75fsnBaSS8l3r2HRLCjueJbZjjYSAT2z/ADWABkhIa5zCbKgJ4Cyu85XraWm9AD1XqNgnLvs1zoWmqCgcWyAGMJ3Irn+63/R4Tw+PaTPce16gVkCYntzhwWl262oSFWJK7uwN9cfAEMpsG61Bd2DeB7l0vDtmbN6lnw2UmXUFytkLq2Q9wD9wZw8kssH4uigF1LPDBiQ8TR3ajxZn1f4bvBCzq5hn2MvzX3E3T1JCd/aJdsK1l+WWmhxmgEw8Zy1si09RR1CLDtJDFBVJDF5P3TkszsRN9ouOCbw==

It is a long-standing custom of ITP (and TPHOLs) to vote on where the
next installment of the conference should take place. It has already
been decided that ITP 2020 will be incorporated into IJCAR 2020, the
International Joint Conference on Automated Reasoning, to be held in
Paris. However, we are already looking forward to 2021.

Anyone who is seriously considering attending ITP 2021 is entitled to
vote. We received two bids, for Rome and London. Details of the bids
can be viewed at

https://itp19.cecs.pdx.edu/itp-2021/

where you will also find voting instructions.

THE DEADLINE FOR VOTING IS FRIDAY, 2 AUGUST, 2019

Regards,

John Harrison, John O'Leary, and Andrew Tolmach
ITP 2019 organizers

[Coq-Club] Vote for location of ITP2021 (DEADLINE 2nd Aug), O'Leary, John W, 07/28/2019