Friendly reminder that the call for bids to host ITP 2023 closes in 1 week.
Note that we got the date wrong below when saying the deadline is "Friday, March 9, 2022” because March 9 is a Wednesday :) So to be fair, we’ll adjust the deadline to Friday 11th March 2022, i.e. in 1 week. Thanks, Leo and June ________________________________ From: Leonardo de Moura <leona...@microsoft.com> Sent: Wednesday, January 26, 2022 5:00 PM To: isabelle-us...@cl.cam.ac.uk <isabelle-us...@cl.cam.ac.uk>; coq-c...@inria.fr <coq-c...@inria.fr>; hol-info@lists.sourceforge.net <hol-info@lists.sourceforge.net>; mizar-fo...@mizar.uwb.edu.pl <mizar-fo...@mizar.uwb.edu.pl>; a...@utlists.utexas.edu <a...@utlists.utexas.edu>; a...@lists.chalmers.se <a...@lists.chalmers.se>; p...@csl.sri.com <p...@csl.sri.com>; cicm-memb...@lists.informatik.uni-erlangen.de <cicm-memb...@lists.informatik.uni-erlangen.de>; types-annou...@lists.seas.upenn.edu <types-annou...@lists.seas.upenn.edu>; lean-u...@googlegroups.com <lean-u...@googlegroups.com> Cc: June Andronick <june.andronick@proofcraft.systems> Subject: Call for bids to host ITP 2023 We call for bids to host ITP 2023, the 14th International Conference on Interactive Theorem Proving. As in previous years, the procedure consists of two phases: solicitation of bids and voting. This message concerns the first phase. Similar to previous years, we expect bids to propose a date in July, August or September. Bids should be sent to itp2...@easychair.org<mailto:itp2...@easychair.org> and should include at least the following information: • name and email address of a contact person • names of other people involved • address of website for the bid • approximate dates of the conference • structure (e.g., k workshop days and n days of presentations, excursion, etc.) • advantages of the proposed venue Example of previous winning bids follow: * ITP 2016 in Nancy, France https://members.loria.fr/JCBlanchette/itp2016/bid.html<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmembers.loria.fr%2FJCBlanchette%2Fitp2016%2Fbid.html&data=04%7C01%7Cleonardo%40microsoft.com%7Cbe940e2524774d534c6408d9e1301a6c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637788419006209425%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=8a%2BbApReNVg3%2Bg89xzfl1GDjY%2BY8dxx0ooCX164y7V8%3D&reserved=0> * ITP 2017 in Brasilia, Brazil https://cic.unb.br/~nalon/itp2017/<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcic.unb.br%2F~nalon%2Fitp2017%2F&data=04%7C01%7Cleonardo%40microsoft.com%7Cbe940e2524774d534c6408d9e1301a6c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637788419006209425%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=0ot%2BU3qsiY2AgL0m8nyh%2Fes%2FUvGfQ5gSNOsSdpi7s8A%3D&reserved=0> * ITP 2019 in Portland, USA http://web.cecs.pdx.edu/~apt/itp2019bid/<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fweb.cecs.pdx.edu%2F~apt%2Fitp2019bid%2F&data=04%7C01%7Cleonardo%40microsoft.com%7Cbe940e2524774d534c6408d9e1301a6c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637788419006209425%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=ZA3BAZo7NEyUM2V4YbgzY0g%2FT%2B8mh1eHzjgadK%2FxiG0%3D&reserved=0> The deadline for bids is Friday, March 9, 2022. Shortly after, all admitted bids will be made public and the voting phase will take place. The people eligible to vote are those who are seriously considering attending ITP 2023.
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
